The bear eats the lion. The bear is cold. The bear is green. The bear is kind. The bear is nice. The bear is round. The bear needs the lion. The bear visits the lion. The lion eats the bear. The lion is cold. The lion is green. The lion is kind. The lion is round. The lion needs the bear. The lion visits the bear. If someone is round and they eat the bear then they are green. If someone is round then they visit the lion. If someone is cold and they eat the lion then the lion is kind. If someone visits the lion and the lion visits the bear then they need the lion. If the lion visits the bear then the bear eats the lion. If someone needs the bear then they are kind. If someone visits the lion then they are green. If someone eats the lion then the lion eats the bear.
The lion is cold.
@0: The bear eats the lion.[(triple1 OR ((triple15) -> rule5))] The bear is cold.[(triple2)] The bear is green.[(triple3 OR ((triple8) -> rule7) OR ((((triple6) -> rule2)) -> rule7))] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear is round.[(triple6)] The bear needs the lion.[(triple7 OR ((triple8 triple15) -> rule4) OR ((((triple6) -> rule2) triple15) -> rule4))] The bear visits the lion.[(triple8 OR ((triple6) -> rule2))] The lion eats the bear.[(triple9 OR ((triple1) -> rule8) OR ((((triple15) -> rule5)) -> rule8))] The lion is cold.[(triple10)] The lion is green.[(triple11 OR ((triple13 triple9) -> rule1) OR ((((triple13) -> rule2)) -> rule7) OR ((triple13 ((triple1) -> rule8)) -> rule1) OR ((triple13 ((((triple15) -> rule5)) -> rule8)) -> rule1))] The lion is kind.[(triple12 OR ((triple14) -> rule6) OR ((triple2 triple1) -> rule3) OR ((triple2 ((triple15) -> rule5)) -> rule3))] The lion is round.[(triple13)] The lion needs the bear.[(triple14)] The lion visits the bear.[(triple15)] @1: The lion visits the lion.[(((triple13) -> rule2))] @2: The lion needs the lion.[(((((triple13) -> rule2) triple15) -> rule4))]