The cat needs the dog. The cat visits the cow. The cow eats the dog. The cow is nice. The cow needs the dog. The dog eats the cow. The dog eats the squirrel. The dog is big. The dog is blue. The dog is red. The dog needs the cow. The dog needs the squirrel. The dog visits the cow. The squirrel eats the cow. The squirrel is big. The squirrel visits the cow. If something needs the cow then the cow eats the cat. If something eats the cow and the cow eats the squirrel then the cow eats the cat. If the cow eats the cat then the cat eats the dog. If something is red and it visits the cat then it needs the cat. If something visits the cat and it visits the squirrel then it needs the squirrel. If something is blue and it needs the cow then it visits the cat. If something is kind and it visits the cow then the cow needs the squirrel. If the cow needs the cat and the cow visits the dog then the cat is nice.
The cat is not big.
@0: The cat needs the dog.[(triple1)] The cat visits the cow.[(triple2)] The cow eats the dog.[(triple3)] The cow is nice.[(triple4)] The cow needs the dog.[(triple5)] The dog eats the cow.[(triple6)] The dog eats the squirrel.[(triple7)] The dog is big.[(triple8)] The dog is blue.[(triple9)] The dog is red.[(triple10)] The dog needs the cow.[(triple11)] The dog needs the squirrel.[(triple12)] The dog visits the cow.[(triple13)] The squirrel eats the cow.[(triple14)] The squirrel is big.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The cow eats the cat.[(((triple11) -> rule1))] The dog visits the cat.[(((triple9 triple11) -> rule6))] @2: The cat eats the dog.[(((((triple11) -> rule1)) -> rule3))] The dog needs the cat.[(((triple10 ((triple9 triple11) -> rule6)) -> rule4))]