The bald eagle is big. The bald eagle is blue. The bald eagle is green. The bald eagle is young. The bald eagle likes the cow. The bald eagle sees the cow. The bald eagle visits the cow. The cow is young. The cow likes the bald eagle. The cow visits the bald eagle. If something is young and it likes the bald eagle then it does not see the bald eagle. If the cow sees the bald eagle and the cow does not visit the bald eagle then the bald eagle likes the cow. All big things are blue. If something is blue and it visits the cow then the cow is green. If the bald eagle likes the cow and the cow does not see the bald eagle then the bald eagle is not cold. If something is green and not blue then it likes the cow.
The cow is not blue.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2 OR ((triple1) -> rule3))] The bald eagle is green.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle likes the cow.[(triple5)] The bald eagle sees the cow.[(triple6)] The bald eagle visits the cow.[(triple7)] The cow is young.[(triple8)] The cow likes the bald eagle.[(triple9)] The cow visits the bald eagle.[(triple10)] @1: The cow does not see the bald eagle.[(((triple8 triple9) -> rule1))] The cow is green.[(((triple2 triple7) -> rule4) OR ((((triple1) -> rule3) triple7) -> rule4))] @2: The bald eagle is not cold.[(((triple5 ((triple8 triple9) -> rule1)) -> rule5))]