Charlie is furry. Fiona is big. Gary is rough. Cold people are rough. Rough people are big. If Charlie is nice then Charlie is rough.
Gary is not rough.
@0: Charlie is furry.[(triple1)] Fiona is big.[(triple2)] Gary is rough.[(triple3)] @1: Gary is big.[(((triple3) -> rule2))]