The bear is big. The lion visits the rabbit. The rabbit eats the lion. The squirrel is big. If something is red then it needs the lion. If something needs the rabbit and it needs the squirrel then the rabbit is rough. If something is rough and it eats the rabbit then it eats the lion. If something is big and it needs the lion then the lion needs the rabbit. Big things are red. If something visits the lion then it visits the bear.
The lion does not need the rabbit.
@0: The bear is big.[(triple1)] The lion visits the rabbit.[(triple2)] The rabbit eats the lion.[(triple3)] The squirrel is big.[(triple4)] @1: The bear is red.[(((triple1) -> rule5))] The squirrel is red.[(((triple4) -> rule5))] @2: The bear needs the lion.[(((((triple1) -> rule5)) -> rule1))] The squirrel needs the lion.[(((((triple4) -> rule5)) -> rule1))] @3: The lion needs the rabbit.[(((triple1 ((((triple1) -> rule5)) -> rule1)) -> rule4) OR ((triple4 ((((triple4) -> rule5)) -> rule1)) -> rule4))]