Anne is big. Anne is cold. Bob is young. Charlie is furry. Charlie is young. Dave is cold. Dave is nice. If Charlie is nice then Charlie is round. If something is big and cold then it is furry.
Anne is not big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Bob is young.[(triple3)] Charlie is furry.[(triple4)] Charlie is young.[(triple5)] Dave is cold.[(triple6)] Dave is nice.[(triple7)] @1: Anne is furry.[(((triple1 triple2) -> rule2))]