The dog chases the tiger. The dog does not eat the tiger. The dog is nice. The dog needs the tiger. The tiger chases the dog. The tiger eats the dog. The tiger is blue. The tiger is cold. The tiger is not kind. The tiger is not nice. The tiger is round. The tiger needs the dog. If something eats the tiger then the tiger needs the dog. If something eats the dog and it is not round then the dog does not need the tiger. If something eats the dog then it is cold.
The dog is not cold.
@0: The dog chases the tiger.[(triple1)] The dog does not eat the tiger.[(triple2)] The dog is nice.[(triple3)] The dog needs the tiger.[(triple4)] The tiger chases the dog.[(triple5)] The tiger eats the dog.[(triple6)] The tiger is blue.[(triple7)] The tiger is cold.[(triple8 OR ((triple6) -> rule3))] The tiger is not kind.[(triple9)] The tiger is not nice.[(triple10)] The tiger is round.[(triple11)] The tiger needs the dog.[(triple12)]