Anne is rough. Charlie is red. Gary is round. Harry is blue. If Gary is red and Gary is rough then Gary is round. If Harry is rough then Harry is nice. If someone is nice then they are quiet. If someone is blue and rough then they are red. Smart, red people are round. If someone is red and round then they are rough. Smart, quiet people are red. All rough, nice people are red.
Charlie is red.
@0: Anne is rough.[(triple1)] Charlie is red.[(triple2)] Gary is round.[(triple3)] Harry is blue.[(triple4)]