The dog eats the tiger. The dog needs the squirrel. The dog needs the tiger. The dog sees the squirrel. The squirrel eats the dog. The squirrel is nice. The squirrel needs the tiger. The tiger is green. The tiger is nice. The tiger is red. The tiger needs the squirrel. The tiger sees the squirrel. If something eats the dog then the dog sees the tiger. If something sees the dog then the dog eats the squirrel. If something sees the dog then the dog is big. If something eats the tiger then the tiger eats the squirrel. If something sees the tiger and the tiger sees the squirrel then it sees the dog. If something sees the squirrel and the squirrel sees the tiger then it is red.
The dog does not eat the squirrel.
@0: The dog eats the tiger.[(triple1)] The dog needs the squirrel.[(triple2)] The dog needs the tiger.[(triple3)] The dog sees the squirrel.[(triple4)] The squirrel eats the dog.[(triple5)] The squirrel is nice.[(triple6)] The squirrel needs the tiger.[(triple7)] The tiger is green.[(triple8)] The tiger is nice.[(triple9)] The tiger is red.[(triple10)] The tiger needs the squirrel.[(triple11)] The tiger sees the squirrel.[(triple12)] @1: The dog sees the tiger.[(((triple5) -> rule1))] The tiger eats the squirrel.[(((triple1) -> rule4))] @2: The dog sees the dog.[(((((triple5) -> rule1) triple12) -> rule5))] @3: The dog eats the squirrel.[(((((((triple5) -> rule1) triple12) -> rule5)) -> rule2))] The dog is big.[(((((((triple5) -> rule1) triple12) -> rule5)) -> rule3))]