Anne is cold. Anne is green. Anne is rough. Bob is green. Charlie is cold. Charlie is red. Harry is quiet. Cold, round people are rough. If someone is smart then they are red. Smart people are red.
Charlie is not red.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3)] Bob is green.[(triple4)] Charlie is cold.[(triple5)] Charlie is red.[(triple6)] Harry is quiet.[(triple7)]