If Sara is driving, then she is not texting. Sara is not texting.
Which type of reasoning is based upon pattern?
Imported from external platform