The bear does not chase the lion. The bear is cold. The bear is rough. The bear sees the lion. The bear visits the lion. The lion is young. The lion sees the bear. If something chases the lion then the lion visits the bear. If something is young then it chases the lion. If the bear is not red then the bear sees the lion. If something sees the lion then the lion is not red. If the lion sees the bear and the bear chases the lion then the lion is rough. If the lion visits the bear then the lion is not round. If something is round and it does not visit the lion then it does not visit the bear. If something chases the lion and it does not see the lion then it visits the bear.
The lion is not round.
@0: The bear does not chase the lion.[(triple1)] The bear is cold.[(triple2)] The bear is rough.[(triple3)] The bear sees the lion.[(triple4)] The bear visits the lion.[(triple5)] The lion is young.[(triple6)] The lion sees the bear.[(triple7)] @1: The lion chases the lion.[(((triple6) -> rule2))] The lion is not red.[(((triple4) -> rule4))] @2: The lion visits the bear.[(((((triple6) -> rule2)) -> rule1))] @3: The lion is not round.[(((((((triple6) -> rule2)) -> rule1)) -> rule6))]