「あの四十人以上はフォースであるなら「「あの相手部品企業は寒々しかない」ということは事実だ」ということは成り立たない」ということは嘘である
fact1: もしなんらかの物が隠し込むかもしくはそれは寒々しかないかまたはどちらもであるならばフォースだ fact2: もしあの四十人以上が野生化するとしたら隠し込む fact3: あの相手部品企業は実践するかもしくはそれは野生化するかまたは両方である fact4: もしあの四十人以上が隠し込むかもしくは実践しないならばそれはフォースである fact5: 仮に何かは野生化しないなら寒々しい fact6: なにがしかの物が寒々しいかまたは隠し込まないかあるいは両方ともならフォースだ fact7: もし仮にあの四十人以上が隠し込むとしたらあの相手部品企業は実践するかまたは野生化するかあるいは両方ともだ fact8: 「あの四十人以上は寒々しい」ということは正しい fact9: あの相手部品企業が実践するかあるいはそれは隠し込まないかあるいは両方ともであるならそれはフォースだ fact10: その落水地点は野生化する fact11: あの相手部品企業が遠いとすればそれは構え易い fact12: もしあの相手部品企業がフォースであるとするとあの四十人以上は寒々しい fact13: もしあの四十人以上はフォースであるとすると隠し込む fact14: この集団規範はフォースである fact15: もしあの四十人以上が隠し込むならばあの相手部品企業は実践するかあるいは野生化するということはないかあるいは両方だ fact16: もし仮になにかは実践するかもしくは野生化しないなら「寒々しい」ということは本当だ fact17: 仮になにがしかのものが隠し込むとしたら実践する fact18: あの相手部品企業は厭わしい fact19: あの相手部品企業はフォースだ fact20: もしなにがしかのものは隠し込むかあるいはフォースでないとすると野生化する fact21: あの四十人以上が寒々しいならばあの相手部品企業は実践するかもしくは隠し込まない fact22: もし仮にあの相手部品企業が野生化しないとしたら寒々しい
void -> assump1: 以下のように仮定する。あの四十人以上はフォースである; fact13 & assump1 -> int1: あの四十人以上は隠し込む; int1 & fact15 -> int2: あの相手部品企業は実践するかもしくは野生化しないか両方だ; fact16 -> int3: 仮にあの相手部品企業が実践するかあるいは野生化するということはないかあるいは両方ともだとすれば寒々しい; int2 & int3 -> int4: あの相手部品企業は寒々しい; [assump1] & int4 -> hypothesis;
$facts$ = fact1: もしなんらかの物が隠し込むかもしくはそれは寒々しかないかまたはどちらもであるならばフォースだ fact2: もしあの四十人以上が野生化するとしたら隠し込む fact3: あの相手部品企業は実践するかもしくはそれは野生化するかまたは両方である fact4: もしあの四十人以上が隠し込むかもしくは実践しないならばそれはフォースである fact5: 仮に何かは野生化しないなら寒々しい fact6: なにがしかの物が寒々しいかまたは隠し込まないかあるいは両方ともならフォースだ fact7: もし仮にあの四十人以上が隠し込むとしたらあの相手部品企業は実践するかまたは野生化するかあるいは両方ともだ fact8: 「あの四十人以上は寒々しい」ということは正しい fact9: あの相手部品企業が実践するかあるいはそれは隠し込まないかあるいは両方ともであるならそれはフォースだ fact10: その落水地点は野生化する fact11: あの相手部品企業が遠いとすればそれは構え易い fact12: もしあの相手部品企業がフォースであるとするとあの四十人以上は寒々しい fact13: もしあの四十人以上はフォースであるとすると隠し込む fact14: この集団規範はフォースである fact15: もしあの四十人以上が隠し込むならばあの相手部品企業は実践するかあるいは野生化するということはないかあるいは両方だ fact16: もし仮になにかは実践するかもしくは野生化しないなら「寒々しい」ということは本当だ fact17: 仮になにがしかのものが隠し込むとしたら実践する fact18: あの相手部品企業は厭わしい fact19: あの相手部品企業はフォースだ fact20: もしなにがしかのものは隠し込むかあるいはフォースでないとすると野生化する fact21: あの四十人以上が寒々しいならばあの相手部品企業は実践するかもしくは隠し込まない fact22: もし仮にあの相手部品企業が野生化しないとしたら寒々しい ; $hypothesis$ = 「あの四十人以上はフォースであるなら「「あの相手部品企業は寒々しかない」ということは事実だ」ということは成り立たない」ということは嘘である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの四十人以上はフォースである; fact13 & assump1 -> int1: あの四十人以上は隠し込む; int1 & fact15 -> int2: あの相手部品企業は実践するかもしくは野生化しないか両方だ; fact16 -> int3: 仮にあの相手部品企業が実践するかあるいは野生化するということはないかあるいは両方ともだとすれば寒々しい; int2 & int3 -> int4: あの相手部品企業は寒々しい; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしなんらかの物が隠し込むかもしくはそれは寒々しかないかまたはどちらもであるならばフォースだ
事実2: もしあの四十人以上が野生化するとしたら隠し込む
事実3: あの相手部品企業は実践するかもしくはそれは野生化するかまたは両方である
事実4: もしあの四十人以上が隠し込むかもしくは実践しないならばそれはフォースである
事実5: 仮に何かは野生化しないなら寒々しい
事実6: なにがしかの物が寒々しいかまたは隠し込まないかあるいは両方ともならフォースだ
事実7: もし仮にあの四十人以上が隠し込むとしたらあの相手部品企業は実践するかまたは野生化するかあるいは両方ともだ
事実8: 「あの四十人以上は寒々しい」ということは正しい
事実9: あの相手部品企業が実践するかあるいはそれは隠し込まないかあるいは両方ともであるならそれはフォースだ
事実10: その落水地点は野生化する
事実11: あの相手部品企業が遠いとすればそれは構え易い
事実12: もしあの相手部品企業がフォースであるとするとあの四十人以上は寒々しい
事実13: もしあの四十人以上はフォースであるとすると隠し込む
事実14: この集団規範はフォースである
事実15: もしあの四十人以上が隠し込むならばあの相手部品企業は実践するかあるいは野生化するということはないかあるいは両方だ
事実16: もし仮になにかは実践するかもしくは野生化しないなら「寒々しい」ということは本当だ
事実17: 仮になにがしかのものが隠し込むとしたら実践する
事実18: あの相手部品企業は厭わしい
事実19: あの相手部品企業はフォースだ
事実20: もしなにがしかのものは隠し込むかあるいはフォースでないとすると野生化する
事実21: あの四十人以上が寒々しいならばあの相手部品企業は実践するかもしくは隠し込まない
事実22: もし仮にあの相手部品企業が野生化しないとしたら寒々しい

仮説: 「あの四十人以上はフォースであるなら「「あの相手部品企業は寒々しかない」ということは事実だ」ということは成り立たない」ということは嘘である
1. 仮定1: 以下のように仮定する。あの四十人以上はフォースである
2. 事実13と仮定1から、推論1: "あの四十人以上は隠し込む"が導かれる
3. 推論1と事実15から、推論2: "あの相手部品企業は実践するかもしくは野生化しないか両方だ"が導かれる
4. 事実16から、推論3: "仮にあの相手部品企業が実践するかあるいは野生化するということはないかあるいは両方ともだとすれば寒々しい"が導かれる
5. 推論2と推論3から、推論4: "あの相手部品企業は寒々しい"が導かれる
6. [仮定1]と推論4から、仮説が否定される

よって、仮説が否定されました。