The dog eats the tiger. The dog is green. The dog is not red. The squirrel does not eat the tiger. The squirrel visits the dog. The tiger eats the dog. The tiger eats the squirrel. If something is red then it is not round. If something visits the dog then it visits the squirrel. If the dog visits the tiger and the tiger is young then the dog eats the squirrel. If something chases the tiger and it does not eat the tiger then the tiger is green. If something visits the squirrel then the squirrel chases the tiger. If something visits the tiger then it chases the dog. If something chases the dog and the dog does not eat the squirrel then the squirrel does not visit the tiger. If the squirrel eats the dog and the squirrel does not chase the tiger then the dog is round.
The squirrel does not visit the squirrel.
@0: The dog eats the tiger.[(triple1)] The dog is green.[(triple2)] The dog is not red.[(triple3)] The squirrel does not eat the tiger.[(triple4)] The squirrel visits the dog.[(triple5)] The tiger eats the dog.[(triple6)] The tiger eats the squirrel.[(triple7)] @1: The squirrel visits the squirrel.[(((triple5) -> rule2))] @2: The squirrel chases the tiger.[(((((triple5) -> rule2)) -> rule5))] @3: The tiger is green.[(((((((triple5) -> rule2)) -> rule5) triple4) -> rule4))]