Anne is red. Bob is cold. Bob is white. Fiona is blue. Fiona is quiet. Fiona is red. Fiona is white. Gary is blue. Gary is cold. Gary is green. Blue things are white.
Gary is not blue.
@0: Anne is red.[(triple1)] Bob is cold.[(triple2)] Bob is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Fiona is white.[(triple7 OR ((triple4) -> rule1))] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is green.[(triple10)] @1: Gary is white.[(((triple8) -> rule1))]