Anne is blue. Anne is green. Gary is big. Gary is furry. Gary is green. Gary is kind. Gary is quiet. If someone is blue then they are quiet. If someone is furry then they are cold.
Gary is kind.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Gary is big.[(triple3)] Gary is furry.[(triple4)] Gary is green.[(triple5)] Gary is kind.[(triple6)] Gary is quiet.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule1))] Gary is cold.[(((triple4) -> rule2))]