Anne is cold. Dave is rough. Gary is cold. Harry is nice. Cold, rough things are big. All young things are red. If something is nice then it is cold. Big, green things are red. If Anne is young then Anne is big. If something is cold and red then it is big.
Anne is cold.
@0: Anne is cold.[(triple1)] Dave is rough.[(triple2)] Gary is cold.[(triple3)] Harry is nice.[(triple4)] @1: Harry is cold.[(((triple4) -> rule3))]