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