The bald eagle eats the tiger. The bald eagle is kind. The bald eagle is nice. The bald eagle is rough. The bald eagle is young. The bald eagle visits the squirrel. The cow is rough. The cow is young. The squirrel eats the bald eagle. The squirrel eats the tiger. The squirrel is red. The squirrel is rough. The squirrel needs the bald eagle. The squirrel needs the cow. The squirrel visits the cow. The tiger eats the squirrel. If the tiger visits the cow then the tiger is nice. If the bald eagle is young then the bald eagle is nice. If someone visits the cow then the cow eats the squirrel.
The bald eagle is rough.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is nice.[(triple3 OR ((triple5) -> rule2))] The bald eagle is rough.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The cow is rough.[(triple7)] The cow is young.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel eats the tiger.[(triple10)] The squirrel is red.[(triple11)] The squirrel is rough.[(triple12)] The squirrel needs the bald eagle.[(triple13)] The squirrel needs the cow.[(triple14)] The squirrel visits the cow.[(triple15)] The tiger eats the squirrel.[(triple16)] @1: The cow eats the squirrel.[(((triple15) -> rule3))]