The bald eagle is green. The bald eagle is kind. The bald eagle is nice. The bald eagle needs the cow. The bald eagle sees the cow. The bald eagle visits the cow. The cow is cold. The cow is kind. The cow is round. The cow needs the bald eagle. The cow sees the bald eagle. The cow visits the bald eagle. If something visits the bald eagle and it needs the cow then the cow visits the bald eagle. If something sees the bald eagle then it is nice. If something visits the cow then it is kind. If something is nice and it visits the bald eagle then the bald eagle needs the cow. If something sees the bald eagle and it is nice then it needs the cow. If something is cold then it sees the cow.
The bald eagle visits the cow.
@0: The bald eagle is green.[(triple1)] The bald eagle is kind.[(triple2 OR ((triple6) -> rule3))] The bald eagle is nice.[(triple3)] The bald eagle needs the cow.[(triple4 OR ((((triple11) -> rule2) triple12) -> rule4))] The bald eagle sees the cow.[(triple5)] The bald eagle visits the cow.[(triple6)] The cow is cold.[(triple7)] The cow is kind.[(triple8)] The cow is round.[(triple9)] The cow needs the bald eagle.[(triple10)] The cow sees the bald eagle.[(triple11)] The cow visits the bald eagle.[(triple12)] @1: The cow is nice.[(((triple11) -> rule2))] The cow sees the cow.[(((triple7) -> rule6))] @2: The cow needs the cow.[(((triple11 ((triple11) -> rule2)) -> rule5))]