Bob is rough. Charlie is rough. Gary is not kind. Blue people are not cold. All blue, rough people are not round. If someone is rough then they are not round. All green people are kind. Rough, round people are green. If someone is green then they are rough. If someone is kind then they are nice. If someone is green and not kind then they are not nice.
Gary is not nice.
@0: Bob is rough.[(triple1)] Charlie is rough.[(triple2)] Gary is not kind.[(triple3)] @1: Bob is not round.[(((triple1) -> rule3))] Charlie is not round.[(((triple2) -> rule3))]