The bald eagle chases the cow. The bald eagle is blue. The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle needs the cow. The bald eagle needs the squirrel. The bald eagle visits the squirrel. The cow is red. The cow visits the bald eagle. The squirrel chases the bald eagle. The squirrel is blue. The squirrel is cold. The squirrel is nice. The squirrel needs the bald eagle. The squirrel visits the bald eagle. If something chases the bald eagle then it needs the squirrel. If something visits the cow and it is green then the cow is cold. If something is nice and it visits the squirrel then the squirrel visits the cow. If something chases the squirrel and the squirrel visits the cow then the cow is blue. If something needs the cow then the cow needs the squirrel. If something needs the bald eagle and the bald eagle is green then it chases the cow. If something visits the bald eagle then the bald eagle visits the squirrel. If something needs the cow then it is green.
The cow is not green.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is green.[(triple4 OR ((triple6) -> rule8))] The bald eagle is nice.[(triple5)] The bald eagle needs the cow.[(triple6)] The bald eagle needs the squirrel.[(triple7)] The bald eagle visits the squirrel.[(triple8 OR ((triple10) -> rule7) OR ((triple16) -> rule7))] The cow is red.[(triple9)] The cow visits the bald eagle.[(triple10)] The squirrel chases the bald eagle.[(triple11)] The squirrel is blue.[(triple12)] The squirrel is cold.[(triple13)] The squirrel is nice.[(triple14)] The squirrel needs the bald eagle.[(triple15)] The squirrel visits the bald eagle.[(triple16)] @1: The cow needs the squirrel.[(((triple6) -> rule5))] The squirrel chases the cow.[(((triple15 triple4) -> rule6) OR ((triple15 ((triple6) -> rule8)) -> rule6))] The squirrel needs the squirrel.[(((triple11) -> rule1))] The squirrel visits the cow.[(((triple5 triple8) -> rule3) OR ((triple5 ((triple10) -> rule7)) -> rule3) OR ((triple5 ((triple16) -> rule7)) -> rule3))]