Anne is nice. Fiona is rough. Fiona is white. If someone is rough then they are nice. Rough people are nice. If someone is nice then they are not round. All rough, round people are not furry. If Anne is not rough and Anne is not white then Anne is green. If Fiona is nice and Fiona is not round then Fiona is not furry.
Anne is not furry.
@0: Anne is nice.[(triple1)] Fiona is rough.[(triple2)] Fiona is white.[(triple3)] @1: Anne is not round.[(((triple1) -> rule3))] Fiona is nice.[(((triple2) -> rule1) OR ((triple2) -> rule2))] @2: Fiona is not round.[(((((triple2) -> rule1)) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] @3: Fiona is not furry.[(((((triple2) -> rule1) ((((triple2) -> rule1)) -> rule3)) -> rule6) OR ((((triple2) -> rule1) ((((triple2) -> rule2)) -> rule3)) -> rule6) OR ((((triple2) -> rule2) ((((triple2) -> rule1)) -> rule3)) -> rule6) OR ((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule3)) -> rule6))]