The cow chases the squirrel. The cow is round. The cow visits the squirrel. The rabbit is round. The rabbit sees the cow. The rabbit visits the cow. The rabbit visits the squirrel. The squirrel does not chase the cow. The squirrel chases the rabbit. The squirrel is kind. The squirrel is red. The squirrel sees the cow. The squirrel does not see the rabbit. The squirrel visits the cow. The squirrel visits the rabbit. If someone chases the squirrel and the squirrel is rough then they are nice. Round people are nice. If someone visits the cow and they are nice then they do not chase the squirrel.
The rabbit does not chase the squirrel.
@0: The cow chases the squirrel.[(triple1)] The cow is round.[(triple2)] The cow visits the squirrel.[(triple3)] The rabbit is round.[(triple4)] The rabbit sees the cow.[(triple5)] The rabbit visits the cow.[(triple6)] The rabbit visits the squirrel.[(triple7)] The squirrel chases the rabbit.[(triple9)] The squirrel does not chase the cow.[(triple8)] The squirrel does not see the rabbit.[(triple13)] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11)] The squirrel sees the cow.[(triple12)] The squirrel visits the cow.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The cow is nice.[(((triple2) -> rule2))] The rabbit is nice.[(((triple4) -> rule2))] @2: The rabbit does not chase the squirrel.[(((triple6 ((triple4) -> rule2)) -> rule3))]