Bob is not green. Gary is kind. Harry is kind. If someone is quiet then they are furry. If someone is young then they are furry. All furry people are nice. If someone is nice and not big then they are quiet. If someone is kind then they are quiet. All furry, young people are not kind. If someone is furry then they are not green. If someone is nice and not big then they are green.
Gary is quiet.
@0: Bob is not green.[(triple1)] Gary is kind.[(triple2)] Harry is kind.[(triple3)] @1: Gary is quiet.[(((triple2) -> rule5))] Harry is quiet.[(((triple3) -> rule5))] @2: Gary is furry.[(((((triple2) -> rule5)) -> rule1))] Harry is furry.[(((((triple3) -> rule5)) -> rule1))] @3: Gary is nice.[(((((((triple2) -> rule5)) -> rule1)) -> rule3))] Gary is not green.[(((((((triple2) -> rule5)) -> rule1)) -> rule7))] Harry is nice.[(((((((triple3) -> rule5)) -> rule1)) -> rule3))] Harry is not green.[(((((((triple3) -> rule5)) -> rule1)) -> rule7))]