The bald eagle eats the cow. The bald eagle eats the tiger. The bald eagle is not big. The bald eagle is young. The cow eats the tiger. The cow is green. The cow likes the squirrel. The cow does not like the tiger. The squirrel is not young. The squirrel does not like the cow. The squirrel needs the cow. The tiger eats the cow. The tiger likes the squirrel. The tiger does not need the bald eagle. The tiger needs the squirrel. If something is cold then it is big. If something likes the tiger then the tiger does not like the squirrel. If something eats the squirrel then it is green. If something eats the bald eagle then it is round. If something eats the tiger then it eats the cow. If the tiger needs the cow then the tiger eats the bald eagle. If the squirrel is not young then the squirrel does not need the bald eagle. If something likes the squirrel and it does not like the cow then the squirrel eats the bald eagle.
The bald eagle is young.
@0: The bald eagle eats the cow.[(triple1 OR ((triple2) -> rule5))] The bald eagle eats the tiger.[(triple2)] The bald eagle is not big.[(triple3)] The bald eagle is young.[(triple4)] The cow does not like the tiger.[(triple8)] The cow eats the tiger.[(triple5)] The cow is green.[(triple6)] The cow likes the squirrel.[(triple7)] The squirrel does not like the cow.[(triple10)] The squirrel is not young.[(triple9)] The squirrel needs the cow.[(triple11)] The tiger does not need the bald eagle.[(triple14)] The tiger eats the cow.[(triple12)] The tiger likes the squirrel.[(triple13)] The tiger needs the squirrel.[(triple15)] @1: The cow eats the cow.[(((triple5) -> rule5))] The squirrel does not need the bald eagle.[(((triple9) -> rule7))]