Bob is furry. Dave is blue. Gary is quiet. Harry is white. All white, rough people are kind. If someone is white then they are furry. Blue, kind people are nice. Kind people are furry. All white people are rough. Furry, nice people are kind. If Gary is kind and Gary is nice then Gary is white. Nice, kind people are rough.
Dave is not kind.
@0: Bob is furry.[(triple1)] Dave is blue.[(triple2)] Gary is quiet.[(triple3)] Harry is white.[(triple4)] @1: Harry is furry.[(((triple4) -> rule2) OR ((((triple4 ((triple4) -> rule5)) -> rule1)) -> rule4))] Harry is rough.[(((triple4) -> rule5))] @2: Harry is kind.[(((triple4 ((triple4) -> rule5)) -> rule1))]