Anne is quiet. Dave is blue. Dave is young. Fiona is cold. Fiona is young. Gary is blue. Gary is cold. If someone is blue then they are young. If Anne is young then Anne is round. If someone is nice and young then they are quiet. Cold people are quiet. If Anne is nice and Anne is red then Anne is blue. If someone is cold then they are red.
Gary is not blue.
@0: Anne is quiet.[(triple1)] Dave is blue.[(triple2)] Dave is young.[(triple3 OR ((triple2) -> rule1))] Fiona is cold.[(triple4)] Fiona is young.[(triple5)] Gary is blue.[(triple6)] Gary is cold.[(triple7)] @1: Fiona is quiet.[(((triple4) -> rule4))] Fiona is red.[(((triple4) -> rule6))] Gary is quiet.[(((triple7) -> rule4))] Gary is red.[(((triple7) -> rule6))] Gary is young.[(((triple6) -> rule1))]