The bald eagle eats the cat. The bald eagle eats the cow. The bald eagle is big. The bald eagle is nice. The bald eagle likes the cat. The bald eagle visits the cow. The cat eats the bald eagle. The cat is cold. The cat is young. The cat likes the bald eagle. The cat visits the cow. The cow is green. The cow is young. The cow likes the cat. The cow visits the bald eagle. If something likes the cow then the cow likes the bald eagle. If something visits the bald eagle and the bald eagle is cold then it is nice. If the cat is cold and the cat is big then the cat likes the cow. If something eats the bald eagle then the bald eagle is green. If something visits the cow and it likes the cow then it eats the cat. All green things are cold. If something likes the cow then the cow visits the bald eagle. If something eats the cow then the cow eats the bald eagle.
The bald eagle visits the bald eagle.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the cow.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle likes the cat.[(triple5)] The bald eagle visits the cow.[(triple6)] The cat eats the bald eagle.[(triple7)] The cat is cold.[(triple8)] The cat is young.[(triple9)] The cat likes the bald eagle.[(triple10)] The cat visits the cow.[(triple11)] The cow is green.[(triple12)] The cow is young.[(triple13)] The cow likes the cat.[(triple14)] The cow visits the bald eagle.[(triple15)] @1: The bald eagle is green.[(((triple7) -> rule4) OR ((((triple2) -> rule8)) -> rule4))] The cow eats the bald eagle.[(((triple2) -> rule8))] The cow is cold.[(((triple12) -> rule6))] @2: The bald eagle is cold.[(((((triple7) -> rule4)) -> rule6) OR ((((((triple2) -> rule8)) -> rule4)) -> rule6))] @3: The cow is nice.[(((triple15 ((((triple7) -> rule4)) -> rule6)) -> rule2) OR ((triple15 ((((((triple2) -> rule8)) -> rule4)) -> rule6)) -> rule2))]