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