The dog chases the tiger. The dog eats the tiger. The dog is big. The dog is nice. The dog likes the tiger. The tiger chases the dog. The tiger eats the dog. The tiger is big. The tiger is blue. The tiger is green. The tiger is nice. The tiger likes the dog. If someone eats the tiger and they like the dog then the dog is green. If someone eats the tiger then the tiger eats the dog. If the tiger is rough then the tiger eats the dog. If someone likes the dog then they eat the tiger. If the dog is green then the dog likes the tiger. If someone is green then they chase the dog. If the tiger likes the dog then the dog eats the tiger. If someone chases the dog and they like the dog then the dog chases the tiger.
The tiger is not big.
@0: The dog chases the tiger.[(triple1 OR ((triple6 triple12) -> rule8) OR ((((triple10) -> rule6) triple12) -> rule8))] The dog eats the tiger.[(triple2 OR ((triple12) -> rule7))] The dog is big.[(triple3)] The dog is nice.[(triple4)] The dog likes the tiger.[(triple5 OR ((((((triple12) -> rule4) triple12) -> rule1)) -> rule5))] The tiger chases the dog.[(triple6 OR ((triple10) -> rule6))] The tiger eats the dog.[(triple7 OR ((triple2) -> rule2) OR ((((triple12) -> rule4)) -> rule2) OR ((((triple12) -> rule7)) -> rule2))] The tiger is big.[(triple8)] The tiger is blue.[(triple9)] The tiger is green.[(triple10)] The tiger is nice.[(triple11)] The tiger likes the dog.[(triple12)] @1: The tiger eats the tiger.[(((triple12) -> rule4))] @2: The dog is green.[(((((triple12) -> rule4) triple12) -> rule1))] @3: The dog chases the dog.[(((((((triple12) -> rule4) triple12) -> rule1)) -> rule6))]