Anne is furry. Charlie is quiet. Fiona is cold. If Charlie is quiet then Charlie is white. All quiet people are furry. If someone is smart then they are not furry. If Charlie is cold then Charlie is quiet. If someone is furry and not quiet then they are nice. All furry people are nice.
Charlie is not nice.
@0: Anne is furry.[(triple1)] Charlie is quiet.[(triple2)] Fiona is cold.[(triple3)] @1: Anne is nice.[(((triple1) -> rule6))] Charlie is furry.[(((triple2) -> rule2))] Charlie is white.[(((triple2) -> rule1))] @2: Charlie is nice.[(((((triple2) -> rule2)) -> rule6))]