Anne is red. Bob is rough. Fiona is not blue. Gary is round. All red things are blue. All red, rough things are blue. All cold things are rough.
Gary is not round.
@0: Anne is red.[(triple1)] Bob is rough.[(triple2)] Fiona is not blue.[(triple3)] Gary is round.[(triple4)] @1: Anne is blue.[(((triple1) -> rule1))]