The cat likes the cow. The cow chases the mouse. The cow is big. The cow likes the cat. The cow likes the tiger. The mouse chases the cow. The mouse is cold. The mouse likes the cat. The mouse likes the tiger. The tiger chases the cat. The tiger is cold. The tiger visits the cat. If something is cold then it chases the cat. If something visits the tiger then the tiger is big. If something likes the tiger then it visits the tiger. If something chases the tiger and the tiger visits the cat then it likes the mouse. If something chases the cow and it visits the tiger then the cow visits the cat. If something is blue then it chases the cat.
The cat does not like the mouse.
@0: The cat likes the cow.[(triple1)] The cow chases the mouse.[(triple2)] The cow is big.[(triple3)] The cow likes the cat.[(triple4)] The cow likes the tiger.[(triple5)] The mouse chases the cow.[(triple6)] The mouse is cold.[(triple7)] The mouse likes the cat.[(triple8)] The mouse likes the tiger.[(triple9)] The tiger chases the cat.[(triple10 OR ((triple11) -> rule1))] The tiger is cold.[(triple11)] The tiger visits the cat.[(triple12)] @1: The cow visits the tiger.[(((triple5) -> rule3))] The mouse chases the cat.[(((triple7) -> rule1))] The mouse visits the tiger.[(((triple9) -> rule3))] @2: The cow visits the cat.[(((triple6 ((triple9) -> rule3)) -> rule5))] The tiger is big.[(((((triple5) -> rule3)) -> rule2) OR ((((triple9) -> rule3)) -> rule2))]