The bear is not round. The lion needs the bear. The mouse is green. The rabbit is kind. If something chases the lion then the lion is cold. If something needs the lion then the lion likes the mouse. If something chases the lion and the lion likes the bear then the lion is not green. If something chases the lion and it does not need the lion then it is round. If something likes the lion then the lion is not round. If something is green then it chases the lion. If the bear is round and the bear needs the mouse then the bear likes the mouse. If the lion is cold then the lion needs the rabbit.
The bear is not round.
@0: The bear is not round.[(triple1)] The lion needs the bear.[(triple2)] The mouse is green.[(triple3)] The rabbit is kind.[(triple4)] @1: The mouse chases the lion.[(((triple3) -> rule6))] @2: The lion is cold.[(((((triple3) -> rule6)) -> rule1))] @3: The lion needs the rabbit.[(((((((triple3) -> rule6)) -> rule1)) -> rule8))]