Bob is not cold. Bob is green. Bob is nice. Bob is red. Bob is not round. Bob is smart. Charlie is green. Charlie is nice. Erin is green. Erin is not nice. Erin is red. Erin is round. Erin is not smart. Gary is nice. Gary is red. Gary is not smart. All rough, cold people are round. If Gary is round and Gary is not red then Gary is rough. If someone is rough then they are not cold. If someone is round and not cold then they are not smart. If someone is green and not red then they are nice. If someone is red and cold then they are not nice. All cold, smart people are green. If someone is rough and not round then they are green.
Gary is not rough.
@0: Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is not cold.[(triple1)] Bob is not round.[(triple5)] Bob is red.[(triple4)] Bob is smart.[(triple6)] Charlie is green.[(triple7)] Charlie is nice.[(triple8)] Erin is green.[(triple9)] Erin is not nice.[(triple10)] Erin is not smart.[(triple13)] Erin is red.[(triple11)] Erin is round.[(triple12)] Gary is nice.[(triple14)] Gary is not smart.[(triple16)] Gary is red.[(triple15)]