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