The cow is not green. The cow is not red. The cow does not like the tiger. The cow visits the mouse. The cow visits the tiger. The mouse is blue. The mouse is young. The mouse does not like the cow. The tiger is blue. The tiger is green. The tiger sees the cow. The tiger visits the cow. If someone visits the tiger and the tiger likes the cow then the cow sees the tiger. If the mouse is kind and the mouse sees the tiger then the mouse does not like the cow. If someone sees the tiger then they see the mouse. If someone visits the cow then they like the cow. If someone likes the mouse then they are red. If someone sees the tiger and they do not like the cow then the tiger likes the mouse.
The mouse likes the mouse.
@0: The cow does not like the tiger.[(triple3)] The cow is not green.[(triple1)] The cow is not red.[(triple2)] The cow visits the mouse.[(triple4)] The cow visits the tiger.[(triple5)] The mouse does not like the cow.[(triple8)] The mouse is blue.[(triple6)] The mouse is young.[(triple7)] The tiger is blue.[(triple9)] The tiger is green.[(triple10)] The tiger sees the cow.[(triple11)] The tiger visits the cow.[(triple12)] @1: The tiger likes the cow.[(((triple12) -> rule4))] @2: The cow sees the tiger.[(((triple5 ((triple12) -> rule4)) -> rule1))] @3: The cow sees the mouse.[(((((triple5 ((triple12) -> rule4)) -> rule1)) -> rule3))]