Charlie is cold. Charlie is not round. Erin is cold. Gary is not furry. Gary is smart. Harry is blue. Harry is quiet. If Charlie is cold then Charlie is not quiet. Round things are kind. If something is round and not quiet then it is furry.
Harry is not quiet.
@0: Charlie is cold.[(triple1)] Charlie is not round.[(triple2)] Erin is cold.[(triple3)] Gary is not furry.[(triple4)] Gary is smart.[(triple5)] Harry is blue.[(triple6)] Harry is quiet.[(triple7)] @1: Charlie is not quiet.[(((triple1) -> rule1))]