Bob is not nice. Bob is white. Dave is nice. Erin is green. Erin is not round. Harry is not green. Harry is nice. If someone is cold and not nice then they are young. Nice people are young. If someone is green and not nice then they are not young. If someone is young and not green then they are not white. If Harry is round then Harry is young. If Harry is white and Harry is not green then Harry is furry.
Bob is not white.
@0: Bob is not nice.[(triple1)] Bob is white.[(triple2)] Dave is nice.[(triple3)] Erin is green.[(triple4)] Erin is not round.[(triple5)] Harry is nice.[(triple7)] Harry is not green.[(triple6)] @1: Dave is young.[(((triple3) -> rule2))] Harry is young.[(((triple7) -> rule2))] @2: Harry is not white.[(((((triple7) -> rule2) triple6) -> rule4))]