The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is blue. The rabbit is cold. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit likes the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is blue. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel likes the rabbit. If someone is cold and they eat the squirrel then they are rough.
The rabbit does not eat the rabbit.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is cold.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is rough.[(triple6 OR ((triple4 triple2) -> rule1))] The rabbit is round.[(triple7)] The rabbit likes the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel eats the rabbit.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is nice.[(triple12)] The squirrel is rough.[(triple13)] The squirrel is round.[(triple14)] The squirrel likes the rabbit.[(triple15)]