Anne is kind. Anne is red. Anne is round. Anne is white. Fiona is blue. Fiona is smart. Fiona is white. If Fiona is white then Fiona is red. If Fiona is kind then Fiona is not round. If something is blue then it is kind. If something is smart and not white then it is green. All round things are green. If something is round and not red then it is smart. Red things are smart. Blue, white things are smart.
Anne is blue.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Fiona is blue.[(triple5)] Fiona is smart.[(triple6 OR ((triple5 triple7) -> rule8) OR ((((triple7) -> rule1)) -> rule7))] Fiona is white.[(triple7)] @1: Anne is green.[(((triple3) -> rule5))] Anne is smart.[(((triple2) -> rule7))] Fiona is kind.[(((triple5) -> rule3))] Fiona is red.[(((triple7) -> rule1))] @2: Fiona is not round.[(((((triple5) -> rule3)) -> rule2))]