Anne is not furry. Bob is kind. Erin is not furry. Gary is kind. If Erin is young then Erin is not kind. All furry people are not green. If Anne is not cold then Anne is young. All furry, young people are not quiet. Kind people are furry. Smart, quiet people are not kind.
Bob is kind.
@0: Anne is not furry.[(triple1)] Bob is kind.[(triple2)] Erin is not furry.[(triple3)] Gary is kind.[(triple4)] @1: Bob is furry.[(((triple2) -> rule5))] Gary is furry.[(((triple4) -> rule5))] @2: Bob is not green.[(((((triple2) -> rule5)) -> rule2))] Gary is not green.[(((((triple4) -> rule5)) -> rule2))]