Anne is rough. Anne is round. Anne is smart. Anne is white. Bob is rough. Charlie is rough. Charlie is smart. Harry is nice. Harry is red. Harry is smart. If Charlie is white and Charlie is smart then Charlie is rough.
Bob is not red.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Bob is rough.[(triple5)] Charlie is rough.[(triple6)] Charlie is smart.[(triple7)] Harry is nice.[(triple8)] Harry is red.[(triple9)] Harry is smart.[(triple10)]