Dave is cold. Dave is not green. Dave is quiet. Dave is smart. Dave is not white. Fiona is blue. Fiona is cold. Fiona is not green. Fiona is quiet. Fiona is smart. Fiona is not white. Fiona is young. All young people are blue. All green, cold people are blue. Smart people are not white. If Fiona is cold then Fiona is not white. If someone is cold then they are smart. If Dave is smart and Dave is green then Dave is white.
Fiona is quiet.
@0: Dave is cold.[(triple1)] Dave is not green.[(triple2)] Dave is not white.[(triple5 OR ((triple4) -> rule3) OR ((((triple1) -> rule5)) -> rule3))] Dave is quiet.[(triple3)] Dave is smart.[(triple4 OR ((triple1) -> rule5))] Fiona is blue.[(triple6 OR ((triple12) -> rule1))] Fiona is cold.[(triple7)] Fiona is not green.[(triple8)] Fiona is not white.[(triple11 OR ((triple10) -> rule3) OR ((triple7) -> rule4) OR ((((triple7) -> rule5)) -> rule3))] Fiona is quiet.[(triple9)] Fiona is smart.[(triple10 OR ((triple7) -> rule5))] Fiona is young.[(triple12)]