The bear is young. The bear likes the lion. The bear visits the tiger. The lion chases the bear. The lion chases the tiger. The lion is young. The lion visits the tiger. The tiger chases the lion. The tiger is big. The tiger is round. The tiger is young. The tiger likes the bear. If something is round and it chases the bear then it chases the tiger. If the bear likes the lion and the lion likes the bear then the lion visits the tiger. If something chases the lion and it visits the tiger then the lion visits the tiger. If something chases the tiger then the tiger is blue. If something visits the bear then the bear likes the tiger. If something is round and blue then it visits the bear. If the tiger visits the bear then the tiger likes the lion. If something chases the lion then it chases the bear.
The lion visits the bear.
@0: The bear is young.[(triple1)] The bear likes the lion.[(triple2)] The bear visits the tiger.[(triple3)] The lion chases the bear.[(triple4)] The lion chases the tiger.[(triple5)] The lion is young.[(triple6)] The lion visits the tiger.[(triple7)] The tiger chases the lion.[(triple8)] The tiger is big.[(triple9)] The tiger is round.[(triple10)] The tiger is young.[(triple11)] The tiger likes the bear.[(triple12)] @1: The tiger chases the bear.[(((triple8) -> rule8))] The tiger is blue.[(((triple5) -> rule4) OR ((((triple10 ((triple8) -> rule8)) -> rule1)) -> rule4))] @2: The tiger chases the tiger.[(((triple10 ((triple8) -> rule8)) -> rule1))] The tiger visits the bear.[(((triple10 ((triple5) -> rule4)) -> rule6) OR ((triple10 ((((triple10 ((triple8) -> rule8)) -> rule1)) -> rule4)) -> rule6))] @3: The bear likes the tiger.[(((((triple10 ((triple5) -> rule4)) -> rule6)) -> rule5) OR ((((triple10 ((((triple10 ((triple8) -> rule8)) -> rule1)) -> rule4)) -> rule6)) -> rule5))] The tiger likes the lion.[(((((triple10 ((triple5) -> rule4)) -> rule6)) -> rule7) OR ((((triple10 ((((triple10 ((triple8) -> rule8)) -> rule1)) -> rule4)) -> rule6)) -> rule7))]