The dog chases the squirrel. The dog chases the tiger. The dog eats the squirrel. The dog does not eat the tiger. The dog is cold. The dog is kind. The dog is red. The dog likes the squirrel. The dog likes the tiger. The squirrel is not big. The tiger chases the squirrel. The tiger is cold. The tiger is kind. The tiger is red. The tiger likes the dog. The tiger does not like the squirrel. If the dog likes the squirrel then the dog chases the squirrel. If someone chases the tiger then they eat the dog. If someone is kind and they do not like the dog then the dog likes the squirrel. If the tiger is big then the tiger is not green. If the squirrel eats the tiger then the tiger eats the dog. All kind people are big. If the tiger likes the dog then the dog likes the tiger. If someone chases the squirrel and they are not green then the squirrel likes the tiger.
The squirrel does not eat the squirrel.
@0: The dog chases the squirrel.[(triple1 OR ((triple8) -> rule1))] The dog chases the tiger.[(triple2)] The dog does not eat the tiger.[(triple4)] The dog eats the squirrel.[(triple3)] The dog is cold.[(triple5)] The dog is kind.[(triple6)] The dog is red.[(triple7)] The dog likes the squirrel.[(triple8)] The dog likes the tiger.[(triple9 OR ((triple15) -> rule7))] The squirrel is not big.[(triple10)] The tiger chases the squirrel.[(triple11)] The tiger does not like the squirrel.[(triple16)] The tiger is cold.[(triple12)] The tiger is kind.[(triple13)] The tiger is red.[(triple14)] The tiger likes the dog.[(triple15)] @1: The dog eats the dog.[(((triple2) -> rule2))] The dog is big.[(((triple6) -> rule6))] The tiger is big.[(((triple13) -> rule6))] @2: The tiger is not green.[(((((triple13) -> rule6)) -> rule4))] @3: The squirrel likes the tiger.[(((triple11 ((((triple13) -> rule6)) -> rule4)) -> rule8))]