The bald eagle chases the cow. The bald eagle eats the cow. The bald eagle is big. The bald eagle is green. The bald eagle is not round. The bald eagle is young. The bald eagle sees the cow. The cow chases the bald eagle. The cow eats the bald eagle. The cow is big. The cow is green. The cow is nice. The cow is round. The cow is young. The cow sees the bald eagle. If the bald eagle eats the cow and the bald eagle is round then the cow is round. If someone chases the cow then they see the bald eagle. If someone eats the cow then they chase the bald eagle. If someone sees the bald eagle then the bald eagle is nice. If someone eats the cow then the cow is young. If the cow is green then the cow sees the bald eagle.
The cow is big.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is green.[(triple4)] The bald eagle is not round.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle sees the cow.[(triple7)] The cow chases the bald eagle.[(triple8)] The cow eats the bald eagle.[(triple9)] The cow is big.[(triple10)] The cow is green.[(triple11)] The cow is nice.[(triple12)] The cow is round.[(triple13)] The cow is young.[(triple14 OR ((triple2) -> rule5))] The cow sees the bald eagle.[(triple15 OR ((triple11) -> rule6))] @1: The bald eagle chases the bald eagle.[(((triple2) -> rule3))] The bald eagle is nice.[(((triple15) -> rule4) OR ((((triple1) -> rule2)) -> rule4) OR ((((triple11) -> rule6)) -> rule4))] The bald eagle sees the bald eagle.[(((triple1) -> rule2))]