The lion is green. The lion does not like the rabbit. The mouse needs the squirrel. The rabbit is nice. The rabbit likes the squirrel. The squirrel is big. The squirrel likes the rabbit. If something eats the mouse then it is not big. If the lion is not rough then the lion needs the squirrel. If something is green then it needs the squirrel.
The lion is green.
@0: The lion does not like the rabbit.[(triple2)] The lion is green.[(triple1)] The mouse needs the squirrel.[(triple3)] The rabbit is nice.[(triple4)] The rabbit likes the squirrel.[(triple5)] The squirrel is big.[(triple6)] The squirrel likes the rabbit.[(triple7)] @1: The lion needs the squirrel.[(((triple1) -> rule3))]