Charlie is rough. If someone is round then they are kind. If Charlie is rough then Charlie is kind. Nice people are quiet. If someone is kind then they are furry. If someone is quiet and not nice then they are furry. If someone is quiet and not kind then they are not furry. Kind, furry people are not cold. Rough, nice people are cold.
Charlie is not quiet.
@0: Charlie is rough.[(triple1)] @1: Charlie is kind.[(((triple1) -> rule2))] @2: Charlie is furry.[(((((triple1) -> rule2)) -> rule4))] @3: Charlie is not cold.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule4)) -> rule7))]