The cat likes the lion. The cat likes the squirrel. The cat needs the lion. The cow likes the squirrel. The lion is big. The lion is young. The squirrel is big. The squirrel is green. The squirrel needs the lion. The squirrel sees the cat. If someone sees the cat then they like the squirrel.
The squirrel needs the lion.
@0: The cat likes the lion.[(triple1)] The cat likes the squirrel.[(triple2)] The cat needs the lion.[(triple3)] The cow likes the squirrel.[(triple4)] The lion is big.[(triple5)] The lion is young.[(triple6)] The squirrel is big.[(triple7)] The squirrel is green.[(triple8)] The squirrel needs the lion.[(triple9)] The squirrel sees the cat.[(triple10)] @1: The squirrel likes the squirrel.[(((triple10) -> rule1))]