The lion is big. The lion is blue. The lion sees the squirrel. The lion visits the rabbit. The lion visits the squirrel. The rabbit is blue. The rabbit needs the lion. The rabbit needs the squirrel. The rabbit sees the squirrel. The squirrel is blue. The squirrel is green. The squirrel is rough. The squirrel needs the rabbit. The squirrel sees the lion. The squirrel sees the rabbit. The squirrel visits the lion. If something needs the rabbit then the rabbit sees the lion.
The lion sees the rabbit.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion sees the squirrel.[(triple3)] The lion visits the rabbit.[(triple4)] The lion visits the squirrel.[(triple5)] The rabbit is blue.[(triple6)] The rabbit needs the lion.[(triple7)] The rabbit needs the squirrel.[(triple8)] The rabbit sees the squirrel.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is green.[(triple11)] The squirrel is rough.[(triple12)] The squirrel needs the rabbit.[(triple13)] The squirrel sees the lion.[(triple14)] The squirrel sees the rabbit.[(triple15)] The squirrel visits the lion.[(triple16)] @1: The rabbit sees the lion.[(((triple13) -> rule1))]