Anne is rough. Anne is white. Anne is young. Charlie is cold. Charlie is quiet. Charlie is white. Charlie is young. Harry is nice. Harry is rough. Harry is young. If Charlie is young and Charlie is nice then Charlie is cold.
Anne is not blue.
@0: Anne is rough.[(triple1)] Anne is white.[(triple2)] Anne is young.[(triple3)] Charlie is cold.[(triple4)] Charlie is quiet.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Harry is nice.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10)]