The bear is kind. The bear is young. The bear likes the lion. The bear visits the lion. The lion likes the bear. The lion needs the bear. The lion visits the bear. If something visits the lion then the lion needs the bear. If something likes the bear and the bear likes the lion then it visits the lion. If something needs the lion and the lion likes the bear then the lion visits the bear. If the bear visits the lion and the bear is kind then the lion likes the bear. If something needs the bear then the bear needs the lion. If the lion visits the bear then the lion needs the bear. If something needs the lion and the lion needs the bear then the bear likes the lion. If the bear likes the lion then the lion is young.
The lion is not round.
@0: The bear is kind.[(triple1)] The bear is young.[(triple2)] The bear likes the lion.[(triple3 OR ((((triple6) -> rule5) triple6) -> rule7) OR ((((triple6) -> rule5) ((triple4) -> rule1)) -> rule7) OR ((((triple6) -> rule5) ((triple7) -> rule6)) -> rule7) OR ((((((triple4) -> rule1)) -> rule5) triple6) -> rule7) OR ((((((triple7) -> rule6)) -> rule5) triple6) -> rule7) OR ((((((triple4) -> rule1)) -> rule5) ((triple4) -> rule1)) -> rule7) OR ((((((triple4) -> rule1)) -> rule5) ((triple7) -> rule6)) -> rule7) OR ((((((triple7) -> rule6)) -> rule5) ((triple4) -> rule1)) -> rule7) OR ((((((triple7) -> rule6)) -> rule5) ((triple7) -> rule6)) -> rule7))] The bear visits the lion.[(triple4)] The lion likes the bear.[(triple5 OR ((triple4 triple1) -> rule4))] The lion needs the bear.[(triple6 OR ((triple4) -> rule1) OR ((triple7) -> rule6) OR ((((triple5 triple3) -> rule2)) -> rule1) OR ((((((triple4 triple1) -> rule4) triple3) -> rule2)) -> rule1))] The lion visits the bear.[(triple7 OR ((((triple6) -> rule5) triple5) -> rule3) OR ((((triple6) -> rule5) ((triple4 triple1) -> rule4)) -> rule3) OR ((((((triple4) -> rule1)) -> rule5) triple5) -> rule3) OR ((((((triple4) -> rule1)) -> rule5) ((triple4 triple1) -> rule4)) -> rule3) OR ((((((((triple5 triple3) -> rule2)) -> rule1)) -> rule5) triple5) -> rule3) OR ((((((((triple5 triple3) -> rule2)) -> rule1)) -> rule5) ((triple4 triple1) -> rule4)) -> rule3) OR ((((((((((triple4 triple1) -> rule4) triple3) -> rule2)) -> rule1)) -> rule5) triple5) -> rule3) OR ((((((((((triple4 triple1) -> rule4) triple3) -> rule2)) -> rule1)) -> rule5) ((triple4 triple1) -> rule4)) -> rule3))] @1: The bear needs the lion.[(((triple6) -> rule5) OR ((((triple4) -> rule1)) -> rule5) OR ((((triple7) -> rule6)) -> rule5) OR ((((((triple5 triple3) -> rule2)) -> rule1)) -> rule5) OR ((((((((triple4 triple1) -> rule4) triple3) -> rule2)) -> rule1)) -> rule5))] The lion is young.[(((triple3) -> rule8) OR ((((((triple6) -> rule5) triple6) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) ((triple4) -> rule1)) -> rule7)) -> rule8) OR ((((((triple6) -> rule5) ((triple7) -> rule6)) -> rule7)) -> rule8) OR ((((((((triple4) -> rule1)) -> rule5) triple6) -> rule7)) -> rule8) OR ((((((((triple7) -> rule6)) -> rule5) triple6) -> rule7)) -> rule8) OR ((((((((triple4) -> rule1)) -> rule5) ((triple4) -> rule1)) -> rule7)) -> rule8) OR ((((((((triple4) -> rule1)) -> rule5) ((triple7) -> rule6)) -> rule7)) -> rule8) OR ((((((((triple7) -> rule6)) -> rule5) ((triple4) -> rule1)) -> rule7)) -> rule8) OR ((((((((triple7) -> rule6)) -> rule5) ((triple7) -> rule6)) -> rule7)) -> rule8))] The lion visits the lion.[(((triple5 triple3) -> rule2) OR ((((triple4 triple1) -> rule4) triple3) -> rule2) OR ((triple5 ((((triple6) -> rule5) triple6) -> rule7)) -> rule2) OR ((triple5 ((((triple6) -> rule5) ((triple4) -> rule1)) -> rule7)) -> rule2) OR ((triple5 ((((triple6) -> rule5) ((triple7) -> rule6)) -> rule7)) -> rule2) OR ((((triple4 triple1) -> rule4) ((((triple6) -> rule5) triple6) -> rule7)) -> rule2) OR ((((triple4 triple1) -> rule4) ((((triple6) -> rule5) ((triple4) -> rule1)) -> rule7)) -> rule2) OR ((((triple4 triple1) -> rule4) ((((triple6) -> rule5) ((triple7) -> rule6)) -> rule7)) -> rule2) OR ((triple5 ((((((triple4) -> rule1)) -> rule5) triple6) -> rule7)) -> rule2) OR ((triple5 ((((((triple7) -> rule6)) -> rule5) triple6) -> rule7)) -> rule2) OR ((triple5 ((((((triple4) -> rule1)) -> rule5) ((triple4) -> rule1)) -> rule7)) -> rule2) OR ((triple5 ((((((triple4) -> rule1)) -> rule5) ((triple7) -> rule6)) -> rule7)) -> rule2) OR ((triple5 ((((((triple7) -> rule6)) -> rule5) ((triple4) -> rule1)) -> rule7)) -> rule2) OR ((triple5 ((((((triple7) -> rule6)) -> rule5) ((triple7) -> rule6)) -> rule7)) -> rule2) OR ((((triple4 triple1) -> rule4) ((((((triple4) -> rule1)) -> rule5) triple6) -> rule7)) -> rule2) OR ((((triple4 triple1) -> rule4) ((((((triple7) -> rule6)) -> rule5) triple6) -> rule7)) -> rule2) OR ((((triple4 triple1) -> rule4) ((((((triple4) -> rule1)) -> rule5) ((triple4) -> rule1)) -> rule7)) -> rule2) OR ((((triple4 triple1) -> rule4) ((((((triple4) -> rule1)) -> rule5) ((triple7) -> rule6)) -> rule7)) -> rule2) OR ((((triple4 triple1) -> rule4) ((((((triple7) -> rule6)) -> rule5) ((triple4) -> rule1)) -> rule7)) -> rule2) OR ((((triple4 triple1) -> rule4) ((((((triple7) -> rule6)) -> rule5) ((triple7) -> rule6)) -> rule7)) -> rule2))]