Charlie is cold. Charlie is furry. Charlie is quiet. If Charlie is furry then Charlie is round.
Charlie is smart.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is quiet.[(triple3)] @1: Charlie is round.[(((triple2) -> rule1))]