The cow eats the squirrel. The cow is blue. The cow visits the squirrel. The squirrel eats the cow. The squirrel is rough. The squirrel is round. The squirrel visits the cow. If something visits the cow then it is round. If something eats the cow then the cow visits the squirrel. If something is green then it eats the squirrel. All blue things are green. If something eats the cow and the cow visits the squirrel then the cow is blue. If something visits the squirrel and it is green then it is round.
The squirrel is not round.
@0: The cow eats the squirrel.[(triple1 OR ((((triple2) -> rule4)) -> rule3) OR ((((((triple4 triple3) -> rule5)) -> rule4)) -> rule3) OR ((((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule4)) -> rule3))] The cow is blue.[(triple2 OR ((triple4 triple3) -> rule5) OR ((triple4 ((triple4) -> rule2)) -> rule5))] The cow visits the squirrel.[(triple3 OR ((triple4) -> rule2))] The squirrel eats the cow.[(triple4)] The squirrel is rough.[(triple5)] The squirrel is round.[(triple6 OR ((triple7) -> rule1))] The squirrel visits the cow.[(triple7)] @1: The cow is green.[(((triple2) -> rule4) OR ((((triple4 triple3) -> rule5)) -> rule4) OR ((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule4))] @2: The cow is round.[(((triple3 ((triple2) -> rule4)) -> rule6) OR ((((triple4) -> rule2) ((triple2) -> rule4)) -> rule6) OR ((triple3 ((((triple4 triple3) -> rule5)) -> rule4)) -> rule6) OR ((((triple4) -> rule2) ((((triple4 triple3) -> rule5)) -> rule4)) -> rule6) OR ((triple3 ((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule4)) -> rule6) OR ((((triple4) -> rule2) ((((triple4 ((triple4) -> rule2)) -> rule5)) -> rule4)) -> rule6))]