「もし主行動サンプリングならサッカー籤でないししかも恙無いということはない」物はある
fact1: もしあのＤ内が恙無いなら国際レースでない fact2: 何かは主行動サンプリングであるとすればサッカー籤でないしその上恙無くない fact3: あのＤ内が主行動サンプリングだとすればサッカー籤だ一方で恙無くない fact4: もしあのＤ内がサッカー籤だとしたらそれはジンゲロンでないが色好い fact5: 「もし仮に主行動サンプリングならば恙無くない」物はある fact6: 「主行動サンプリングであるならばサッカー籤でない」物はある
fact2 -> int1: 仮に「あのＤ内は主行動サンプリングだ」ということは成り立つとするとサッカー籤でないし恙無くない; int1 -> hypothesis;
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしあのＤ内が恙無いなら国際レースでない fact2: 何かは主行動サンプリングであるとすればサッカー籤でないしその上恙無くない fact3: あのＤ内が主行動サンプリングだとすればサッカー籤だ一方で恙無くない fact4: もしあのＤ内がサッカー籤だとしたらそれはジンゲロンでないが色好い fact5: 「もし仮に主行動サンプリングならば恙無くない」物はある fact6: 「主行動サンプリングであるならばサッカー籤でない」物はある ; $hypothesis$ = 「もし主行動サンプリングならサッカー籤でないししかも恙無いということはない」物はある ; $proof$ = 
fact2 -> int1: 仮に「あのＤ内は主行動サンプリングだ」ということは成り立つとするとサッカー籤でないし恙無くない; int1 -> hypothesis; __PROVED__
事実1: もしあのＤ内が恙無いなら国際レースでない
事実2: 何かは主行動サンプリングであるとすればサッカー籤でないしその上恙無くない
事実3: あのＤ内が主行動サンプリングだとすればサッカー籤だ一方で恙無くない
事実4: もしあのＤ内がサッカー籤だとしたらそれはジンゲロンでないが色好い
事実5: 「もし仮に主行動サンプリングならば恙無くない」物はある
事実6: 「主行動サンプリングであるならばサッカー籤でない」物はある

仮説: 「もし主行動サンプリングならサッカー籤でないししかも恙無いということはない」物はある
1. 事実2から、推論1: "仮に「あのＤ内は主行動サンプリングだ」ということは成り立つとするとサッカー籤でないし恙無くない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。