Anne is big. Anne is not red. Anne is rough. Charlie is big. Charlie is quiet. Charlie is red. Charlie is not rough. Harry is not big. Harry is cold. Harry is red. Harry is rough. Harry is not white. Smart things are not cold. If Harry is white then Harry is cold.
Harry is not red.
@0: Anne is big.[(triple1)] Anne is not red.[(triple2)] Anne is rough.[(triple3)] Charlie is big.[(triple4)] Charlie is not rough.[(triple7)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Harry is cold.[(triple9)] Harry is not big.[(triple8)] Harry is not white.[(triple12)] Harry is red.[(triple10)] Harry is rough.[(triple11)]