The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is big. The rabbit is blue. The rabbit is kind. The rabbit is rough. The rabbit is young. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is big. The squirrel is blue. The squirrel is kind. The squirrel is rough. The squirrel is young. The squirrel visits the rabbit. If something is rough then it eats the squirrel. If the squirrel chases the rabbit and the rabbit is blue then the squirrel is young.
The squirrel does not chase the squirrel.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2 OR ((triple6) -> rule1))] The rabbit is big.[(triple3)] The rabbit is blue.[(triple4)] The rabbit is kind.[(triple5)] The rabbit is rough.[(triple6)] The rabbit is young.[(triple7)] The rabbit visits the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel eats the rabbit.[(triple10)] The squirrel is big.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is kind.[(triple13)] The squirrel is rough.[(triple14)] The squirrel is young.[(triple15 OR ((triple9 triple4) -> rule2))] The squirrel visits the rabbit.[(triple16)] @1: The squirrel eats the squirrel.[(((triple14) -> rule1))]