Anne is blue. Anne is nice. Anne is white. Dave is round. Fiona is cold. Fiona is nice. Fiona is not white. If someone is round and not young then they are not cold. All young people are cold. All nice people are not furry. If Fiona is furry then Fiona is blue. All nice, young people are white. If someone is nice and not furry then they are blue.
Fiona is not furry.
@0: Anne is blue.[(triple1 OR ((triple2 ((triple2) -> rule3)) -> rule6))] Anne is nice.[(triple2)] Anne is white.[(triple3)] Dave is round.[(triple4)] Fiona is cold.[(triple5)] Fiona is nice.[(triple6)] Fiona is not white.[(triple7)] @1: Anne is not furry.[(((triple2) -> rule3))] Fiona is not furry.[(((triple6) -> rule3))] @2: Fiona is blue.[(((triple6 ((triple6) -> rule3)) -> rule6))]