Anne is young. Bob is rough. Fiona is not green. Gary is young. All quiet, round people are kind. All quiet people are not kind. All green people are kind. If Bob is young then Bob is not rough. All green, round people are not rough. All green people are not round. Kind people are round. If Gary is quiet and Gary is not young then Gary is kind.
Anne is not young.
@0: Anne is young.[(triple1)] Bob is rough.[(triple2)] Fiona is not green.[(triple3)] Gary is young.[(triple4)]