The bald eagle eats the cow. The bald eagle is big. The bald eagle is nice. The bald eagle likes the cow. The bald eagle does not like the lion. The cow eats the bald eagle. The cow does not eat the lion. The cow is blue. The cow is nice. The cow likes the bald eagle. The cow likes the lion. The cow does not see the bald eagle. The lion eats the bald eagle. The lion eats the cow. The lion is nice. The lion likes the bald eagle. If something sees the bald eagle and it likes the cow then the cow is not big. If something likes the lion and the lion likes the cow then it sees the lion. If the cow sees the lion and the lion eats the bald eagle then the bald eagle eats the cow. If something eats the bald eagle then the bald eagle is not round. If something sees the bald eagle then it is not big. If something is big and it does not see the lion then it is young.
The cow eats the cow.
@0: The bald eagle does not like the lion.[(triple5)] The bald eagle eats the cow.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle likes the cow.[(triple4)] The cow does not eat the lion.[(triple7)] The cow does not see the bald eagle.[(triple12)] The cow eats the bald eagle.[(triple6)] The cow is blue.[(triple8)] The cow is nice.[(triple9)] The cow likes the bald eagle.[(triple10)] The cow likes the lion.[(triple11)] The lion eats the bald eagle.[(triple13)] The lion eats the cow.[(triple14)] The lion is nice.[(triple15)] The lion likes the bald eagle.[(triple16)] @1: The bald eagle is not round.[(((triple13) -> rule4) OR ((triple6) -> rule4))]