The dog chases the squirrel. The dog is green. The dog sees the squirrel. The dog sees the tiger. The squirrel chases the tiger. The squirrel eats the dog. The squirrel eats the tiger. The squirrel is big. The squirrel is green. The squirrel is nice. The squirrel is red. The tiger chases the dog. The tiger eats the squirrel. The tiger is green. The tiger sees the dog. The tiger sees the squirrel. If someone eats the squirrel and they are big then the squirrel eats the dog. If someone eats the squirrel and the squirrel chases the tiger then the tiger is big. If someone is big then they chase the dog. If someone sees the dog then they see the tiger. If someone is green then they see the tiger. If someone sees the dog and the dog sees the tiger then the dog chases the squirrel.
The squirrel does not eat the tiger.
@0: The dog chases the squirrel.[(triple1 OR ((triple15 triple4) -> rule6) OR ((triple15 ((triple2) -> rule5)) -> rule6))] The dog is green.[(triple2)] The dog sees the squirrel.[(triple3)] The dog sees the tiger.[(triple4 OR ((triple2) -> rule5))] The squirrel chases the tiger.[(triple5)] The squirrel eats the dog.[(triple6 OR ((triple13 ((triple13 triple5) -> rule2)) -> rule1))] The squirrel eats the tiger.[(triple7)] The squirrel is big.[(triple8)] The squirrel is green.[(triple9)] The squirrel is nice.[(triple10)] The squirrel is red.[(triple11)] The tiger chases the dog.[(triple12 OR ((((triple13 triple5) -> rule2)) -> rule3))] The tiger eats the squirrel.[(triple13)] The tiger is green.[(triple14)] The tiger sees the dog.[(triple15)] The tiger sees the squirrel.[(triple16)] @1: The squirrel chases the dog.[(((triple8) -> rule3))] The squirrel sees the tiger.[(((triple9) -> rule5))] The tiger is big.[(((triple13 triple5) -> rule2))] The tiger sees the tiger.[(((triple14) -> rule5) OR ((triple15) -> rule4))]