The bald eagle is cold. The bald eagle visits the cow. The cow chases the bald eagle. The cow chases the lion. The cow is cold. The cow is green. The cow visits the rabbit. The lion is young. The rabbit is cold. The rabbit is green. If something is green then it chases the lion. If something chases the lion then the lion chases the cow. If something chases the rabbit and it eats the lion then the rabbit chases the cow. If something eats the bald eagle then the bald eagle chases the cow. If something is young then it eats the bald eagle. If something eats the bald eagle then it is green.
The bald eagle visits the cow.
@0: The bald eagle is cold.[(triple1)] The bald eagle visits the cow.[(triple2)] The cow chases the bald eagle.[(triple3)] The cow chases the lion.[(triple4 OR ((triple6) -> rule1))] The cow is cold.[(triple5)] The cow is green.[(triple6)] The cow visits the rabbit.[(triple7)] The lion is young.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is green.[(triple10)] @1: The lion chases the cow.[(((triple4) -> rule2) OR ((((triple10) -> rule1)) -> rule2) OR ((((triple6) -> rule1)) -> rule2) OR ((((((((triple8) -> rule5)) -> rule6)) -> rule1)) -> rule2))] The lion eats the bald eagle.[(((triple8) -> rule5))] The rabbit chases the lion.[(((triple10) -> rule1))] @2: The bald eagle chases the cow.[(((((triple8) -> rule5)) -> rule4))] The lion is green.[(((((triple8) -> rule5)) -> rule6))] @3: The lion chases the lion.[(((((((triple8) -> rule5)) -> rule6)) -> rule1))]