Anne is big. Anne is blue. Anne is green. Anne is red. Anne is round. Dave is cold. Dave is furry. If Anne is big and Anne is green then Anne is furry.
Dave is not furry.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Dave is cold.[(triple6)] Dave is furry.[(triple7)] @1: Anne is furry.[(((triple1 triple3) -> rule1))]