Charlie is furry. Charlie is not green. Fiona is furry. Fiona is white. Gary is blue. Gary is furry. Gary is not green. Gary is rough. Gary is not smart. Gary is white. If something is smart and not white then it is green. Smart, cold things are not rough.
Gary is blue.
@0: Charlie is furry.[(triple1)] Charlie is not green.[(triple2)] Fiona is furry.[(triple3)] Fiona is white.[(triple4)] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is not green.[(triple7)] Gary is not smart.[(triple9)] Gary is rough.[(triple8)] Gary is white.[(triple10)]