Anne is white. Bob is red. Fiona is red. All nice, quiet things are green. If something is red and green then it is white. All green things are white. All white things are nice. If Fiona is cold and Fiona is red then Fiona is green. All smart, red things are nice. Red things are cold. If something is cold and red then it is nice.
Anne is not green.
@0: Anne is white.[(triple1)] Bob is red.[(triple2)] Fiona is red.[(triple3)] @1: Anne is nice.[(((triple1) -> rule4))] Bob is cold.[(((triple2) -> rule7))] Fiona is cold.[(((triple3) -> rule7))] @2: Bob is nice.[(((((triple2) -> rule7) triple2) -> rule8))] Fiona is green.[(((((triple3) -> rule7) triple3) -> rule5))] Fiona is nice.[(((((triple3) -> rule7) triple3) -> rule8) OR ((((((((triple3) -> rule7) triple3) -> rule5)) -> rule3)) -> rule4) OR ((((triple3 ((((triple3) -> rule7) triple3) -> rule5)) -> rule2)) -> rule4))] @3: Fiona is white.[(((((((triple3) -> rule7) triple3) -> rule5)) -> rule3) OR ((triple3 ((((triple3) -> rule7) triple3) -> rule5)) -> rule2))]