The dog chases the tiger. The dog eats the squirrel. The dog is big. The dog is blue. The dog sees the squirrel. The squirrel chases the dog. The squirrel eats the dog. The squirrel is big. The squirrel sees the dog. The squirrel sees the tiger. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is kind. The tiger sees the dog. The tiger sees the squirrel. If someone eats the tiger then they eat the dog. If the tiger eats the dog then the dog eats the tiger. If someone sees the tiger and the tiger sees the squirrel then they chase the dog. If someone chases the squirrel and the squirrel is nice then the squirrel is kind. If someone sees the dog then they chase the dog. If someone eats the tiger and the tiger is blue then the tiger is big. If someone is kind then they eat the tiger. If someone sees the squirrel and the squirrel sees the tiger then the squirrel is kind.
The tiger is not kind.
@0: The dog chases the tiger.[(triple1)] The dog eats the squirrel.[(triple2)] The dog is big.[(triple3)] The dog is blue.[(triple4)] The dog sees the squirrel.[(triple5)] The squirrel chases the dog.[(triple6 OR ((triple9) -> rule5) OR ((triple10 triple15) -> rule3))] The squirrel eats the dog.[(triple7 OR ((((((triple15 triple10) -> rule8)) -> rule7)) -> rule1) OR ((((((triple5 triple10) -> rule8)) -> rule7)) -> rule1))] The squirrel is big.[(triple8)] The squirrel sees the dog.[(triple9)] The squirrel sees the tiger.[(triple10)] The tiger chases the squirrel.[(triple11)] The tiger eats the squirrel.[(triple12)] The tiger is kind.[(triple13)] The tiger sees the dog.[(triple14)] The tiger sees the squirrel.[(triple15)] @1: The squirrel is kind.[(((triple15 triple10) -> rule8) OR ((triple5 triple10) -> rule8))] The tiger chases the dog.[(((triple14) -> rule5))] The tiger eats the tiger.[(((triple13) -> rule7))] @2: The squirrel eats the tiger.[(((((triple15 triple10) -> rule8)) -> rule7) OR ((((triple5 triple10) -> rule8)) -> rule7))] The tiger eats the dog.[(((((triple13) -> rule7)) -> rule1))] @3: The dog eats the tiger.[(((((((triple13) -> rule7)) -> rule1)) -> rule2))] @4: The dog eats the dog.[(((((((((triple13) -> rule7)) -> rule1)) -> rule2)) -> rule1))]