The bald eagle does not chase the tiger. The bald eagle eats the tiger. The bald eagle is green. The bald eagle is rough. The bald eagle is not round. The bald eagle needs the tiger. The cow chases the bald eagle. The cow chases the tiger. The cow eats the tiger. The cow is not blue. The cow needs the bald eagle. The tiger does not eat the bald eagle. If someone eats the cow and they are not round then the cow needs the tiger. If the tiger chases the bald eagle and the bald eagle is green then the bald eagle does not chase the cow. If someone chases the bald eagle and they chase the tiger then the tiger chases the bald eagle.
The cow does not need the tiger.
@0: The bald eagle does not chase the tiger.[(triple1)] The bald eagle eats the tiger.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle is not round.[(triple5)] The bald eagle is rough.[(triple4)] The bald eagle needs the tiger.[(triple6)] The cow chases the bald eagle.[(triple7)] The cow chases the tiger.[(triple8)] The cow eats the tiger.[(triple9)] The cow is not blue.[(triple10)] The cow needs the bald eagle.[(triple11)] The tiger does not eat the bald eagle.[(triple12)] @1: The tiger chases the bald eagle.[(((triple7 triple8) -> rule3))] @2: The bald eagle does not chase the cow.[(((((triple7 triple8) -> rule3) triple3) -> rule2))]