The bald eagle is cold. The bald eagle is red. The bald eagle is young. The bald eagle visits the cow. The cow visits the bald eagle. The rabbit is young. The rabbit visits the bald eagle. If something visits the cow and the cow sees the rabbit then it eats the cow. If something sees the bald eagle and it sees the cow then the cow visits the bald eagle. If something sees the bald eagle then it is rough. If something sees the bald eagle and it sees the cow then the bald eagle is young. If something visits the rabbit then the rabbit sees the bald eagle. If something sees the bald eagle and the bald eagle is young then it is cold. If something eats the cow and the cow is round then the cow is young. If something is cold then it visits the rabbit.
The rabbit sees the bald eagle.
@0: The bald eagle is cold.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the cow.[(triple4)] The cow visits the bald eagle.[(triple5)] The rabbit is young.[(triple6)] The rabbit visits the bald eagle.[(triple7)] @1: The bald eagle visits the rabbit.[(((triple1) -> rule8))] @2: The rabbit sees the bald eagle.[(((((triple1) -> rule8)) -> rule5))] @3: The rabbit is cold.[(((((((triple1) -> rule8)) -> rule5) triple3) -> rule6))] The rabbit is rough.[(((((((triple1) -> rule8)) -> rule5)) -> rule3))] @4: The rabbit visits the rabbit.[(((((((((triple1) -> rule8)) -> rule5) triple3) -> rule6)) -> rule8))]