The rabbit is nice. The rabbit likes the squirrel. The squirrel is big. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel is young. The squirrel likes the rabbit. The squirrel needs the rabbit. The squirrel sees the rabbit. If something sees the rabbit then the rabbit sees the squirrel.
The squirrel needs the rabbit.
@0: The rabbit is nice.[(triple1)] The rabbit likes the squirrel.[(triple2)] The squirrel is big.[(triple3)] The squirrel is nice.[(triple4)] The squirrel is rough.[(triple5)] The squirrel is round.[(triple6)] The squirrel is young.[(triple7)] The squirrel likes the rabbit.[(triple8)] The squirrel needs the rabbit.[(triple9)] The squirrel sees the rabbit.[(triple10)] @1: The rabbit sees the squirrel.[(((triple10) -> rule1))]