Anne is nice. Anne is quiet. Bob is nice. Bob is quiet. Bob is young. Dave is blue. Dave is nice. Harry is nice. Harry is red. Harry is young. If Harry is big then Harry is young. All young, quiet people are big.
Dave is nice.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is young.[(triple5)] Dave is blue.[(triple6)] Dave is nice.[(triple7)] Harry is nice.[(triple8)] Harry is red.[(triple9)] Harry is young.[(triple10)] @1: Bob is big.[(((triple5 triple4) -> rule2))]