The bald eagle eats the cow. The bald eagle is nice. The bald eagle does not like the cow. The cow is blue. The cow is nice. The cow is red. The cow does not see the bald eagle. If someone is blue then they see the cow. If someone is red and they see the cow then they are not rough. If someone is green and they do not like the cow then they do not like the bald eagle. If someone sees the cow and they see the bald eagle then they do not like the bald eagle. If someone is blue then they do not see the bald eagle. If someone sees the bald eagle then they do not eat the bald eagle. If the bald eagle eats the cow and the bald eagle does not see the cow then the cow likes the bald eagle. If the bald eagle does not eat the cow and the bald eagle does not see the cow then the cow eats the bald eagle.
The cow does not like the bald eagle.
@0: The bald eagle does not like the cow.[(triple3)] The bald eagle eats the cow.[(triple1)] The bald eagle is nice.[(triple2)] The cow does not see the bald eagle.[(triple7 OR ((triple4) -> rule5))] The cow is blue.[(triple4)] The cow is nice.[(triple5)] The cow is red.[(triple6)] @1: The cow sees the cow.[(((triple4) -> rule1))] @2: The cow is not rough.[(((triple6 ((triple4) -> rule1)) -> rule2))]