Anne is round. Bob is green. Fiona is round. Gary is quiet. If Bob is kind and Bob is nice then Bob is green. Nice people are round. If Anne is kind then Anne is red. All round people are white. All white, kind people are red. If Gary is quiet then Gary is nice.
Bob is not red.
@0: Anne is round.[(triple1)] Bob is green.[(triple2)] Fiona is round.[(triple3)] Gary is quiet.[(triple4)] @1: Anne is white.[(((triple1) -> rule4))] Fiona is white.[(((triple3) -> rule4))] Gary is nice.[(((triple4) -> rule6))] @2: Gary is round.[(((((triple4) -> rule6)) -> rule2))] @3: Gary is white.[(((((((triple4) -> rule6)) -> rule2)) -> rule4))]