Dave is big. Erin is not green. Gary is young. Harry is not young. If Harry is young and Harry is rough then Harry is nice. All young, rough people are not nice. Rough people are not kind. If someone is green and not nice then they are red. If someone is red and not kind then they are not big. If someone is nice and not green then they are big. Nice people are big. If someone is young and rough then they are not big.
Harry is not nice.
@0: Dave is big.[(triple1)] Erin is not green.[(triple2)] Gary is young.[(triple3)] Harry is not young.[(triple4)]