The cow is cold. The dog chases the squirrel. The dog is red. The dog is round. The dog needs the cow. The rabbit chases the dog. The rabbit is blue. The rabbit is cold. The rabbit needs the cow. The rabbit needs the dog. The squirrel chases the dog. The squirrel chases the rabbit. The squirrel likes the cow. The squirrel likes the rabbit. The squirrel needs the rabbit. If someone chases the dog and the dog chases the squirrel then the squirrel likes the cow. If someone needs the dog then they are nice. If someone chases the rabbit and the rabbit chases the squirrel then the squirrel chases the rabbit.
The squirrel chases the dog.
@0: The cow is cold.[(triple1)] The dog chases the squirrel.[(triple2)] The dog is red.[(triple3)] The dog is round.[(triple4)] The dog needs the cow.[(triple5)] The rabbit chases the dog.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is cold.[(triple8)] The rabbit needs the cow.[(triple9)] The rabbit needs the dog.[(triple10)] The squirrel chases the dog.[(triple11)] The squirrel chases the rabbit.[(triple12)] The squirrel likes the cow.[(triple13 OR ((triple11 triple2) -> rule1) OR ((triple6 triple2) -> rule1))] The squirrel likes the rabbit.[(triple14)] The squirrel needs the rabbit.[(triple15)] @1: The rabbit is nice.[(((triple10) -> rule2))]