Anne is green. Bob is green. Dave is kind. Fiona is quiet. Kind, round people are not white. If someone is green then they are white. If someone is quiet then they are green. Quiet, nice people are round. If someone is white then they are round. If Dave is red and Dave is not quiet then Dave is green.
Anne is not nice.
@0: Anne is green.[(triple1)] Bob is green.[(triple2)] Dave is kind.[(triple3)] Fiona is quiet.[(triple4)] @1: Anne is white.[(((triple1) -> rule2))] Bob is white.[(((triple2) -> rule2))] Fiona is green.[(((triple4) -> rule3))] @2: Anne is round.[(((((triple1) -> rule2)) -> rule5))] Bob is round.[(((((triple2) -> rule2)) -> rule5))] Fiona is white.[(((((triple4) -> rule3)) -> rule2))] @3: Fiona is round.[(((((((triple4) -> rule3)) -> rule2)) -> rule5))]