The bear eats the lion. The bear is green. The bear needs the lion. The bear does not visit the lion. The lion does not eat the bear. The lion is cold. The lion is not rough. If the lion needs the bear then the bear is nice. If something is green then it needs the bear. If something is green and it needs the bear then the bear is cold. If something is cold then it is not nice. If the bear needs the lion then the bear does not visit the lion. If something visits the lion and the lion visits the bear then the bear visits the lion. If something visits the bear and the bear is not cold then the bear needs the lion. If something visits the bear and the bear does not visit the lion then the lion is nice.
The bear is cold.
@0: The bear does not visit the lion.[(triple4 OR ((triple3) -> rule5))] The bear eats the lion.[(triple1)] The bear is green.[(triple2)] The bear needs the lion.[(triple3)] The lion does not eat the bear.[(triple5)] The lion is cold.[(triple6)] The lion is not rough.[(triple7)] @1: The bear needs the bear.[(((triple2) -> rule2))] The lion is not nice.[(((triple6) -> rule4))] @2: The bear is cold.[(((triple2 ((triple2) -> rule2)) -> rule3))] @3: The bear is not nice.[(((((triple2 ((triple2) -> rule2)) -> rule3)) -> rule4))]