Anne is blue. Gary is not blue. Gary is cold. Gary is quiet. Gary is red. Gary is smart. Gary is young. If something is quiet and young then it is red. Smart, quiet things are cold.
Gary is round.
@0: Anne is blue.[(triple1)] Gary is cold.[(triple3 OR ((triple6 triple4) -> rule2))] Gary is not blue.[(triple2)] Gary is quiet.[(triple4)] Gary is red.[(triple5 OR ((triple4 triple7) -> rule1))] Gary is smart.[(triple6)] Gary is young.[(triple7)]