The bear chases the rabbit. The lion does not chase the squirrel. The rabbit is round. The squirrel needs the bear. If something is cold then it does not need the rabbit. If something chases the rabbit then the rabbit chases the lion. If something chases the lion then it needs the lion. If something visits the bear then it is not blue. If the rabbit is round then the rabbit visits the bear. If something needs the bear then it chases the lion. If something needs the lion then it is green. If the squirrel does not need the rabbit then the rabbit needs the lion.
The bear needs the lion.
@0: The bear chases the rabbit.[(triple1)] The lion does not chase the squirrel.[(triple2)] The rabbit is round.[(triple3)] The squirrel needs the bear.[(triple4)] @1: The rabbit chases the lion.[(((triple1) -> rule2))] The rabbit visits the bear.[(((triple3) -> rule5))] The squirrel chases the lion.[(((triple4) -> rule6))] @2: The rabbit is not blue.[(((((triple3) -> rule5)) -> rule4))] The rabbit needs the lion.[(((((triple1) -> rule2)) -> rule3))] The squirrel needs the lion.[(((((triple4) -> rule6)) -> rule3))] @3: The rabbit is green.[(((((((triple1) -> rule2)) -> rule3)) -> rule7))] The squirrel is green.[(((((((triple4) -> rule6)) -> rule3)) -> rule7))]