Charlie is blue. Charlie is cold. Charlie is white. All white things are quiet. If something is big then it is kind. All quiet, blue things are big.
Charlie is not big.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is white.[(triple3)] @1: Charlie is quiet.[(((triple3) -> rule1))] @2: Charlie is big.[(((((triple3) -> rule1) triple1) -> rule3))] @3: Charlie is kind.[(((((((triple3) -> rule1) triple1) -> rule3)) -> rule2))]