Charlie is furry. If someone is cold and not round then they are not furry. Round, cold people are nice. All furry people are not young. If Charlie is not white and Charlie is not cold then Charlie is not furry. If someone is young and furry then they are quiet. If Charlie is not young then Charlie is not nice.
Charlie is not nice.
@0: Charlie is furry.[(triple1)] @1: Charlie is not young.[(((triple1) -> rule3))] @2: Charlie is not nice.[(((((triple1) -> rule3)) -> rule6))]