Anne is cold. Anne is red. Gary is white. All round, red things are cold. If something is red then it is cold. All cold things are red.
Gary is white.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule2))] Anne is red.[(triple2 OR ((triple1) -> rule3))] Gary is white.[(triple3)]