Anne is green. Anne is quiet. Charlie is not blue. Fiona is furry. Fiona is kind. Gary is blue. Gary is not kind. If Anne is green then Anne is not kind. All furry, round people are smart. If someone is kind then they are round.
Charlie is not blue.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2)] Charlie is not blue.[(triple3)] Fiona is furry.[(triple4)] Fiona is kind.[(triple5)] Gary is blue.[(triple6)] Gary is not kind.[(triple7)] @1: Anne is not kind.[(((triple1) -> rule1))] Fiona is round.[(((triple5) -> rule3))] @2: Fiona is smart.[(((triple4 ((triple5) -> rule3)) -> rule2))]