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