The bald eagle chases the cow. The bald eagle eats the cow. The bald eagle is big. The bald eagle visits the cow. The cow is big. The cow is blue. The cow is red. If something chases the bald eagle and it visits the bald eagle then it is young. If the bald eagle eats the cow and the cow visits the bald eagle then the cow is nice. If something is blue then it chases the cow. If the bald eagle visits the cow then the bald eagle is big. If something visits the bald eagle then it eats the cow. If something chases the bald eagle then the bald eagle is young. If the cow visits the bald eagle then the bald eagle is red. If something chases the cow then it visits the bald eagle.
The bald eagle eats the bald eagle.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle eats the cow.[(triple2 OR ((((triple1) -> rule8)) -> rule5))] The bald eagle is big.[(triple3 OR ((triple4) -> rule4))] The bald eagle visits the cow.[(triple4)] The cow is big.[(triple5)] The cow is blue.[(triple6)] The cow is red.[(triple7)] @1: The bald eagle visits the bald eagle.[(((triple1) -> rule8))] The cow chases the cow.[(((triple6) -> rule3))] @2: The cow visits the bald eagle.[(((((triple6) -> rule3)) -> rule8))] @3: The bald eagle is red.[(((((((triple6) -> rule3)) -> rule8)) -> rule7))] The cow eats the cow.[(((((((triple6) -> rule3)) -> rule8)) -> rule5))] The cow is nice.[(((triple2 ((((triple6) -> rule3)) -> rule8)) -> rule2) OR ((((((triple1) -> rule8)) -> rule5) ((((triple6) -> rule3)) -> rule8)) -> rule2))]