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