The cow is big. The dog is round. The dog needs the tiger. The dog visits the cow. The dog visits the tiger. The mouse eats the tiger. The mouse is cold. The mouse visits the cow. The mouse visits the dog. The tiger eats the cow. The tiger is cold. The tiger visits the mouse. If the dog visits the tiger and the dog needs the mouse then the mouse eats the tiger. If someone eats the cow then the cow is cold.
The tiger visits the mouse.
@0: The cow is big.[(triple1)] The dog is round.[(triple2)] The dog needs the tiger.[(triple3)] The dog visits the cow.[(triple4)] The dog visits the tiger.[(triple5)] The mouse eats the tiger.[(triple6)] The mouse is cold.[(triple7)] The mouse visits the cow.[(triple8)] The mouse visits the dog.[(triple9)] The tiger eats the cow.[(triple10)] The tiger is cold.[(triple11)] The tiger visits the mouse.[(triple12)] @1: The cow is cold.[(((triple10) -> rule2))]