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