Dave is red. Erin is white. Fiona is nice. Fiona is white. Gary is not nice. Gary is red. Gary is white. Rough, blue things are kind. If something is white and not red then it is blue. If Gary is red then Gary is not kind.
Gary is not blue.
@0: Dave is red.[(triple1)] Erin is white.[(triple2)] Fiona is nice.[(triple3)] Fiona is white.[(triple4)] Gary is not nice.[(triple5)] Gary is red.[(triple6)] Gary is white.[(triple7)] @1: Gary is not kind.[(((triple6) -> rule3))]