The lion eats the squirrel. The lion is not young. The lion needs the squirrel. The rabbit is kind. The rabbit is nice. The rabbit needs the lion. The squirrel is kind. If the lion needs the rabbit then the rabbit is nice. If someone needs the lion then the lion is not big. If someone is young then they need the lion. If someone is nice and not rough then they need the squirrel. If someone needs the squirrel and they are not big then they do not eat the rabbit. If someone is rough then they eat the rabbit. If someone is kind and they do not eat the rabbit then they see the lion. If someone sees the rabbit and they do not eat the rabbit then the rabbit sees the squirrel.
The rabbit does not see the squirrel.
@0: The lion eats the squirrel.[(triple1)] The lion is not young.[(triple2)] The lion needs the squirrel.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is nice.[(triple5)] The rabbit needs the lion.[(triple6)] The squirrel is kind.[(triple7)] @1: The lion is not big.[(((triple6) -> rule2))] @2: The lion does not eat the rabbit.[(((triple3 ((triple6) -> rule2)) -> rule5))]