The bear is blue. The bear is cold. The bear is kind. The bear is nice. The bear likes the lion. The bear needs the lion. The bear sees the lion. The lion is blue. The lion is cold. The lion is kind. The lion is nice. The lion is round. The lion likes the bear. The lion needs the bear. The lion sees the bear. If something sees the bear and the bear is round then the bear sees the lion. If something is blue and it needs the lion then the lion needs the bear. If something sees the lion then the lion is kind. If something sees the bear and it is kind then it needs the lion. If the lion needs the bear and the bear likes the lion then the lion sees the bear. If something is kind and it needs the bear then it likes the bear. If something likes the bear then the bear is cold. If the lion needs the bear then the lion likes the bear.
The bear is kind.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2 OR ((triple13) -> rule7) OR ((((triple14) -> rule8)) -> rule7) OR ((((triple10 triple14) -> rule6)) -> rule7) OR ((((((triple1 triple6) -> rule2)) -> rule8)) -> rule7) OR ((((triple10 ((triple1 triple6) -> rule2)) -> rule6)) -> rule7) OR ((((((triple7) -> rule3) triple14) -> rule6)) -> rule7) OR ((((((triple7) -> rule3) ((triple1 triple6) -> rule2)) -> rule6)) -> rule7) OR ((((((triple8 ((triple15 triple10) -> rule4)) -> rule2)) -> rule8)) -> rule7) OR ((((triple10 ((triple8 ((triple15 triple10) -> rule4)) -> rule2)) -> rule6)) -> rule7) OR ((((((triple7) -> rule3) ((triple8 ((triple15 triple10) -> rule4)) -> rule2)) -> rule6)) -> rule7) OR ((((((triple8 ((triple15 ((triple7) -> rule3)) -> rule4)) -> rule2)) -> rule8)) -> rule7) OR ((((triple10 ((triple8 ((triple15 ((triple7) -> rule3)) -> rule4)) -> rule2)) -> rule6)) -> rule7) OR ((((((triple7) -> rule3) ((triple8 ((triple15 ((triple7) -> rule3)) -> rule4)) -> rule2)) -> rule6)) -> rule7))] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear likes the lion.[(triple5)] The bear needs the lion.[(triple6)] The bear sees the lion.[(triple7)] The lion is blue.[(triple8)] The lion is cold.[(triple9)] The lion is kind.[(triple10 OR ((triple7) -> rule3))] The lion is nice.[(triple11)] The lion is round.[(triple12)] The lion likes the bear.[(triple13 OR ((triple14) -> rule8) OR ((triple10 triple14) -> rule6) OR ((((triple1 triple6) -> rule2)) -> rule8) OR ((triple10 ((triple1 triple6) -> rule2)) -> rule6) OR ((((triple7) -> rule3) triple14) -> rule6) OR ((((triple7) -> rule3) ((triple1 triple6) -> rule2)) -> rule6) OR ((((triple8 ((triple15 triple10) -> rule4)) -> rule2)) -> rule8) OR ((triple10 ((triple8 ((triple15 triple10) -> rule4)) -> rule2)) -> rule6) OR ((((triple7) -> rule3) ((triple8 ((triple15 triple10) -> rule4)) -> rule2)) -> rule6) OR ((((triple8 ((triple15 ((triple7) -> rule3)) -> rule4)) -> rule2)) -> rule8) OR ((triple10 ((triple8 ((triple15 ((triple7) -> rule3)) -> rule4)) -> rule2)) -> rule6) OR ((((triple7) -> rule3) ((triple8 ((triple15 ((triple7) -> rule3)) -> rule4)) -> rule2)) -> rule6))] The lion needs the bear.[(triple14 OR ((triple1 triple6) -> rule2) OR ((triple8 ((triple15 triple10) -> rule4)) -> rule2) OR ((triple8 ((triple15 ((triple7) -> rule3)) -> rule4)) -> rule2))] The lion sees the bear.[(triple15 OR ((triple14 triple5) -> rule5) OR ((((triple1 triple6) -> rule2) triple5) -> rule5))] @1: The lion needs the lion.[(((triple15 triple10) -> rule4) OR ((triple15 ((triple7) -> rule3)) -> rule4) OR ((((triple14 triple5) -> rule5) triple10) -> rule4) OR ((((triple14 triple5) -> rule5) ((triple7) -> rule3)) -> rule4) OR ((((((triple1 triple6) -> rule2) triple5) -> rule5) triple10) -> rule4) OR ((((((triple1 triple6) -> rule2) triple5) -> rule5) ((triple7) -> rule3)) -> rule4))]