Anne is round. Dave is kind. Erin is nice. Gary is round. If Anne is kind then Anne is white. If something is furry and not round then it is not nice. If something is blue then it is nice. If something is red then it is white. White things are not furry. All round things are kind.
Anne is not furry.
@0: Anne is round.[(triple1)] Dave is kind.[(triple2)] Erin is nice.[(triple3)] Gary is round.[(triple4)] @1: Anne is kind.[(((triple1) -> rule6))] Gary is kind.[(((triple4) -> rule6))] @2: Anne is white.[(((((triple1) -> rule6)) -> rule1))] @3: Anne is not furry.[(((((((triple1) -> rule6)) -> rule1)) -> rule5))]