Bob is furry. Dave is round. Gary is kind. Harry is big. If someone is blue then they are round. If Harry is quiet then Harry is young. Big people are not young. If someone is big then they are kind. If someone is blue and not big then they are kind. If Harry is kind then Harry is not quiet.
Gary is round.
@0: Bob is furry.[(triple1)] Dave is round.[(triple2)] Gary is kind.[(triple3)] Harry is big.[(triple4)] @1: Harry is kind.[(((triple4) -> rule4))] Harry is not young.[(((triple4) -> rule3))] @2: Harry is not quiet.[(((((triple4) -> rule4)) -> rule6))]