The cow does not chase the dog. The cow chases the rabbit. The cow likes the dog. The cow likes the mouse. The cow needs the dog. The cow needs the mouse. The dog chases the cow. The dog chases the rabbit. The dog is not kind. The dog needs the rabbit. The mouse is not big. The mouse likes the rabbit. The mouse needs the dog. The rabbit is red. The rabbit likes the cow. The rabbit needs the cow. If someone needs the cow and the cow chases the rabbit then the cow chases the mouse. If someone needs the rabbit and the rabbit needs the cow then they are red. If the rabbit chases the dog and the dog is not rough then the rabbit is nice. If someone likes the mouse and they chase the cow then the mouse needs the rabbit. If someone chases the mouse then they are nice. Rough people are not nice.
The cow likes the dog.
@0: The cow chases the rabbit.[(triple2)] The cow does not chase the dog.[(triple1)] The cow likes the dog.[(triple3)] The cow likes the mouse.[(triple4)] The cow needs the dog.[(triple5)] The cow needs the mouse.[(triple6)] The dog chases the cow.[(triple7)] The dog chases the rabbit.[(triple8)] The dog is not kind.[(triple9)] The dog needs the rabbit.[(triple10)] The mouse is not big.[(triple11)] The mouse likes the rabbit.[(triple12)] The mouse needs the dog.[(triple13)] The rabbit is red.[(triple14)] The rabbit likes the cow.[(triple15)] The rabbit needs the cow.[(triple16)] @1: The cow chases the mouse.[(((triple16 triple2) -> rule1))] The dog is red.[(((triple10 triple16) -> rule2))] @2: The cow is nice.[(((((triple16 triple2) -> rule1)) -> rule5))]