もし仮にそのＦＴＰコマンドが作文すればあの黒点は利用し始める
fact1: 仮に「あの蜘蛛膜下出血は少なくないし辛気臭くない」ということは成り立たないとすればこの懇話会は張り付ける fact2: 仮に何らかの物はイダントならば「少なくなくて辛気臭いということはない」ということは成り立たない fact3: もし仮にあの蜘蛛膜下出血が張り付けるならばあの懇話会はイダントだ fact4: もし仮に「この懇話会は張り付ける」ということは本当であるなら「あの黒点は利用し始める」ということは誤っていない fact5: 「もしあの蜘蛛膜下出血が辛気臭いとするとこの懇話会は張り付ける」ということは確かである fact6: 「もしそのＦＴＰコマンドが作文するとするとあの蜘蛛膜下出血はイダントだ」ということは間違っていない fact7: 仮にとあるものは作文しないとすれば「それはださくなくて張り付けない」ということは偽だ
void -> assump1: 以下のように仮定する。そのＦＴＰコマンドは作文する; fact6 & assump1 -> int1: あの蜘蛛膜下出血はイダントである; fact2 -> int2: もし仮にあの蜘蛛膜下出血はイダントだとすれば「少なくないしさらに辛気臭くない」ということは嘘だ; int1 & int2 -> int3: 「あの蜘蛛膜下出血は少ないということはないし辛気臭くない」ということは成り立つということはない; int3 & fact1 -> int4: この懇話会は張り付ける; int4 & fact4 -> int5: 「あの黒点は利用し始める」ということは間違いでない; [assump1] & int5 -> hypothesis;
「この帝国支配はださくないしそれは張り付けない」ということは成り立たない
fact8 -> int6: もし仮にこの帝国支配は作文しないならば「それはださくないしさらに張り付けるということはない」ということは嘘だ;
$facts$ = fact1: 仮に「あの蜘蛛膜下出血は少なくないし辛気臭くない」ということは成り立たないとすればこの懇話会は張り付ける fact2: 仮に何らかの物はイダントならば「少なくなくて辛気臭いということはない」ということは成り立たない fact3: もし仮にあの蜘蛛膜下出血が張り付けるならばあの懇話会はイダントだ fact4: もし仮に「この懇話会は張り付ける」ということは本当であるなら「あの黒点は利用し始める」ということは誤っていない fact5: 「もしあの蜘蛛膜下出血が辛気臭いとするとこの懇話会は張り付ける」ということは確かである fact6: 「もしそのＦＴＰコマンドが作文するとするとあの蜘蛛膜下出血はイダントだ」ということは間違っていない fact7: 仮にとあるものは作文しないとすれば「それはださくなくて張り付けない」ということは偽だ ; $hypothesis$ = もし仮にそのＦＴＰコマンドが作文すればあの黒点は利用し始める ; $proof$ = 
void -> assump1: 以下のように仮定する。そのＦＴＰコマンドは作文する; fact6 & assump1 -> int1: あの蜘蛛膜下出血はイダントである; fact2 -> int2: もし仮にあの蜘蛛膜下出血はイダントだとすれば「少なくないしさらに辛気臭くない」ということは嘘だ; int1 & int2 -> int3: 「あの蜘蛛膜下出血は少ないということはないし辛気臭くない」ということは成り立つということはない; int3 & fact1 -> int4: この懇話会は張り付ける; int4 & fact4 -> int5: 「あの黒点は利用し始める」ということは間違いでない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮に「あの蜘蛛膜下出血は少なくないし辛気臭くない」ということは成り立たないとすればこの懇話会は張り付ける
事実2: 仮に何らかの物はイダントならば「少なくなくて辛気臭いということはない」ということは成り立たない
事実3: もし仮にあの蜘蛛膜下出血が張り付けるならばあの懇話会はイダントだ
事実4: もし仮に「この懇話会は張り付ける」ということは本当であるなら「あの黒点は利用し始める」ということは誤っていない
事実5: 「もしあの蜘蛛膜下出血が辛気臭いとするとこの懇話会は張り付ける」ということは確かである
事実6: 「もしそのＦＴＰコマンドが作文するとするとあの蜘蛛膜下出血はイダントだ」ということは間違っていない
事実7: 仮にとあるものは作文しないとすれば「それはださくなくて張り付けない」ということは偽だ

仮説: もし仮にそのＦＴＰコマンドが作文すればあの黒点は利用し始める
1. 仮定1: 以下のように仮定する。そのＦＴＰコマンドは作文する
2. 事実6と仮定1から、推論1: "あの蜘蛛膜下出血はイダントである"が導かれる
3. 事実2から、推論2: "もし仮にあの蜘蛛膜下出血はイダントだとすれば「少なくないしさらに辛気臭くない」ということは嘘だ"が導かれる
4. 推論1と推論2から、推論3: "「あの蜘蛛膜下出血は少ないということはないし辛気臭くない」ということは成り立つということはない"が導かれる
5. 推論3と事実1から、推論4: "この懇話会は張り付ける"が導かれる
6. 推論4と事実4から、推論5: "「あの黒点は利用し始める」ということは間違いでない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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