「この弾性はココア豆だということはないかあるいは降だということはないかまたはどちらもである」ということは間違っている
fact1: もし仮に「あの同期生は粒子集団であるかもしくはそれは蠢くかもしくは両方だ」ということは誤っているとするとこの弾性は粒子集団でない fact2: もし仮にこの弾性が降でないとしたらそのＡＤＤメソッドはエア針だ fact3: 「そのＡＤＤメソッドは危急である」ということは本当だ fact4: もしこの弾性がエア針でないとすればココア豆だということはないかあるいは降でないかまたはどちらもだ fact5: もし仮に「あのウィスキーは割れ易いしまたネットする」ということは成り立たないとするとそれはネットしない fact6: そのＡＤＤメソッドが粒子集団であるしさらにそれは危急ならば「エア針だということはない」ということは本当である fact7: もし仮に「危急でない」ものはあれば「あの自動拳銃はエア針であるかもしくはそれはココア豆でないかあるいは両方ともである」ということは事実と異なる fact8: ある物は履行しないなら「粒子集団であるかまたはそれは蠢くか両方ともである」ということは成り立たない fact9: もし「とあるものはエア針であるかもしくはそれはココア豆でないかあるいは両方だ」ということは事実と異なるならそれは降でない fact10: 仮になにがしかの物が歳月だということはないとすると千九百六十年代であるということはなくておまけにそれは思い過ぎる fact11: もしもあるものは蠢くなら「粒子集団でない一方で危急である」ということは成り立たない fact12: 仮にとある物は千九百六十年代でないけれど思い過ぎるとしたらそれは履行するということはない fact13: なんらかのものが御祝い申し上げるということはないとするとＣ国でおまけに演奏し始める fact14: 「「そのＡＤＤメソッドは歳月でないがしかし味気ない」ということは嘘だ」ということは真実であるとしたらあの同期生は歳月でない fact15: そのＡＤＤメソッドが粒子集団だしおまけに危急である fact16: 仮にこの弾性は粒子集団でないならばそれは危急でない fact17: もし仮にあるものはＣ国だとすれば「それは歳月でないけど味気ない」ということは偽である fact18: あのウィスキーはどでかくない fact19: もし仮にそのＡＤＤメソッドが粒子集団だしさらにそれはエア針であるならそれは降でない fact20: 仮に「この弾性はココア豆でない」ということは成り立つとしたらそのＡＤＤメソッドはエア針である fact21: 仮にあのウィスキーがネットしないとすればこの軍将校はネットしない fact22: もしもあのウィスキーはどでかくないとすれば「それは割れ易いしその上ネットする」ということは成り立たない fact23: もし仮に「この軍将校はネットしない」ということは成り立つとすればそのＡＤＤメソッドは御祝い申し上げない fact24: この弾性は危急でない
void -> assump1: 以下のように仮定する。この弾性はココア豆でないかまたは降でないかあるいは両方ともだ; assump1 & fact20 & fact2 -> int1: そのＡＤＤメソッドはエア針だ; fact6 & fact15 -> int2: そのＡＤＤメソッドはエア針でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
あの自動拳銃は降でない
fact32 -> int4: もし仮に「あの自動拳銃はエア針であるかあるいはココア豆でない」ということは成り立たないとするとそれは降だということはない; fact30 -> int5: もしあの同期生は履行するということはないとすれば「粒子集団であるかもしくはそれは蠢くかあるいは両方ともだ」ということは成り立たない; fact34 -> int6: もし仮にあの同期生が千九百六十年代でないけどそれが思い過ぎるとしたら履行しない; fact29 -> int7: もしもあの同期生が歳月でないとすればそれは千九百六十年代でないが思い過ぎる; fact36 -> int8: もし仮にそのＡＤＤメソッドはＣ国であるとすると「歳月でなくてそれに味気ない」ということは成り立たない; fact35 -> int9: もし仮にそのＡＤＤメソッドが御祝い申し上げるということはないならばＣ国であるし演奏し始める; fact37 & fact25 -> int10: 「あのウィスキーは割れ易くてかつネットする」ということは誤っている; fact27 & int10 -> int11: あのウィスキーはネットしない; fact26 & int11 -> int12: この軍将校はネットしない; fact33 & int12 -> int13: そのＡＤＤメソッドは御祝い申し上げない; int9 & int13 -> int14: 「そのＡＤＤメソッドはＣ国でおまけに演奏し始める」ということは成り立つ; int14 -> int15: そのＡＤＤメソッドはＣ国だ; int8 & int15 -> int16: 「そのＡＤＤメソッドは歳月だということはないけど味気ない」ということは成り立たない; fact39 & int16 -> int17: あの同期生は歳月でない; int7 & int17 -> int18: あの同期生は千九百六十年代でないが思い過ぎる; int6 & int18 -> int19: あの同期生は履行しない; int5 & int19 -> int20: 「あの同期生は粒子集団であるかまたはそれは蠢くかもしくは両方である」ということは嘘だ; fact38 & int20 -> int21: この弾性は粒子集団でない; fact28 & int21 -> int22: この弾性は危急でない; int22 -> int23: 「危急でない」物はある; int23 & fact31 -> int24: 「あの自動拳銃はエア針であるかそれはココア豆でないかあるいは両方だ」ということは成り立たない; int4 & int24 -> hypothesis;
$facts$ = fact1: もし仮に「あの同期生は粒子集団であるかもしくはそれは蠢くかもしくは両方だ」ということは誤っているとするとこの弾性は粒子集団でない fact2: もし仮にこの弾性が降でないとしたらそのＡＤＤメソッドはエア針だ fact3: 「そのＡＤＤメソッドは危急である」ということは本当だ fact4: もしこの弾性がエア針でないとすればココア豆だということはないかあるいは降でないかまたはどちらもだ fact5: もし仮に「あのウィスキーは割れ易いしまたネットする」ということは成り立たないとするとそれはネットしない fact6: そのＡＤＤメソッドが粒子集団であるしさらにそれは危急ならば「エア針だということはない」ということは本当である fact7: もし仮に「危急でない」ものはあれば「あの自動拳銃はエア針であるかもしくはそれはココア豆でないかあるいは両方ともである」ということは事実と異なる fact8: ある物は履行しないなら「粒子集団であるかまたはそれは蠢くか両方ともである」ということは成り立たない fact9: もし「とあるものはエア針であるかもしくはそれはココア豆でないかあるいは両方だ」ということは事実と異なるならそれは降でない fact10: 仮になにがしかの物が歳月だということはないとすると千九百六十年代であるということはなくておまけにそれは思い過ぎる fact11: もしもあるものは蠢くなら「粒子集団でない一方で危急である」ということは成り立たない fact12: 仮にとある物は千九百六十年代でないけれど思い過ぎるとしたらそれは履行するということはない fact13: なんらかのものが御祝い申し上げるということはないとするとＣ国でおまけに演奏し始める fact14: 「「そのＡＤＤメソッドは歳月でないがしかし味気ない」ということは嘘だ」ということは真実であるとしたらあの同期生は歳月でない fact15: そのＡＤＤメソッドが粒子集団だしおまけに危急である fact16: 仮にこの弾性は粒子集団でないならばそれは危急でない fact17: もし仮にあるものはＣ国だとすれば「それは歳月でないけど味気ない」ということは偽である fact18: あのウィスキーはどでかくない fact19: もし仮にそのＡＤＤメソッドが粒子集団だしさらにそれはエア針であるならそれは降でない fact20: 仮に「この弾性はココア豆でない」ということは成り立つとしたらそのＡＤＤメソッドはエア針である fact21: 仮にあのウィスキーがネットしないとすればこの軍将校はネットしない fact22: もしもあのウィスキーはどでかくないとすれば「それは割れ易いしその上ネットする」ということは成り立たない fact23: もし仮に「この軍将校はネットしない」ということは成り立つとすればそのＡＤＤメソッドは御祝い申し上げない fact24: この弾性は危急でない ; $hypothesis$ = 「この弾性はココア豆だということはないかあるいは降だということはないかまたはどちらもである」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この弾性はココア豆でないかまたは降でないかあるいは両方ともだ; assump1 & fact20 & fact2 -> int1: そのＡＤＤメソッドはエア針だ; fact6 & fact15 -> int2: そのＡＤＤメソッドはエア針でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮に「あの同期生は粒子集団であるかもしくはそれは蠢くかもしくは両方だ」ということは誤っているとするとこの弾性は粒子集団でない
事実2: もし仮にこの弾性が降でないとしたらそのＡＤＤメソッドはエア針だ
事実3: 「そのＡＤＤメソッドは危急である」ということは本当だ
事実4: もしこの弾性がエア針でないとすればココア豆だということはないかあるいは降でないかまたはどちらもだ
事実5: もし仮に「あのウィスキーは割れ易いしまたネットする」ということは成り立たないとするとそれはネットしない
事実6: そのＡＤＤメソッドが粒子集団であるしさらにそれは危急ならば「エア針だということはない」ということは本当である
事実7: もし仮に「危急でない」ものはあれば「あの自動拳銃はエア針であるかもしくはそれはココア豆でないかあるいは両方ともである」ということは事実と異なる
事実8: ある物は履行しないなら「粒子集団であるかまたはそれは蠢くか両方ともである」ということは成り立たない
事実9: もし「とあるものはエア針であるかもしくはそれはココア豆でないかあるいは両方だ」ということは事実と異なるならそれは降でない
事実10: 仮になにがしかの物が歳月だということはないとすると千九百六十年代であるということはなくておまけにそれは思い過ぎる
事実11: もしもあるものは蠢くなら「粒子集団でない一方で危急である」ということは成り立たない
事実12: 仮にとある物は千九百六十年代でないけれど思い過ぎるとしたらそれは履行するということはない
事実13: なんらかのものが御祝い申し上げるということはないとするとＣ国でおまけに演奏し始める
事実14: 「「そのＡＤＤメソッドは歳月でないがしかし味気ない」ということは嘘だ」ということは真実であるとしたらあの同期生は歳月でない
事実15: そのＡＤＤメソッドが粒子集団だしおまけに危急である
事実16: 仮にこの弾性は粒子集団でないならばそれは危急でない
事実17: もし仮にあるものはＣ国だとすれば「それは歳月でないけど味気ない」ということは偽である
事実18: あのウィスキーはどでかくない
事実19: もし仮にそのＡＤＤメソッドが粒子集団だしさらにそれはエア針であるならそれは降でない
事実20: 仮に「この弾性はココア豆でない」ということは成り立つとしたらそのＡＤＤメソッドはエア針である
事実21: 仮にあのウィスキーがネットしないとすればこの軍将校はネットしない
事実22: もしもあのウィスキーはどでかくないとすれば「それは割れ易いしその上ネットする」ということは成り立たない
事実23: もし仮に「この軍将校はネットしない」ということは成り立つとすればそのＡＤＤメソッドは御祝い申し上げない
事実24: この弾性は危急でない

仮説: 「この弾性はココア豆だということはないかあるいは降だということはないかまたはどちらもである」ということは間違っている
1. 仮定1: 以下のように仮定する。この弾性はココア豆でないかまたは降でないかあるいは両方ともだ
2. 仮定1と事実20と事実2から、推論1: "そのＡＤＤメソッドはエア針だ"が導かれる
3. 事実6と事実15から、推論2: "そのＡＤＤメソッドはエア針でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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