Bob is white. Charlie is cold. Gary is quiet. Harry is smart. Cold, quiet people are smart. All smart people are white. If Charlie is cold then Charlie is quiet.
Gary is white.
@0: Bob is white.[(triple1)] Charlie is cold.[(triple2)] Gary is quiet.[(triple3)] Harry is smart.[(triple4)] @1: Charlie is quiet.[(((triple2) -> rule3))] Harry is white.[(((triple4) -> rule2))] @2: Charlie is smart.[(((triple2 ((triple2) -> rule3)) -> rule1))] @3: Charlie is white.[(((((triple2 ((triple2) -> rule3)) -> rule1)) -> rule2))]