The bear needs the lion. The lion is not cold. The lion is kind. The lion is round. The lion likes the bear. The lion does not need the bear. The lion visits the bear. If something is nice then it does not need the lion. If the lion visits the bear then the bear is not cold. If something is nice and it likes the bear then the bear likes the lion. If the lion does not need the bear then the bear visits the lion. If something needs the bear and it is not kind then the bear needs the lion. If something needs the bear and it does not need the lion then the lion is round. If the bear needs the lion and the lion does not like the bear then the lion is round. If something visits the bear and it does not visit the lion then the bear is not round.
The lion does not need the bear.
@0: The bear needs the lion.[(triple1)] The lion does not need the bear.[(triple6)] The lion is kind.[(triple3)] The lion is not cold.[(triple2)] The lion is round.[(triple4)] The lion likes the bear.[(triple5)] The lion visits the bear.[(triple7)] @1: The bear is not cold.[(((triple7) -> rule2))] The bear visits the lion.[(((triple6) -> rule4))]