The cat is round. The cat likes the mouse. The cat visits the mouse. The mouse chases the cat. The mouse is red. The mouse likes the squirrel. The squirrel visits the cat. If something visits the mouse then the mouse is kind. If something is red and it likes the squirrel then it chases the mouse. If something likes the mouse then it likes the squirrel. If something likes the mouse then the mouse is red. If the squirrel is round and the squirrel chases the cat then the squirrel visits the mouse. If something visits the mouse then the mouse is red.
The cat does not chase the mouse.
@0: The cat is round.[(triple1)] The cat likes the mouse.[(triple2)] The cat visits the mouse.[(triple3)] The mouse chases the cat.[(triple4)] The mouse is red.[(triple5 OR ((triple2) -> rule4) OR ((triple3) -> rule6))] The mouse likes the squirrel.[(triple6)] The squirrel visits the cat.[(triple7)] @1: The cat likes the squirrel.[(((triple2) -> rule3))] The mouse chases the mouse.[(((triple5 triple6) -> rule2) OR ((((triple2) -> rule4) triple6) -> rule2) OR ((((triple3) -> rule6) triple6) -> rule2))] The mouse is kind.[(((triple3) -> rule1))]