The bear is big. The lion is big. The squirrel sees the lion. If something likes the squirrel then it likes the lion. If something likes the bear and it likes the squirrel then the squirrel likes the lion. If something likes the bear then it likes the lion. If the squirrel sees the lion then the squirrel is big. If something sees the lion and it is cold then it is big. If something likes the lion then the lion sees the bear.
The squirrel sees the lion.
@0: The bear is big.[(triple1)] The lion is big.[(triple2)] The squirrel sees the lion.[(triple3)] @1: The squirrel is big.[(((triple3) -> rule4))]