The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is big. The rabbit is red. The rabbit is rough. The rabbit needs the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is cold. The squirrel needs the rabbit. If someone chases the rabbit then the rabbit is red. If the rabbit needs the squirrel then the rabbit eats the squirrel. If someone eats the rabbit then they chase the rabbit. If the squirrel chases the rabbit then the rabbit needs the squirrel. If someone needs the rabbit then the rabbit needs the squirrel. If the squirrel needs the rabbit and the squirrel chases the rabbit then the squirrel is big.
The rabbit does not need the squirrel.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2 OR ((triple6) -> rule2) OR ((((triple10) -> rule5)) -> rule2) OR ((((triple7) -> rule4)) -> rule2) OR ((((((triple8) -> rule3)) -> rule4)) -> rule2))] The rabbit is big.[(triple3)] The rabbit is red.[(triple4 OR ((triple7) -> rule1) OR ((((triple8) -> rule3)) -> rule1))] The rabbit is rough.[(triple5)] The rabbit needs the squirrel.[(triple6 OR ((triple10) -> rule5) OR ((triple7) -> rule4) OR ((((triple8) -> rule3)) -> rule4))] The squirrel chases the rabbit.[(triple7 OR ((triple8) -> rule3))] The squirrel eats the rabbit.[(triple8)] The squirrel is cold.[(triple9)] The squirrel needs the rabbit.[(triple10)] @1: The squirrel is big.[(((triple10 triple7) -> rule6) OR ((triple10 ((triple8) -> rule3)) -> rule6))]