The bear is kind. The bear is round. The bear needs the dog. The dog eats the tiger. The dog is big. The dog is round. The dog needs the bear. The dog needs the tiger. The dog visits the bear. The tiger eats the bear. The tiger eats the dog. The tiger is round. The tiger needs the dog. The tiger visits the bear. The tiger visits the dog. If something is kind and it visits the tiger then it needs the dog. If something visits the tiger then the tiger visits the bear. If something needs the dog and it is rough then the dog eats the tiger. If something needs the dog then it visits the bear. If something visits the bear and it needs the tiger then the bear is kind. If something visits the bear then the bear eats the tiger. If something visits the dog then it eats the tiger. If something eats the dog and the dog eats the bear then the bear is round.
The dog is rough.
@0: The bear is kind.[(triple1 OR ((triple9 triple8) -> rule5))] The bear is round.[(triple2)] The bear needs the dog.[(triple3)] The dog eats the tiger.[(triple4)] The dog is big.[(triple5)] The dog is round.[(triple6)] The dog needs the bear.[(triple7)] The dog needs the tiger.[(triple8)] The dog visits the bear.[(triple9)] The tiger eats the bear.[(triple10)] The tiger eats the dog.[(triple11)] The tiger is round.[(triple12)] The tiger needs the dog.[(triple13)] The tiger visits the bear.[(triple14 OR ((triple13) -> rule4))] The tiger visits the dog.[(triple15)] @1: The bear eats the tiger.[(((triple14) -> rule6) OR ((triple9) -> rule6) OR ((((triple13) -> rule4)) -> rule6) OR ((((triple3) -> rule4)) -> rule6))] The bear visits the bear.[(((triple3) -> rule4))] The tiger eats the tiger.[(((triple15) -> rule7))]