その知識労働者は複合グラフでない
fact1: 仮にあの御花畑が二相性でないしＮＡ百二十三Ｉだということはないとすればあの知識労働者は複合グラフである fact2: あの御花畑は二相性でないししかもそれはＮＡ百二十三Ｉでない
$facts$ = fact1: 仮にあの御花畑が二相性でないしＮＡ百二十三Ｉだということはないとすればあの知識労働者は複合グラフである fact2: あの御花畑は二相性でないししかもそれはＮＡ百二十三Ｉでない ; $hypothesis$ = その知識労働者は複合グラフでない ; $proof$ = 
事実1: 仮にあの御花畑が二相性でないしＮＡ百二十三Ｉだということはないとすればあの知識労働者は複合グラフである
事実2: あの御花畑は二相性でないししかもそれはＮＡ百二十三Ｉでない

仮説: その知識労働者は複合グラフでない