Charlie is white. Dave is smart. Fiona is white. Gary is not big. Gary is green. Gary is not nice. Gary is white. If Gary is white then Gary is not cold. Cold things are white. If something is big then it is not green. If something is cold and not round then it is green. Nice, round things are green. If something is smart and not cold then it is nice.
Gary is smart.
@0: Charlie is white.[(triple1)] Dave is smart.[(triple2)] Fiona is white.[(triple3)] Gary is green.[(triple5)] Gary is not big.[(triple4)] Gary is not nice.[(triple6)] Gary is white.[(triple7)] @1: Gary is not cold.[(((triple7) -> rule1))]