The bald eagle is blue. The bald eagle is cold. The bald eagle likes the squirrel. The bald eagle sees the squirrel. The bald eagle visits the cow. The bald eagle visits the squirrel. The cow is cold. The cow is rough. The cow is round. The cow likes the bald eagle. The cow sees the bald eagle. The cow sees the squirrel. The cow visits the bald eagle. The squirrel likes the bald eagle. The squirrel sees the cow. The squirrel visits the cow. If something likes the bald eagle then the bald eagle sees the squirrel. If something visits the bald eagle then it is blue. If something is nice and it likes the squirrel then the squirrel is round. If something is nice and it sees the cow then the cow is blue. If something is rough and it likes the bald eagle then the bald eagle likes the cow. If something visits the cow then it is nice. If the cow is blue then the cow sees the bald eagle. If something visits the squirrel then it likes the bald eagle.
The cow does not see the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle sees the squirrel.[(triple4 OR ((triple10) -> rule1) OR ((triple14) -> rule1) OR ((((triple6) -> rule8)) -> rule1))] The bald eagle visits the cow.[(triple5)] The bald eagle visits the squirrel.[(triple6)] The cow is cold.[(triple7)] The cow is rough.[(triple8)] The cow is round.[(triple9)] The cow likes the bald eagle.[(triple10)] The cow sees the bald eagle.[(triple11 OR ((((triple13) -> rule2)) -> rule7) OR ((((((triple16) -> rule6) triple15) -> rule4)) -> rule7))] The cow sees the squirrel.[(triple12)] The cow visits the bald eagle.[(triple13)] The squirrel likes the bald eagle.[(triple14)] The squirrel sees the cow.[(triple15)] The squirrel visits the cow.[(triple16)] @1: The bald eagle is nice.[(((triple5) -> rule6))] The bald eagle likes the bald eagle.[(((triple6) -> rule8))] The bald eagle likes the cow.[(((triple8 triple10) -> rule5))] The cow is blue.[(((triple13) -> rule2) OR ((((triple16) -> rule6) triple15) -> rule4))] The squirrel is nice.[(((triple16) -> rule6))] @2: The squirrel is round.[(((((triple5) -> rule6) triple3) -> rule3))]