The bear is rough. The bear is round. The bear is young. The bear likes the tiger. The bear sees the dog. The bear visits the tiger. The dog is nice. The dog is red. The dog is young. The dog sees the bear. The tiger is nice. The tiger is red. The tiger is rough. The tiger likes the bear. The tiger sees the dog. The tiger visits the bear. If something visits the bear then the bear sees the tiger. If something is nice then it sees the dog. If something sees the dog then the dog likes the bear. If something is rough and it visits the tiger then the tiger sees the dog. If something visits the bear then the bear is nice. If something likes the tiger and it likes the dog then the tiger is red.
The dog sees the bear.
@0: The bear is rough.[(triple1)] The bear is round.[(triple2)] The bear is young.[(triple3)] The bear likes the tiger.[(triple4)] The bear sees the dog.[(triple5 OR ((((triple16) -> rule5)) -> rule2))] The bear visits the tiger.[(triple6)] The dog is nice.[(triple7)] The dog is red.[(triple8)] The dog is young.[(triple9)] The dog sees the bear.[(triple10)] The tiger is nice.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger likes the bear.[(triple14)] The tiger sees the dog.[(triple15 OR ((triple11) -> rule2) OR ((triple1 triple6) -> rule4))] The tiger visits the bear.[(triple16)] @1: The bear is nice.[(((triple16) -> rule5))] The bear sees the tiger.[(((triple16) -> rule1))] The dog likes the bear.[(((triple15) -> rule3) OR ((triple5) -> rule3) OR ((((triple11) -> rule2)) -> rule3) OR ((((triple7) -> rule2)) -> rule3) OR ((((triple1 triple6) -> rule4)) -> rule3) OR ((((((triple16) -> rule5)) -> rule2)) -> rule3))] The dog sees the dog.[(((triple7) -> rule2))]