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