Anne is furry. Erin is green. Blue things are quiet. All blue things are not quiet. If something is kind and green then it is white. If Anne is furry and Anne is not white then Anne is quiet. All green things are nice. If something is quiet then it is nice.
Anne is not furry.
@0: Anne is furry.[(triple1)] Erin is green.[(triple2)] @1: Erin is nice.[(((triple2) -> rule5))]