The bald eagle is big. The bald eagle is green. The bald eagle is kind. The bald eagle is rough. The bald eagle likes the cow. The bald eagle sees the cow. The bald eagle visits the cow. The cow is big. The cow is green. The cow is kind. The cow is rough. The cow is young. The cow likes the bald eagle. The cow sees the bald eagle. The cow visits the bald eagle. If something likes the bald eagle then the bald eagle likes the cow. If the bald eagle sees the cow then the bald eagle visits the cow. If something visits the cow then the cow is kind. If something visits the cow then it sees the bald eagle. If the cow sees the bald eagle then the cow is green. If the bald eagle visits the cow and the bald eagle likes the cow then the cow is kind. If something visits the bald eagle then it is young. If something likes the bald eagle then it sees the bald eagle.
The bald eagle visits the cow.
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is rough.[(triple4)] The bald eagle likes the cow.[(triple5 OR ((triple13) -> rule1))] The bald eagle sees the cow.[(triple6)] The bald eagle visits the cow.[(triple7 OR ((triple6) -> rule2))] The cow is big.[(triple8)] The cow is green.[(triple9 OR ((triple14) -> rule5) OR ((((triple13) -> rule8)) -> rule5))] The cow is kind.[(triple10 OR ((triple7) -> rule3) OR ((triple7 triple5) -> rule6) OR ((((triple6) -> rule2)) -> rule3) OR ((triple7 ((triple13) -> rule1)) -> rule6) OR ((((triple6) -> rule2) triple5) -> rule6) OR ((((triple6) -> rule2) ((triple13) -> rule1)) -> rule6))] The cow is rough.[(triple11)] The cow is young.[(triple12 OR ((triple15) -> rule7))] The cow likes the bald eagle.[(triple13)] The cow sees the bald eagle.[(triple14 OR ((triple13) -> rule8))] The cow visits the bald eagle.[(triple15)] @1: The bald eagle sees the bald eagle.[(((triple7) -> rule4) OR ((((triple6) -> rule2)) -> rule4))]