Anne is big. Anne is cold. Bob is quiet. Gary is big. Gary is nice. Harry is big. Harry is red. All red things are quiet. All rough things are cold. All cold, nice things are quiet.
Gary is big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Bob is quiet.[(triple3)] Gary is big.[(triple4)] Gary is nice.[(triple5)] Harry is big.[(triple6)] Harry is red.[(triple7)] @1: Harry is quiet.[(((triple7) -> rule1))]