Charlie is quiet. Charlie is not red. Dave is cold. Dave is red. Fiona is white. Gary is not blue. Gary is rough. If Charlie is blue then Charlie is not white. If Fiona is red then Fiona is cold. If Gary is cold and Gary is white then Gary is nice. Quiet people are blue. Red people are blue. Red people are cold. If someone is cold and not blue then they are nice. If Charlie is not nice then Charlie is rough.
Dave is rough.
@0: Charlie is not red.[(triple2)] Charlie is quiet.[(triple1)] Dave is cold.[(triple3 OR ((triple4) -> rule6))] Dave is red.[(triple4)] Fiona is white.[(triple5)] Gary is not blue.[(triple6)] Gary is rough.[(triple7)] @1: Charlie is blue.[(((triple1) -> rule4))] Dave is blue.[(((triple4) -> rule5))] @2: Charlie is not white.[(((((triple1) -> rule4)) -> rule1))]