The dog is kind. The dog is rough. The dog is young. The dog does not need the tiger. The dog sees the tiger. The dog does not visit the tiger. The tiger is kind. The tiger is nice. The tiger is round. The tiger needs the dog. The tiger sees the dog. The tiger visits the dog. If something visits the dog then the dog sees the tiger. If the tiger does not visit the dog then the dog is round. If the dog is rough and the dog needs the tiger then the tiger does not see the dog. If something sees the tiger then the tiger is rough. If the tiger is round then the tiger needs the dog. If the dog is kind then the dog does not visit the tiger.
The dog is not round.
@0: The dog does not need the tiger.[(triple4)] The dog does not visit the tiger.[(triple6 OR ((triple1) -> rule6))] The dog is kind.[(triple1)] The dog is rough.[(triple2)] The dog is young.[(triple3)] The dog sees the tiger.[(triple5 OR ((triple12) -> rule1))] The tiger is kind.[(triple7)] The tiger is nice.[(triple8)] The tiger is round.[(triple9)] The tiger needs the dog.[(triple10 OR ((triple9) -> rule5))] The tiger sees the dog.[(triple11)] The tiger visits the dog.[(triple12)] @1: The tiger is rough.[(((triple5) -> rule4) OR ((((triple12) -> rule1)) -> rule4))]