Anne is white. Bob is nice. Dave is nice. Fiona is red. If Dave is nice then Dave is green. All quiet, red people are nice. If Bob is white and Bob is green then Bob is quiet. Cold, quiet people are red. White people are red. If someone is white and cold then they are red. White, nice people are red. All red people are green.
Fiona is nice.
@0: Anne is white.[(triple1)] Bob is nice.[(triple2)] Dave is nice.[(triple3)] Fiona is red.[(triple4)] @1: Anne is red.[(((triple1) -> rule5))] Dave is green.[(((triple3) -> rule1))] Fiona is green.[(((triple4) -> rule8))] @2: Anne is green.[(((((triple1) -> rule5)) -> rule8))]