Erin is green. Erin is not rough. Gary is green. Gary is quiet. Gary is red. Gary is rough. Harry is quiet. Harry is red. Harry is round. Harry is white. If something is smart then it is green. If Gary is quiet and Gary is not round then Gary is not red.
Gary is red.
@0: Erin is green.[(triple1)] Erin is not rough.[(triple2)] Gary is green.[(triple3)] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Harry is quiet.[(triple7)] Harry is red.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10)]