The lion needs the rabbit. The mouse is rough. The mouse is young. The mouse visits the lion. The rabbit needs the mouse. The rabbit needs the squirrel. The squirrel is not blue. If something is young then it needs the lion. If something is round then it needs the lion. If something needs the lion then it needs the rabbit. If something is rough and it visits the mouse then the mouse is red. If the rabbit visits the squirrel and the squirrel chases the lion then the squirrel needs the rabbit. If something is red then it is not blue. If something is young and it does not need the mouse then it visits the rabbit. If something needs the rabbit then it visits the mouse. If the lion visits the mouse and the lion is blue then the mouse chases the squirrel.
The rabbit does not need the squirrel.
@0: The lion needs the rabbit.[(triple1)] The mouse is rough.[(triple2)] The mouse is young.[(triple3)] The mouse visits the lion.[(triple4)] The rabbit needs the mouse.[(triple5)] The rabbit needs the squirrel.[(triple6)] The squirrel is not blue.[(triple7)] @1: The lion visits the mouse.[(((triple1) -> rule8))] The mouse needs the lion.[(((triple3) -> rule1))] @2: The mouse needs the rabbit.[(((((triple3) -> rule1)) -> rule3))] @3: The mouse visits the mouse.[(((((((triple3) -> rule1)) -> rule3)) -> rule8))] @4: The mouse is red.[(((triple2 ((((((triple3) -> rule1)) -> rule3)) -> rule8)) -> rule4))] @5: The mouse is not blue.[(((((triple2 ((((((triple3) -> rule1)) -> rule3)) -> rule8)) -> rule4)) -> rule6))]