The dog eats the squirrel. The dog is red. The dog sees the squirrel. The dog visits the squirrel. The squirrel is young. The squirrel sees the dog. The squirrel visits the dog. If the dog is young and the dog visits the squirrel then the squirrel eats the dog. If something visits the dog then it eats the squirrel. If something visits the squirrel and the squirrel sees the dog then it is big. If the squirrel is big then the squirrel eats the dog. If something visits the dog and it is nice then the dog visits the squirrel. If something is young then it sees the squirrel. If something eats the dog and the dog is nice then it is green. If something is big and it sees the squirrel then the squirrel visits the dog.
The dog is red.
@0: The dog eats the squirrel.[(triple1)] The dog is red.[(triple2)] The dog sees the squirrel.[(triple3)] The dog visits the squirrel.[(triple4)] The squirrel is young.[(triple5)] The squirrel sees the dog.[(triple6)] The squirrel visits the dog.[(triple7 OR ((((triple4 triple6) -> rule3) triple3) -> rule8))] @1: The dog is big.[(((triple4 triple6) -> rule3))] The squirrel eats the squirrel.[(((triple7) -> rule2) OR ((((((triple4 triple6) -> rule3) triple3) -> rule8)) -> rule2))] The squirrel sees the squirrel.[(((triple5) -> rule6))]