Dave is green. Dave is red. Dave is round. Dave is young. Erin is green. Erin is red. Fiona is cold. Fiona is green. Fiona is not quiet. Fiona is not white. Harry is cold. Harry is not quiet. Harry is not red. Harry is not round. Harry is white. Harry is young. If Fiona is not green then Fiona is cold. All round things are cold. If Dave is red then Dave is round. If something is quiet and cold then it is white. If something is cold and not green then it is white. If something is quiet and not cold then it is not white.
Erin is not white.
@0: Dave is green.[(triple1)] Dave is red.[(triple2)] Dave is round.[(triple3 OR ((triple2) -> rule3))] Dave is young.[(triple4)] Erin is green.[(triple5)] Erin is red.[(triple6)] Fiona is cold.[(triple7)] Fiona is green.[(triple8)] Fiona is not quiet.[(triple9)] Fiona is not white.[(triple10)] Harry is cold.[(triple11)] Harry is not quiet.[(triple12)] Harry is not red.[(triple13)] Harry is not round.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Dave is cold.[(((triple3) -> rule2) OR ((((triple2) -> rule3)) -> rule2))]