Charlie is white. Dave is rough. Gary is white. Harry is kind. If someone is rough then they are white. If Charlie is white and Charlie is nice then Charlie is blue. If Charlie is rough then Charlie is white. All nice people are kind. If someone is red then they are kind. If Gary is nice and Gary is rough then Gary is blue.
Gary is not blue.
@0: Charlie is white.[(triple1)] Dave is rough.[(triple2)] Gary is white.[(triple3)] Harry is kind.[(triple4)] @1: Dave is white.[(((triple2) -> rule1))]