もしあの休憩所が聞き取り易いとすればあの人的交流は抜き差しする
fact1: もしあの卒業生が圭達でないとするとあの休憩所は枯れ葉である fact2: もしあの休憩所は有り余るしさらに聞き取り易いなら国際癌研究機関だということはない fact3: もしも「あの卒業生は攻撃し易いけれどそれは枯れ葉でない」ということは間違いならその人的交流は抜き差しする fact4: あの休憩所は国際癌研究機関で加えて圭達である fact5: もし仮にあの休憩所が枯れ葉であるとしたらあの卒業生は聞き取り易い fact6: あの卒業生は抜き差ししない fact7: 「あの休憩所は国際癌研究機関であるけど抜き差ししない」ということは間違いである fact8: もし仮にあの休憩所が聞き取り易くないとすればあの卒業生は国際癌研究機関だ fact9: もしもあの休憩所は有り余らないならば「あの卒業生は攻撃し易いけど枯れ葉でない」ということは間違いだ fact10: あの休憩所は圭達であるしそれは枯れ葉である
void -> assump2: 以下のように仮定する。あの休憩所は有り余る; void -> assump1: 以下のように仮定する。あの休憩所は聞き取り易い; assump2 & assump1 -> int1: あの休憩所は有り余るし聞き取り易い; int1 & fact2 -> int2: 「あの休憩所は国際癌研究機関でない」ということは成り立つ; fact4 -> int3: あの休憩所は国際癌研究機関である; int2 & int3 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの休憩所は有り余らない; int5 & fact9 -> int6: 「あの卒業生は攻撃し易いけど枯れ葉でない」ということは誤りである; int6 & fact3 -> int7: その人的交流は抜き差しする; [assump1] & int7 -> hypothesis;
$facts$ = fact1: もしあの卒業生が圭達でないとするとあの休憩所は枯れ葉である fact2: もしあの休憩所は有り余るしさらに聞き取り易いなら国際癌研究機関だということはない fact3: もしも「あの卒業生は攻撃し易いけれどそれは枯れ葉でない」ということは間違いならその人的交流は抜き差しする fact4: あの休憩所は国際癌研究機関で加えて圭達である fact5: もし仮にあの休憩所が枯れ葉であるとしたらあの卒業生は聞き取り易い fact6: あの卒業生は抜き差ししない fact7: 「あの休憩所は国際癌研究機関であるけど抜き差ししない」ということは間違いである fact8: もし仮にあの休憩所が聞き取り易くないとすればあの卒業生は国際癌研究機関だ fact9: もしもあの休憩所は有り余らないならば「あの卒業生は攻撃し易いけど枯れ葉でない」ということは間違いだ fact10: あの休憩所は圭達であるしそれは枯れ葉である ; $hypothesis$ = もしあの休憩所が聞き取り易いとすればあの人的交流は抜き差しする ; $proof$ = 
void -> assump2: 以下のように仮定する。あの休憩所は有り余る; void -> assump1: 以下のように仮定する。あの休憩所は聞き取り易い; assump2 & assump1 -> int1: あの休憩所は有り余るし聞き取り易い; int1 & fact2 -> int2: 「あの休憩所は国際癌研究機関でない」ということは成り立つ; fact4 -> int3: あの休憩所は国際癌研究機関である; int2 & int3 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの休憩所は有り余らない; int5 & fact9 -> int6: 「あの卒業生は攻撃し易いけど枯れ葉でない」ということは誤りである; int6 & fact3 -> int7: その人的交流は抜き差しする; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしあの卒業生が圭達でないとするとあの休憩所は枯れ葉である
事実2: もしあの休憩所は有り余るしさらに聞き取り易いなら国際癌研究機関だということはない
事実3: もしも「あの卒業生は攻撃し易いけれどそれは枯れ葉でない」ということは間違いならその人的交流は抜き差しする
事実4: あの休憩所は国際癌研究機関で加えて圭達である
事実5: もし仮にあの休憩所が枯れ葉であるとしたらあの卒業生は聞き取り易い
事実6: あの卒業生は抜き差ししない
事実7: 「あの休憩所は国際癌研究機関であるけど抜き差ししない」ということは間違いである
事実8: もし仮にあの休憩所が聞き取り易くないとすればあの卒業生は国際癌研究機関だ
事実9: もしもあの休憩所は有り余らないならば「あの卒業生は攻撃し易いけど枯れ葉でない」ということは間違いだ
事実10: あの休憩所は圭達であるしそれは枯れ葉である

仮説: もしあの休憩所が聞き取り易いとすればあの人的交流は抜き差しする
1. 仮定2: 以下のように仮定する。あの休憩所は有り余る
2. 仮定1: 以下のように仮定する。あの休憩所は聞き取り易い
3. 仮定2と仮定1から、推論1: "あの休憩所は有り余るし聞き取り易い"が導かれる
4. 推論1と事実2から、推論2: "「あの休憩所は国際癌研究機関でない」ということは成り立つ"が導かれる
5. 事実4から、推論3: "あの休憩所は国際癌研究機関である"が導かれる
6. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "あの休憩所は有り余らない"が導かれる
8. 推論5と事実9から、推論6: "「あの卒業生は攻撃し易いけど枯れ葉でない」ということは誤りである"が導かれる
9. 推論6と事実3から、推論7: "その人的交流は抜き差しする"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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