The bald eagle eats the cow. The bald eagle is cold. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. The bald eagle is young. The bald eagle needs the cow. The bald eagle sees the cow. The cow eats the bald eagle. The cow is cold. The cow is kind. The cow is red. The cow is rough. The cow is young. The cow needs the bald eagle. The cow sees the bald eagle. If someone eats the cow then the cow is young. Kind people are young. If someone is young then they see the bald eagle. If someone needs the cow then they are rough. If someone sees the cow then they are cold. If the bald eagle eats the cow and the bald eagle is red then the cow needs the bald eagle.
The bald eagle does not see the cow.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is cold.[(triple2 OR ((triple8) -> rule5))] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5 OR ((triple7) -> rule4))] The bald eagle is young.[(triple6 OR ((triple3) -> rule2))] The bald eagle needs the cow.[(triple7)] The bald eagle sees the cow.[(triple8)] The cow eats the bald eagle.[(triple9)] The cow is cold.[(triple10)] The cow is kind.[(triple11)] The cow is red.[(triple12)] The cow is rough.[(triple13)] The cow is young.[(triple14 OR ((triple1) -> rule1) OR ((triple11) -> rule2))] The cow needs the bald eagle.[(triple15 OR ((triple1 triple4) -> rule6))] The cow sees the bald eagle.[(triple16 OR ((triple14) -> rule3) OR ((((triple1) -> rule1)) -> rule3) OR ((((triple11) -> rule2)) -> rule3))] @1: The bald eagle sees the bald eagle.[(((triple6) -> rule3) OR ((((triple3) -> rule2)) -> rule3))]