The cat needs the mouse. The cat sees the squirrel. The cat does not see the tiger. The mouse is red. The mouse does not visit the cat. The squirrel is big. The squirrel visits the tiger. The tiger is big. The tiger sees the mouse. The tiger visits the squirrel. If someone visits the tiger and the tiger needs the mouse then the mouse sees the squirrel. If someone is blue and red then they need the tiger. If someone needs the tiger then the tiger needs the mouse. If someone visits the squirrel then they are not blue. Red people are blue. If someone needs the cat and they are not big then they do not visit the squirrel. If someone sees the squirrel then they need the mouse.
The mouse is blue.
@0: The cat does not see the tiger.[(triple3)] The cat needs the mouse.[(triple1 OR ((triple2) -> rule7))] The cat sees the squirrel.[(triple2)] The mouse does not visit the cat.[(triple5)] The mouse is red.[(triple4)] The squirrel is big.[(triple6)] The squirrel visits the tiger.[(triple7)] The tiger is big.[(triple8)] The tiger sees the mouse.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The mouse is blue.[(((triple4) -> rule5))] The tiger is not blue.[(((triple10) -> rule4))] @2: The mouse needs the tiger.[(((((triple4) -> rule5) triple4) -> rule2))] @3: The tiger needs the mouse.[(((((((triple4) -> rule5) triple4) -> rule2)) -> rule3))] @4: The mouse sees the squirrel.[(((triple7 ((((((triple4) -> rule5) triple4) -> rule2)) -> rule3)) -> rule1))] @5: The mouse needs the mouse.[(((((triple7 ((((((triple4) -> rule5) triple4) -> rule2)) -> rule3)) -> rule1)) -> rule7))]