Bob is not quiet. Charlie is not nice. Erin is not cold. Harry is cold. If Bob is quiet then Bob is not furry. Cold people are round. If someone is nice and not quiet then they are round. If someone is rough and not nice then they are not furry. All cold, round people are furry. If Harry is kind then Harry is round.
Bob is not quiet.
@0: Bob is not quiet.[(triple1)] Charlie is not nice.[(triple2)] Erin is not cold.[(triple3)] Harry is cold.[(triple4)] @1: Harry is round.[(((triple4) -> rule2))] @2: Harry is furry.[(((triple4 ((triple4) -> rule2)) -> rule5))]