Anne is big. Anne is blue. Anne is cold. Anne is not green. Charlie is blue. Charlie is cold. Charlie is green. Charlie is kind. Charlie is quiet. Dave is not cold. Fiona is big. Fiona is not green. If Charlie is big then Charlie is quiet.
Dave is nice.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is not green.[(triple4)] Charlie is blue.[(triple5)] Charlie is cold.[(triple6)] Charlie is green.[(triple7)] Charlie is kind.[(triple8)] Charlie is quiet.[(triple9)] Dave is not cold.[(triple10)] Fiona is big.[(triple11)] Fiona is not green.[(triple12)]