Charlie is blue. Erin is not nice. Gary is not big. Gary is blue. Gary is rough. Harry is not blue. Harry is smart. Blue, quiet people are green. Quiet people are big. If someone is nice and rough then they are big. If Harry is rough then Harry is smart. If someone is quiet and not rough then they are nice. Rough, green people are quiet.
Gary is not big.
@0: Charlie is blue.[(triple1)] Erin is not nice.[(triple2)] Gary is blue.[(triple4)] Gary is not big.[(triple3)] Gary is rough.[(triple5)] Harry is not blue.[(triple6)] Harry is smart.[(triple7)]