Anne is kind. Bob is kind. Bob is nice. Charlie is white. Fiona is blue. Fiona is kind. Fiona is round. All quiet, blue people are round. All nice, red people are kind. Red people are round. All white, red people are blue. All round people are red. If Fiona is blue and Fiona is white then Fiona is red.
Anne is not blue.
@0: Anne is kind.[(triple1)] Bob is kind.[(triple2)] Bob is nice.[(triple3)] Charlie is white.[(triple4)] Fiona is blue.[(triple5)] Fiona is kind.[(triple6)] Fiona is round.[(triple7)] @1: Fiona is red.[(((triple7) -> rule5))]