The cat is kind. The cat is round. The cow is kind. The cow likes the dog. The cow likes the squirrel. The cow visits the cat. The dog is kind. The dog is round. The dog likes the cat. The squirrel is red. If the squirrel likes the dog then the dog is not big. If someone likes the cat and they are kind then the cat is red. If someone likes the cow then they like the dog. If the dog visits the squirrel then the dog likes the cat. If the squirrel likes the cow and the cow is kind then the cow visits the cat. If someone visits the cow and the cow eats the dog then they do not eat the cat. If someone is red then they eat the cow. If someone visits the dog and the dog does not like the cat then the dog is red.
The cow does not visit the squirrel.
@0: The cat is kind.[(triple1)] The cat is round.[(triple2)] The cow is kind.[(triple3)] The cow likes the dog.[(triple4)] The cow likes the squirrel.[(triple5)] The cow visits the cat.[(triple6)] The dog is kind.[(triple7)] The dog is round.[(triple8)] The dog likes the cat.[(triple9)] The squirrel is red.[(triple10)] @1: The cat is red.[(((triple9 triple7) -> rule2))] The squirrel eats the cow.[(((triple10) -> rule7))] @2: The cat eats the cow.[(((((triple9 triple7) -> rule2)) -> rule7))]