The dog does not chase the mouse. The dog is big. The dog is cold. The dog is kind. The dog is red. The dog is young. The dog likes the mouse. The dog needs the mouse. The mouse chases the dog. The mouse is not big. The mouse is cold. The mouse is kind. The mouse is red. The mouse is young. The mouse does not like the dog. The mouse needs the dog. If someone is big and not red then they need the mouse. If the mouse chases the dog then the mouse does not like the dog.
The dog chases the mouse.
@0: The dog does not chase the mouse.[(triple1)] The dog is big.[(triple2)] The dog is cold.[(triple3)] The dog is kind.[(triple4)] The dog is red.[(triple5)] The dog is young.[(triple6)] The dog likes the mouse.[(triple7)] The dog needs the mouse.[(triple8)] The mouse chases the dog.[(triple9)] The mouse does not like the dog.[(triple15 OR ((triple9) -> rule2))] The mouse is cold.[(triple11)] The mouse is kind.[(triple12)] The mouse is not big.[(triple10)] The mouse is red.[(triple13)] The mouse is young.[(triple14)] The mouse needs the dog.[(triple16)]