The cow eats the dog. The cow eats the mouse. The cow needs the mouse. The cow visits the mouse. The cow visits the tiger. The dog eats the tiger. The dog is big. The dog is red. The mouse visits the cow. The mouse visits the tiger. The tiger is red. The tiger visits the dog. If something needs the cow then the cow needs the tiger. If something needs the mouse then it is nice. If something visits the tiger then it eats the cow. If something is red then it needs the cow. Round things are nice. If something eats the dog and the dog eats the mouse then it visits the mouse.
The cow is not nice.
@0: The cow eats the dog.[(triple1)] The cow eats the mouse.[(triple2)] The cow needs the mouse.[(triple3)] The cow visits the mouse.[(triple4)] The cow visits the tiger.[(triple5)] The dog eats the tiger.[(triple6)] The dog is big.[(triple7)] The dog is red.[(triple8)] The mouse visits the cow.[(triple9)] The mouse visits the tiger.[(triple10)] The tiger is red.[(triple11)] The tiger visits the dog.[(triple12)] @1: The cow eats the cow.[(((triple5) -> rule3))] The cow is nice.[(((triple3) -> rule2))] The dog needs the cow.[(((triple8) -> rule4))] The mouse eats the cow.[(((triple10) -> rule3))] The tiger needs the cow.[(((triple11) -> rule4))] @2: The cow needs the tiger.[(((((triple11) -> rule4)) -> rule1) OR ((((triple8) -> rule4)) -> rule1))]