The dog eats the squirrel. The dog is blue. The dog is round. The dog is young. The dog likes the squirrel. The dog needs the squirrel. The squirrel is blue. The squirrel is young. The squirrel likes the dog. The squirrel needs the dog. If something needs the dog then it eats the dog. If something likes the dog then it likes the squirrel. All young things are blue. If something needs the squirrel then the squirrel likes the dog. If something eats the dog then it is green. If something needs the dog then it is round.
The squirrel is not round.
@0: The dog eats the squirrel.[(triple1)] The dog is blue.[(triple2 OR ((triple4) -> rule3))] The dog is round.[(triple3)] The dog is young.[(triple4)] The dog likes the squirrel.[(triple5)] The dog needs the squirrel.[(triple6)] The squirrel is blue.[(triple7 OR ((triple8) -> rule3))] The squirrel is young.[(triple8)] The squirrel likes the dog.[(triple9 OR ((triple6) -> rule4))] The squirrel needs the dog.[(triple10)] @1: The squirrel eats the dog.[(((triple10) -> rule1))] The squirrel is round.[(((triple10) -> rule6))] The squirrel likes the squirrel.[(((triple9) -> rule2) OR ((((triple6) -> rule4)) -> rule2))] @2: The squirrel is green.[(((((triple10) -> rule1)) -> rule5))]