The rabbit chases the squirrel. The rabbit is green. The rabbit sees the squirrel. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is nice. The squirrel sees the rabbit. If the squirrel chases the rabbit then the squirrel is green. If someone visits the squirrel then they see the rabbit. If someone chases the squirrel then the squirrel is rough.
The rabbit does not visit the rabbit.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit is green.[(triple2)] The rabbit sees the squirrel.[(triple3)] The rabbit visits the squirrel.[(triple4)] The squirrel chases the rabbit.[(triple5)] The squirrel is nice.[(triple6)] The squirrel sees the rabbit.[(triple7)] @1: The rabbit sees the rabbit.[(((triple4) -> rule2))] The squirrel is green.[(((triple5) -> rule1))] The squirrel is rough.[(((triple1) -> rule3))]