The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is blue. The rabbit is cold. The rabbit is kind. The rabbit is red. The rabbit needs the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is blue. The squirrel is cold. The squirrel is kind. The squirrel is red. The squirrel is rough. The squirrel needs the rabbit. If someone chases the rabbit then the rabbit chases the squirrel. If the rabbit chases the squirrel then the squirrel is rough. If someone eats the squirrel then they chase the rabbit.
The squirrel chases the rabbit.
@0: The rabbit chases the squirrel.[(triple1 OR ((triple8) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] The rabbit eats the squirrel.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is cold.[(triple4)] The rabbit is kind.[(triple5)] The rabbit is red.[(triple6)] The rabbit needs the squirrel.[(triple7)] The squirrel chases the rabbit.[(triple8)] The squirrel eats the rabbit.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is red.[(triple13)] The squirrel is rough.[(triple14 OR ((triple1) -> rule2) OR ((((triple8) -> rule1)) -> rule2) OR ((((((triple2) -> rule3)) -> rule1)) -> rule2))] The squirrel needs the rabbit.[(triple15)] @1: The rabbit chases the rabbit.[(((triple2) -> rule3))]