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.
Fiona is not rough.
@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))]