The dog chases the tiger. The dog eats the tiger. The dog is big. The dog is not kind. The dog visits the tiger. The tiger chases the dog. The tiger eats the dog. The tiger is big. The tiger is not blue. The tiger is not kind. The tiger is round. The tiger visits the dog. If the dog chases the tiger and the dog is round then the dog is not red. If something visits the dog then the dog is red. If something is kind and it does not eat the dog then the dog visits the tiger. If something chases the tiger then it chases the dog. If something is red then it eats the tiger. If something is blue and it visits the tiger then it is red. If the dog is round and the dog visits the tiger then the dog does not eat the tiger. If something eats the dog and it chases the tiger then the dog chases the tiger.
The dog eats the dog.
@0: The dog chases the tiger.[(triple1)] The dog eats the tiger.[(triple2 OR ((((triple12) -> rule2)) -> rule5))] The dog is big.[(triple3)] The dog is not kind.[(triple4)] The dog visits the tiger.[(triple5)] The tiger chases the dog.[(triple6)] The tiger eats the dog.[(triple7)] The tiger is big.[(triple8)] The tiger is not blue.[(triple9)] The tiger is not kind.[(triple10)] The tiger is round.[(triple11)] The tiger visits the dog.[(triple12)] @1: The dog chases the dog.[(((triple1) -> rule4))] The dog is red.[(((triple12) -> rule2))]