Bob is big. Bob is blue. Bob is furry. Bob is round. Charlie is big. Harry is green. Harry is white. If Harry is white and Harry is round then Harry is young. All furry things are green.
Bob is not big.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is furry.[(triple3)] Bob is round.[(triple4)] Charlie is big.[(triple5)] Harry is green.[(triple6)] Harry is white.[(triple7)] @1: Bob is green.[(((triple3) -> rule2))]