The bald eagle sees the cat. The bald eagle sees the squirrel. The cat is blue. The cat is cold. The cat is green. The cat sees the bald eagle. The cat sees the squirrel. The mouse chases the bald eagle. The mouse chases the cat. The mouse is cold. The mouse sees the cat. The squirrel likes the mouse. The squirrel sees the bald eagle. The squirrel sees the mouse. If something chases the bald eagle then the bald eagle is green. If something is green and it likes the bald eagle then the bald eagle is round. If something chases the cat and the cat is cold then it likes the bald eagle. If something sees the mouse and the mouse sees the cat then the cat sees the bald eagle. If something sees the bald eagle then it is cold. If the bald eagle likes the mouse then the bald eagle chases the cat. If something is green then it likes the mouse.
The bald eagle is not round.
@0: The bald eagle sees the cat.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4 OR ((triple6) -> rule5) OR ((((triple14 triple11) -> rule4)) -> rule5))] The cat is green.[(triple5)] The cat sees the bald eagle.[(triple6 OR ((triple14 triple11) -> rule4))] The cat sees the squirrel.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse chases the cat.[(triple9)] The mouse is cold.[(triple10)] The mouse sees the cat.[(triple11)] The squirrel likes the mouse.[(triple12)] The squirrel sees the bald eagle.[(triple13)] The squirrel sees the mouse.[(triple14)] @1: The bald eagle is green.[(((triple8) -> rule1))] The cat likes the mouse.[(((triple5) -> rule7))] The mouse likes the bald eagle.[(((triple9 triple4) -> rule3) OR ((triple9 ((triple6) -> rule5)) -> rule3) OR ((triple9 ((((triple14 triple11) -> rule4)) -> rule5)) -> rule3))] The squirrel is cold.[(((triple13) -> rule5))] @2: The bald eagle likes the mouse.[(((((triple8) -> rule1)) -> rule7))] @3: The bald eagle chases the cat.[(((((((triple8) -> rule1)) -> rule7)) -> rule6))] @4: The bald eagle likes the bald eagle.[(((((((((triple8) -> rule1)) -> rule7)) -> rule6) triple4) -> rule3) OR ((((((((triple8) -> rule1)) -> rule7)) -> rule6) ((triple6) -> rule5)) -> rule3) OR ((((((((triple8) -> rule1)) -> rule7)) -> rule6) ((((triple14 triple11) -> rule4)) -> rule5)) -> rule3))] @5: The bald eagle is round.[(((((triple8) -> rule1) ((((((((triple8) -> rule1)) -> rule7)) -> rule6) triple4) -> rule3)) -> rule2) OR ((((triple8) -> rule1) ((((((((triple8) -> rule1)) -> rule7)) -> rule6) ((triple6) -> rule5)) -> rule3)) -> rule2) OR ((((triple8) -> rule1) ((((((((triple8) -> rule1)) -> rule7)) -> rule6) ((((triple14 triple11) -> rule4)) -> rule5)) -> rule3)) -> rule2))]