Anne is red. Charlie is white. Dave is cold. Fiona is smart. All white people are not smart. If Dave is white then Dave is not red. If Dave is cold then Dave is white. If Dave is not white then Dave is furry. Furry people are quiet. All furry people are quiet. All smart people are green. All furry, red people are not green.
Fiona is smart.
@0: Anne is red.[(triple1)] Charlie is white.[(triple2)] Dave is cold.[(triple3)] Fiona is smart.[(triple4)] @1: Charlie is not smart.[(((triple2) -> rule1))] Dave is white.[(((triple3) -> rule3))] Fiona is green.[(((triple4) -> rule7))] @2: Dave is not red.[(((((triple3) -> rule3)) -> rule2))] Dave is not smart.[(((((triple3) -> rule3)) -> rule1))]