Charlie is not blue. Charlie is cold. Charlie is red. Charlie is round. Charlie is not white. Dave is not red. Dave is round. Fiona is cold. Fiona is round. Fiona is white. Harry is not blue. Harry is cold. Harry is quiet. Harry is red. Harry is round. Harry is white. If something is quiet then it is white.
Dave is not round.
@0: Charlie is cold.[(triple2)] Charlie is not blue.[(triple1)] Charlie is not white.[(triple5)] Charlie is red.[(triple3)] Charlie is round.[(triple4)] Dave is not red.[(triple6)] Dave is round.[(triple7)] Fiona is cold.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10)] Harry is cold.[(triple12)] Harry is not blue.[(triple11)] Harry is quiet.[(triple13)] Harry is red.[(triple14)] Harry is round.[(triple15)] Harry is white.[(triple16 OR ((triple13) -> rule1))]