Charlie is cold. Dave is not cold. Fiona is furry. Gary is not cold. If Gary is not furry then Gary is not white. Cold people are not rough. All green people are not big.
Gary is furry.
@0: Charlie is cold.[(triple1)] Dave is not cold.[(triple2)] Fiona is furry.[(triple3)] Gary is not cold.[(triple4)] @1: Charlie is not rough.[(((triple1) -> rule2))]