Anne is blue. Anne is furry. Anne is quiet. Dave is blue. Dave is cold. Dave is furry. Dave is young. Gary is big. Gary is furry. Gary is quiet. Gary is smart. Gary is young. Quiet, big things are cold.
Gary is blue.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6)] Dave is young.[(triple7)] Gary is big.[(triple8)] Gary is furry.[(triple9)] Gary is quiet.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Gary is cold.[(((triple10 triple8) -> rule1))]