Charlie is quiet. All kind, quiet things are big. Quiet things are cold. Kind things are cold. All nice, furry things are quiet. Quiet, cold things are kind. If something is nice then it is big.
Charlie is cold.
@0: Charlie is quiet.[(triple1)] @1: Charlie is cold.[(((triple1) -> rule2))] @2: Charlie is kind.[(((triple1 ((triple1) -> rule2)) -> rule5))] @3: Charlie is big.[(((((triple1 ((triple1) -> rule2)) -> rule5) triple1) -> rule1))]