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