The rabbit eats the squirrel. The squirrel sees the rabbit. If something eats the squirrel and it visits the squirrel then it eats the rabbit. If something is rough then it eats the rabbit. If something visits the squirrel and it eats the rabbit then it is round. If something eats the squirrel then it visits the squirrel. If something is cold then it is big. If the squirrel visits the rabbit and the rabbit does not visit the squirrel then the squirrel is not round.
The rabbit is not round.
@0: The rabbit eats the squirrel.[(triple1)] The squirrel sees the rabbit.[(triple2)] @1: The rabbit visits the squirrel.[(((triple1) -> rule4))] @2: The rabbit eats the rabbit.[(((triple1 ((triple1) -> rule4)) -> rule1))] @3: The rabbit is round.[(((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule1)) -> rule3))]