Anne is blue. Bob is rough. Fiona is blue. Gary is furry. All white, young people are rough. If someone is blue then they are not white. All smart people are white.
Gary is not furry.
@0: Anne is blue.[(triple1)] Bob is rough.[(triple2)] Fiona is blue.[(triple3)] Gary is furry.[(triple4)] @1: Anne is not white.[(((triple1) -> rule2))] Fiona is not white.[(((triple3) -> rule2))]