The cat chases the tiger. The cat is green. The cat needs the tiger. The mouse chases the tiger. The mouse visits the cat. The squirrel chases the mouse. The squirrel is rough. The squirrel visits the tiger. The tiger is green. The tiger is red. The tiger needs the mouse. The tiger visits the cat. If the squirrel chases the mouse and the mouse chases the tiger then the tiger visits the mouse. If something chases the tiger then it visits the cat. If the mouse visits the cat then the cat chases the mouse. If something chases the mouse and it visits the tiger then it needs the tiger. If something is cold and it needs the mouse then it chases the mouse. If something chases the mouse and it needs the tiger then it is big.
The tiger does not visit the cat.
@0: The cat chases the tiger.[(triple1)] The cat is green.[(triple2)] The cat needs the tiger.[(triple3)] The mouse chases the tiger.[(triple4)] The mouse visits the cat.[(triple5 OR ((triple4) -> rule2))] The squirrel chases the mouse.[(triple6)] The squirrel is rough.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger is green.[(triple9)] The tiger is red.[(triple10)] The tiger needs the mouse.[(triple11)] The tiger visits the cat.[(triple12)] @1: The cat chases the mouse.[(((triple5) -> rule3) OR ((((triple4) -> rule2)) -> rule3))] The cat visits the cat.[(((triple1) -> rule2))] The squirrel needs the tiger.[(((triple6 triple8) -> rule4))] The tiger visits the mouse.[(((triple6 triple4) -> rule1))] @2: The cat is big.[(((((triple5) -> rule3) triple3) -> rule6) OR ((((((triple4) -> rule2)) -> rule3) triple3) -> rule6))] The squirrel is big.[(((triple6 ((triple6 triple8) -> rule4)) -> rule6))]