The rabbit eats the squirrel. The rabbit is big. The rabbit is cold. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit needs the squirrel. The rabbit visits the squirrel. The squirrel eats the rabbit. The squirrel is big. The squirrel is cold. The squirrel is green. The squirrel is kind. The squirrel is nice. The squirrel needs the rabbit. The squirrel visits the rabbit. If the squirrel visits the rabbit then the rabbit needs the squirrel. If someone visits the rabbit then they eat the squirrel.
The squirrel does not visit the squirrel.
@0: The rabbit eats the squirrel.[(triple1)] The rabbit is big.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is green.[(triple4)] The rabbit is kind.[(triple5)] The rabbit is nice.[(triple6)] The rabbit needs the squirrel.[(triple7 OR ((triple16) -> rule1))] The rabbit visits the squirrel.[(triple8)] The squirrel eats the rabbit.[(triple9)] The squirrel is big.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is nice.[(triple14)] The squirrel needs the rabbit.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The squirrel eats the squirrel.[(((triple16) -> rule2))]