The cat likes the squirrel. The mouse visits the squirrel. The mouse visits the tiger. The squirrel likes the tiger. The squirrel needs the tiger. The squirrel visits the tiger. The tiger needs the cat. If something is red and it visits the squirrel then the squirrel is big. If something is red then it needs the squirrel. If the mouse needs the cat then the mouse is blue. If something is cold and it visits the tiger then it needs the mouse. If something needs the tiger and it visits the tiger then the tiger likes the mouse. If something needs the squirrel then the squirrel needs the cat. If something likes the mouse then it needs the cat. If something needs the cat then it is red.
The squirrel does not like the squirrel.
@0: The cat likes the squirrel.[(triple1)] The mouse visits the squirrel.[(triple2)] The mouse visits the tiger.[(triple3)] The squirrel likes the tiger.[(triple4)] The squirrel needs the tiger.[(triple5)] The squirrel visits the tiger.[(triple6)] The tiger needs the cat.[(triple7 OR ((((triple5 triple6) -> rule5)) -> rule7))] @1: The tiger is red.[(((triple7) -> rule8) OR ((((((triple5 triple6) -> rule5)) -> rule7)) -> rule8))] The tiger likes the mouse.[(((triple5 triple6) -> rule5))] @2: The tiger needs the squirrel.[(((((triple7) -> rule8)) -> rule2) OR ((((((((triple5 triple6) -> rule5)) -> rule7)) -> rule8)) -> rule2))] @3: The squirrel needs the cat.[(((((((triple7) -> rule8)) -> rule2)) -> rule6) OR ((((((((((triple5 triple6) -> rule5)) -> rule7)) -> rule8)) -> rule2)) -> rule6))] @4: The squirrel is red.[(((((((((triple7) -> rule8)) -> rule2)) -> rule6)) -> rule8) OR ((((((((((((triple5 triple6) -> rule5)) -> rule7)) -> rule8)) -> rule2)) -> rule6)) -> rule8))] @5: The squirrel needs the squirrel.[(((((((((((triple7) -> rule8)) -> rule2)) -> rule6)) -> rule8)) -> rule2) OR ((((((((((((((triple5 triple6) -> rule5)) -> rule7)) -> rule8)) -> rule2)) -> rule6)) -> rule8)) -> rule2))]