The bald eagle does not chase the cow. The bald eagle eats the cow. The bald eagle is big. The bald eagle is cold. The bald eagle is not green. The bald eagle is young. The bald eagle sees the cow. The cow does not chase the bald eagle. The cow eats the bald eagle. The cow is big. The cow is young. The cow sees the bald eagle. If something chases the cow and it is young then the cow is rough. If something eats the cow then the cow is not green. If something eats the cow then the cow is not green. If something eats the bald eagle and the bald eagle chases the cow then the cow sees the bald eagle. If something eats the bald eagle and it sees the bald eagle then it chases the cow. If the bald eagle is cold and the bald eagle does not chase the cow then the cow is cold.
The bald eagle does not see the bald eagle.
@0: The bald eagle does not chase the cow.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is cold.[(triple4)] The bald eagle is not green.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle sees the cow.[(triple7)] The cow does not chase the bald eagle.[(triple8)] The cow eats the bald eagle.[(triple9)] The cow is big.[(triple10)] The cow is young.[(triple11)] The cow sees the bald eagle.[(triple12)] @1: The cow chases the cow.[(((triple9 triple12) -> rule5))] The cow is cold.[(((triple4 triple1) -> rule6))] The cow is not green.[(((triple2) -> rule2) OR ((triple2) -> rule3))] @2: The cow is rough.[(((((triple9 triple12) -> rule5) triple11) -> rule1))]