The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is cold. The rabbit is green. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel is round. The squirrel sees the rabbit. If someone chases the squirrel and the squirrel eats the rabbit then the squirrel chases the rabbit. If someone chases the squirrel then the squirrel sees the rabbit.
The rabbit is not red.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2)] The rabbit is cold.[(triple3)] The rabbit is green.[(triple4)] The rabbit is red.[(triple5)] The rabbit is rough.[(triple6)] The rabbit is round.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9 OR ((triple1 triple10) -> rule1))] The squirrel eats the rabbit.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is green.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14)] The squirrel sees the rabbit.[(triple15 OR ((triple1) -> rule2))]