The cat chases the rabbit. The mouse chases the cat. The mouse is red. The mouse is round. The rabbit is red. The rabbit sees the mouse. The squirrel chases the cat. The squirrel chases the mouse. The squirrel is kind. The squirrel sees the rabbit. If something is red then it sees the mouse. If the mouse sees the squirrel then the squirrel eats the cat. If something chases the squirrel and it is red then the squirrel eats the rabbit. If something eats the cat and it chases the cat then it sees the mouse. If something sees the mouse then it sees the squirrel. If something eats the mouse and it sees the mouse then the mouse sees the squirrel. If something eats the rabbit then it sees the rabbit. If something sees the squirrel and it sees the rabbit then it eats the squirrel.
The cat eats the squirrel.
@0: The cat chases the rabbit.[(triple1)] The mouse chases the cat.[(triple2)] The mouse is red.[(triple3)] The mouse is round.[(triple4)] The rabbit is red.[(triple5)] The rabbit sees the mouse.[(triple6 OR ((triple5) -> rule1))] The squirrel chases the cat.[(triple7)] The squirrel chases the mouse.[(triple8)] The squirrel is kind.[(triple9)] The squirrel sees the rabbit.[(triple10)] @1: The mouse sees the mouse.[(((triple3) -> rule1))] The rabbit sees the squirrel.[(((triple6) -> rule5) OR ((((triple5) -> rule1)) -> rule5))] @2: The mouse sees the squirrel.[(((((triple3) -> rule1)) -> rule5))] @3: The squirrel eats the cat.[(((((((triple3) -> rule1)) -> rule5)) -> rule2))] @4: The squirrel sees the mouse.[(((((((((triple3) -> rule1)) -> rule5)) -> rule2) triple7) -> rule4))] @5: The squirrel sees the squirrel.[(((((((((((triple3) -> rule1)) -> rule5)) -> rule2) triple7) -> rule4)) -> rule5))] @6: The squirrel eats the squirrel.[(((((((((((((triple3) -> rule1)) -> rule5)) -> rule2) triple7) -> rule4)) -> rule5) triple10) -> rule8))]