Anne is big. Anne is cold. Anne is red. Bob is cold. Dave is green. Dave is not red. Gary is cold. If something is red then it is not young.
Anne is red.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3)] Bob is cold.[(triple4)] Dave is green.[(triple5)] Dave is not red.[(triple6)] Gary is cold.[(triple7)] @1: Anne is not young.[(((triple3) -> rule1))]