Bob is furry. Bob is not green. Bob is nice. Bob is quiet. Bob is young. Harry is nice. Harry is not quiet. If Harry is nice then Harry is young. Nice people are furry. If someone is nice and not green then they are not white.
Bob is not young.
@0: Bob is furry.[(triple1 OR ((triple3) -> rule2))] Bob is nice.[(triple3)] Bob is not green.[(triple2)] Bob is quiet.[(triple4)] Bob is young.[(triple5)] Harry is nice.[(triple6)] Harry is not quiet.[(triple7)] @1: Bob is not white.[(((triple3 triple2) -> rule3))] Harry is furry.[(((triple6) -> rule2))] Harry is young.[(((triple6) -> rule1))]