The bald eagle sees the cow. The cow is green. The squirrel eats the cow. The tiger is kind. If something eats the tiger and the tiger is blue then the tiger eats the squirrel. If something is round then it does not see the squirrel. If something eats the cow then the cow is green. If something sees the cow then it is round. If something is green then it is not round. All green things are blue. If the cow is cold and the cow is round then the cow does not eat the tiger. If the squirrel needs the cow then the cow is kind.
The bald eagle is blue.
@0: The bald eagle sees the cow.[(triple1)] The cow is green.[(triple2 OR ((triple3) -> rule3))] The squirrel eats the cow.[(triple3)] The tiger is kind.[(triple4)] @1: The bald eagle is round.[(((triple1) -> rule4))] The cow is blue.[(((triple2) -> rule6) OR ((((triple3) -> rule3)) -> rule6))] The cow is not round.[(((triple2) -> rule5) OR ((((triple3) -> rule3)) -> rule5))] @2: The bald eagle does not see the squirrel.[(((((triple1) -> rule4)) -> rule2))]