Anne is cold. Anne is furry. Anne is young. Bob is big. Dave is big. Dave is green. Dave is young. If Bob is not young then Bob is nice. All furry people are nice. Big people are nice.
Bob is cold.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is young.[(triple3)] Bob is big.[(triple4)] Dave is big.[(triple5)] Dave is green.[(triple6)] Dave is young.[(triple7)] @1: Anne is nice.[(((triple2) -> rule2))] Bob is nice.[(((triple4) -> rule3))] Dave is nice.[(((triple5) -> rule3))]