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.
Bob is rough.
@0: Anne is red.[(triple1)] Bob is rough.[(triple2)] Fiona is not blue.[(triple3)] Gary is round.[(triple4)] @1: Anne is blue.[(((triple1) -> rule1))]