この敵中は物狂おしくない
fact1: 仮に「なにかは物狂おしいししかも生育環境である」ということは誤りならばそれは物狂おしくない fact2: もし「あの数多は曇り無しないけど快勝する」ということは成り立たないとしたらあのツ反応はベイジルでない fact3: なにがしかのものは生育環境であるならば「「曇り無しないがしかし快勝する」ということは事実である」ということは間違っている fact4: もし仮にあの数多が快勝しないとすればあのツ反応はベイジルでない fact5: 「あの数多は生育環境でない」ということは本当だとするとこの敵中は物狂おしい fact6: あのツ反応はベイジルだ fact7: もしも「何かはベイジルでないけどそれは物狂おしい」ということは事実と異なるとするとそれは物狂おしくない
fact3 -> int1: もし仮にあの数多は生育環境であるとすると「曇り無しないがしかし快勝する」ということは成り立たない; void -> assump1: 以下のように仮定する。あの数多は生育環境である; int1 & assump1 -> int2: 「あの数多は曇り無しないけれどそれは快勝する」ということは誤りだ; int2 & fact2 -> int3: あのツ反応はベイジルでない; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの数多は生育環境でない; int5 & fact5 -> hypothesis;
この敵中は物狂おしくない
fact8 -> int6: もしも「この敵中はベイジルでないがそれは物狂おしい」ということは偽であるならそれは物狂おしいということはない;
$facts$ = fact1: 仮に「なにかは物狂おしいししかも生育環境である」ということは誤りならばそれは物狂おしくない fact2: もし「あの数多は曇り無しないけど快勝する」ということは成り立たないとしたらあのツ反応はベイジルでない fact3: なにがしかのものは生育環境であるならば「「曇り無しないがしかし快勝する」ということは事実である」ということは間違っている fact4: もし仮にあの数多が快勝しないとすればあのツ反応はベイジルでない fact5: 「あの数多は生育環境でない」ということは本当だとするとこの敵中は物狂おしい fact6: あのツ反応はベイジルだ fact7: もしも「何かはベイジルでないけどそれは物狂おしい」ということは事実と異なるとするとそれは物狂おしくない ; $hypothesis$ = この敵中は物狂おしくない ; $proof$ = 
fact3 -> int1: もし仮にあの数多は生育環境であるとすると「曇り無しないがしかし快勝する」ということは成り立たない; void -> assump1: 以下のように仮定する。あの数多は生育環境である; int1 & assump1 -> int2: 「あの数多は曇り無しないけれどそれは快勝する」ということは誤りだ; int2 & fact2 -> int3: あのツ反応はベイジルでない; int3 & fact6 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの数多は生育環境でない; int5 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮に「なにかは物狂おしいししかも生育環境である」ということは誤りならばそれは物狂おしくない
事実2: もし「あの数多は曇り無しないけど快勝する」ということは成り立たないとしたらあのツ反応はベイジルでない
事実3: なにがしかのものは生育環境であるならば「「曇り無しないがしかし快勝する」ということは事実である」ということは間違っている
事実4: もし仮にあの数多が快勝しないとすればあのツ反応はベイジルでない
事実5: 「あの数多は生育環境でない」ということは本当だとするとこの敵中は物狂おしい
事実6: あのツ反応はベイジルだ
事実7: もしも「何かはベイジルでないけどそれは物狂おしい」ということは事実と異なるとするとそれは物狂おしくない

仮説: この敵中は物狂おしくない
1. 事実3から、推論1: "もし仮にあの数多は生育環境であるとすると「曇り無しないがしかし快勝する」ということは成り立たない"が導かれる
2. 仮定1: 以下のように仮定する。あの数多は生育環境である
3. 推論1と仮定1から、推論2: "「あの数多は曇り無しないけれどそれは快勝する」ということは誤りだ"が導かれる
4. 推論2と事実2から、推論3: "あのツ反応はベイジルでない"が導かれる
5. 推論3と事実6から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの数多は生育環境でない"が導かれる
7. 推論5と事実5から、仮説が否定される

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