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