The lion likes the rabbit. The rabbit chases the squirrel. The rabbit is blue. The rabbit is cold. The squirrel chases the rabbit. The squirrel is cold. The squirrel is green. The squirrel likes the lion. The squirrel sees the lion. The squirrel sees the rabbit. If something chases the lion then the lion is young. If something chases the lion then the lion sees the squirrel. If something chases the squirrel then the squirrel chases the lion.
The squirrel is not red.
@0: The lion likes the rabbit.[(triple1)] The rabbit chases the squirrel.[(triple2)] The rabbit is blue.[(triple3)] The rabbit is cold.[(triple4)] The squirrel chases the rabbit.[(triple5)] The squirrel is cold.[(triple6)] The squirrel is green.[(triple7)] The squirrel likes the lion.[(triple8)] The squirrel sees the lion.[(triple9)] The squirrel sees the rabbit.[(triple10)] @1: The squirrel chases the lion.[(((triple2) -> rule3))] @2: The lion is young.[(((((triple2) -> rule3)) -> rule1))] The lion sees the squirrel.[(((((triple2) -> rule3)) -> rule2))]