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