Anne is green. Bob is not white. Dave is young. Fiona is smart. If Dave is green and Dave is not white then Dave is not young. All blue things are nice. Smart things are blue. All nice, white things are green. If Bob is blue and Bob is not smart then Bob is white. If something is green and not blue then it is red.
Fiona is not white.
@0: Anne is green.[(triple1)] Bob is not white.[(triple2)] Dave is young.[(triple3)] Fiona is smart.[(triple4)] @1: Fiona is blue.[(((triple4) -> rule3))] @2: Fiona is nice.[(((((triple4) -> rule3)) -> rule2))]