The bald eagle eats the cow. The bald eagle is big. The bald eagle is red. The bald eagle is rough. The bald eagle sees the cow. The bald eagle visits the cow. The cow eats the bald eagle. The cow is young. The cow sees the bald eagle. The cow visits the bald eagle. If someone sees the cow then the cow eats the bald eagle. If someone sees the bald eagle and the bald eagle visits the cow then the cow visits the bald eagle. If someone sees the cow and the cow eats the bald eagle then the cow sees the bald eagle.
The cow is blue.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle sees the cow.[(triple5)] The bald eagle visits the cow.[(triple6)] The cow eats the bald eagle.[(triple7 OR ((triple5) -> rule1))] The cow is young.[(triple8)] The cow sees the bald eagle.[(triple9 OR ((triple5 triple7) -> rule3) OR ((triple5 ((triple5) -> rule1)) -> rule3))] The cow visits the bald eagle.[(triple10 OR ((triple9 triple6) -> rule2) OR ((((triple5 triple7) -> rule3) triple6) -> rule2) OR ((((triple5 ((triple5) -> rule1)) -> rule3) triple6) -> rule2))]