The bear sees the lion. The cat is big. The cat is blue. The cat is cold. The cat needs the bear. The cat needs the squirrel. The lion sees the squirrel. The squirrel is big. The squirrel is blue. The squirrel sees the cat. If someone sees the squirrel then they need the squirrel.
The squirrel is big.
@0: The bear sees the lion.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is cold.[(triple4)] The cat needs the bear.[(triple5)] The cat needs the squirrel.[(triple6)] The lion sees the squirrel.[(triple7)] The squirrel is big.[(triple8)] The squirrel is blue.[(triple9)] The squirrel sees the cat.[(triple10)] @1: The lion needs the squirrel.[(((triple7) -> rule1))]