The dog chases the tiger. The dog does not eat the tiger. The dog is big. The dog is rough. The dog is round. The dog does not see the tiger. The tiger chases the dog. The tiger eats the dog. The tiger is big. The tiger is nice. The tiger is rough. The tiger sees the dog. If someone eats the dog then they do not eat the tiger. If someone chases the tiger then they do not eat the tiger. If someone is rough and they see the dog then the dog is nice. If someone eats the dog and they are kind then the dog is nice. If someone chases the dog and the dog chases the tiger then the tiger sees the dog. If someone eats the dog then the dog chases the tiger.
The tiger is round.
@0: The dog chases the tiger.[(triple1 OR ((triple8) -> rule6))] The dog does not eat the tiger.[(triple2 OR ((triple1) -> rule2) OR ((((triple8) -> rule6)) -> rule2))] The dog does not see the tiger.[(triple6)] The dog is big.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)] The tiger chases the dog.[(triple7)] The tiger eats the dog.[(triple8)] The tiger is big.[(triple9)] The tiger is nice.[(triple10)] The tiger is rough.[(triple11)] The tiger sees the dog.[(triple12 OR ((triple7 triple1) -> rule5) OR ((triple7 ((triple8) -> rule6)) -> rule5))] @1: The dog is nice.[(((triple11 triple12) -> rule3) OR ((triple11 ((triple7 triple1) -> rule5)) -> rule3) OR ((triple11 ((triple7 ((triple8) -> rule6)) -> rule5)) -> rule3))] The tiger does not eat the tiger.[(((triple8) -> rule1))]