The rabbit chases the squirrel. The rabbit is not big. The rabbit is blue. The rabbit is not cold. The rabbit is rough. The rabbit likes the squirrel. The rabbit needs the squirrel. The squirrel chases the rabbit. The squirrel is big. The squirrel is blue. The squirrel is not cold. The squirrel is rough. The squirrel is young. The squirrel likes the rabbit. The squirrel needs the rabbit. If someone is rough then they like the squirrel. If someone chases the squirrel then the squirrel likes the rabbit.
The rabbit does not like the rabbit.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit is blue.[(triple3)] The rabbit is not big.[(triple2)] The rabbit is not cold.[(triple4)] The rabbit is rough.[(triple5)] The rabbit likes the squirrel.[(triple6 OR ((triple5) -> rule1))] The rabbit needs the squirrel.[(triple7)] The squirrel chases the rabbit.[(triple8)] The squirrel is big.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is not cold.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the rabbit.[(triple14 OR ((triple1) -> rule2))] The squirrel needs the rabbit.[(triple15)] @1: The squirrel likes the squirrel.[(((triple12) -> rule1))]