The bear chases the tiger. The bear is green. The bear is kind. The bear likes the tiger. The tiger chases the bear. The tiger is green. The tiger is nice. The tiger is young. The tiger likes the bear. The tiger visits the bear. If something chases the tiger and the tiger visits the bear then the bear visits the tiger. If something is round then it chases the bear. If something visits the bear then the bear visits the tiger. If something chases the tiger then it likes the tiger. If something likes the bear then it chases the bear. If something chases the tiger then it is green. If something is green then it chases the bear. If something is round and it likes the tiger then it likes the bear.
The tiger is round.
@0: The bear chases the tiger.[(triple1)] The bear is green.[(triple2 OR ((triple1) -> rule6))] The bear is kind.[(triple3)] The bear likes the tiger.[(triple4 OR ((triple1) -> rule4))] The tiger chases the bear.[(triple5 OR ((triple6) -> rule7) OR ((triple9) -> rule5))] The tiger is green.[(triple6)] The tiger is nice.[(triple7)] The tiger is young.[(triple8)] The tiger likes the bear.[(triple9)] The tiger visits the bear.[(triple10)] @1: The bear chases the bear.[(((triple2) -> rule7) OR ((((triple1) -> rule6)) -> rule7))] The bear visits the tiger.[(((triple10) -> rule3) OR ((triple1 triple10) -> rule1))]