The dog chases the tiger. The dog eats the tiger. The dog is big. The dog is not cold. The dog is green. The dog is nice. The dog is not round. The dog needs the tiger. The tiger does not eat the dog. The tiger is cold. The tiger is green. The tiger does not need the dog. If the dog does not chase the tiger then the dog needs the tiger. If someone chases the dog then they need the tiger. If the tiger is cold then the tiger chases the dog. If someone chases the tiger then the tiger chases the dog. If someone is cold and they eat the dog then the dog eats the tiger. If someone needs the tiger and the tiger eats the dog then the dog eats the tiger. If someone needs the tiger then they are not round. If the tiger needs the dog and the tiger does not chase the dog then the tiger is round.
The dog chases the dog.
@0: The dog chases the tiger.[(triple1)] The dog eats the tiger.[(triple2)] The dog is big.[(triple3)] The dog is green.[(triple5)] The dog is nice.[(triple6)] The dog is not cold.[(triple4)] The dog is not round.[(triple7 OR ((triple8) -> rule7))] The dog needs the tiger.[(triple8)] The tiger does not eat the dog.[(triple9)] The tiger does not need the dog.[(triple12)] The tiger is cold.[(triple10)] The tiger is green.[(triple11)] @1: The tiger chases the dog.[(((triple1) -> rule4) OR ((triple10) -> rule3))] @2: The tiger needs the tiger.[(((((triple1) -> rule4)) -> rule2) OR ((((triple10) -> rule3)) -> rule2))] @3: The tiger is not round.[(((((((triple1) -> rule4)) -> rule2)) -> rule7) OR ((((((triple10) -> rule3)) -> rule2)) -> rule7))]