The rabbit eats the squirrel. The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit is rough. The rabbit likes the squirrel. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is blue. The squirrel is cold. The squirrel is green. The squirrel is nice. The squirrel is rough. The squirrel likes the rabbit. The squirrel visits the rabbit. If someone visits the rabbit and the rabbit likes the squirrel then they eat the squirrel.
The squirrel visits the squirrel.
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is blue.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is green.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is rough.[(triple6)] The rabbit likes the squirrel.[(triple7)] The rabbit visits the squirrel.[(triple8)] The squirrel eats the rabbit.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is rough.[(triple14)] The squirrel likes the rabbit.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The squirrel eats the squirrel.[(((triple16 triple7) -> rule1))]