The dog is kind. The dog is red. The dog is rough. The dog is young. The dog needs the tiger. The dog sees the tiger. The dog visits the tiger. The tiger is rough. The tiger is young. The tiger needs the dog. The tiger sees the dog. The tiger visits the dog. If someone visits the dog then the dog is blue. Blue, young people are kind. If someone sees the dog then they visit the tiger. If someone visits the dog then the dog sees the tiger. If someone visits the dog and the dog is young then they see the dog. If the tiger is blue then the tiger needs the dog.
The tiger is not kind.
@0: The dog is kind.[(triple1 OR ((((triple12) -> rule1) triple4) -> rule2))] The dog is red.[(triple2)] The dog is rough.[(triple3)] The dog is young.[(triple4)] The dog needs the tiger.[(triple5)] The dog sees the tiger.[(triple6 OR ((triple12) -> rule4))] The dog visits the tiger.[(triple7)] The tiger is rough.[(triple8)] The tiger is young.[(triple9)] The tiger needs the dog.[(triple10)] The tiger sees the dog.[(triple11 OR ((triple12 triple4) -> rule5))] The tiger visits the dog.[(triple12)] @1: The dog is blue.[(((triple12) -> rule1))] The tiger visits the tiger.[(((triple11) -> rule3) OR ((((triple12 triple4) -> rule5)) -> rule3))]