Anne is big. Dave is kind. Dave is quiet. Dave is red. Dave is smart. Fiona is kind. Fiona is white. Harry is big. Harry is kind. Harry is quiet. Harry is red. Harry is white. If Anne is red then Anne is white. If Harry is smart and Harry is white then Harry is red. If Anne is quiet then Anne is green.
Harry is not red.
@0: Anne is big.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is smart.[(triple5)] Fiona is kind.[(triple6)] Fiona is white.[(triple7)] Harry is big.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11)] Harry is white.[(triple12)]