Anne is cold. Anne is nice. Dave is cold. Dave is green. Dave is nice. Dave is smart. Dave is young. If someone is furry then they are young. Young, cold people are big.
Anne is not young.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Dave is cold.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] @1: Dave is big.[(((triple7 triple3) -> rule2))]