The bald eagle is round. The bald eagle does not like the squirrel. The bald eagle needs the squirrel. The rabbit is blue. The rabbit does not need the tiger. The rabbit visits the squirrel. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel likes the bald eagle. The squirrel needs the tiger. The squirrel visits the rabbit. The squirrel does not visit the tiger. The tiger is nice. The tiger is round. The tiger does not like the bald eagle. If something likes the squirrel then it needs the squirrel. If something likes the bald eagle and it needs the rabbit then it is not big. If something is round and nice then it does not visit the tiger.
The rabbit does not need the squirrel.
@0: The bald eagle does not like the squirrel.[(triple2)] The bald eagle is round.[(triple1)] The bald eagle needs the squirrel.[(triple3)] The rabbit does not need the tiger.[(triple5)] The rabbit is blue.[(triple4)] The rabbit visits the squirrel.[(triple6)] The squirrel does not visit the tiger.[(triple13 OR ((triple9 triple7) -> rule3))] The squirrel is nice.[(triple7)] The squirrel is rough.[(triple8)] The squirrel is round.[(triple9)] The squirrel likes the bald eagle.[(triple10)] The squirrel needs the tiger.[(triple11)] The squirrel visits the rabbit.[(triple12)] The tiger does not like the bald eagle.[(triple16)] The tiger is nice.[(triple14)] The tiger is round.[(triple15)] @1: The tiger does not visit the tiger.[(((triple15 triple14) -> rule3))]