Anne is cold. Bob is nice. Gary is cold. Gary is nice. Harry is nice. Harry is quiet. Harry is white. Nice, quiet things are furry. All white, cold things are round.
Gary is not nice.
@0: Anne is cold.[(triple1)] Bob is nice.[(triple2)] Gary is cold.[(triple3)] Gary is nice.[(triple4)] Harry is nice.[(triple5)] Harry is quiet.[(triple6)] Harry is white.[(triple7)] @1: Harry is furry.[(((triple5 triple6) -> rule1))]