Bob is cold. Charlie is quiet. Gary is cold. Harry is quiet. All big things are cold. All blue things are not cold. Quiet, blue things are not cold. If something is quiet then it is cold. All big, rough things are round. If something is cold and not rough then it is blue. If something is quiet and not furry then it is not blue. All round things are big.
Bob is not cold.
@0: Bob is cold.[(triple1)] Charlie is quiet.[(triple2)] Gary is cold.[(triple3)] Harry is quiet.[(triple4)] @1: Charlie is cold.[(((triple2) -> rule4))] Harry is cold.[(((triple4) -> rule4))]