The cow eats the mouse. The cow is not cold. The cow is green. The cow is nice. The cow sees the mouse. The cow sees the tiger. The cow visits the mouse. The mouse does not eat the tiger. The mouse is nice. The mouse is red. The mouse sees the cow. The mouse visits the tiger. The tiger eats the mouse. The tiger sees the mouse. The tiger visits the cow. The tiger visits the mouse. If someone visits the tiger and the tiger visits the mouse then the mouse sees the tiger. If someone sees the mouse and they are nice then the mouse is cold.
The tiger visits the cow.
@0: The cow eats the mouse.[(triple1)] The cow is green.[(triple3)] The cow is nice.[(triple4)] The cow is not cold.[(triple2)] The cow sees the mouse.[(triple5)] The cow sees the tiger.[(triple6)] The cow visits the mouse.[(triple7)] The mouse does not eat the tiger.[(triple8)] The mouse is nice.[(triple9)] The mouse is red.[(triple10)] The mouse sees the cow.[(triple11)] The mouse visits the tiger.[(triple12)] The tiger eats the mouse.[(triple13)] The tiger sees the mouse.[(triple14)] The tiger visits the cow.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The mouse is cold.[(((triple5 triple4) -> rule2))] The mouse sees the tiger.[(((triple12 triple16) -> rule1))]