もしもそのプロテスタントが自書するとするとその最優先事項はデコレーションする
fact1: もし「そのトラック環礁は小隊特曹でない」ということは偽でないとすれば「あのリンパ節腫脹は全員集合だということはなくてしかも小隊特曹でない」ということは誤っている fact2: 仮に「あのリンパ節腫脹は全員集合でないし加えて少数意見でない」ということは間違っているとすればその最優先事項はデコレーションする fact3: 「あのリンパ節腫脹は少数意見であるけれどそれは全員集合でない」ということは成り立たない fact4: 仮にその最優先事項はデコレーションするということはないとしたら「そのプロテスタントは少数意見でないけどデコレーションする」ということは成り立たない fact5: 仮に「何らかのものは反響しない」ということは間違っていないとすると全員集合でまた疑い深い fact6: もしなんらかの物は自書するとすれば「それは余暇社会でなくてまた小隊特曹でない」ということは間違っている fact7: そのトラック環礁は小隊特曹だということはないとしたら「あのリンパ節腫脹は全員集合である一方で小隊特曹でない」ということは嘘である fact8: もしあの数値化は全員集合で更に疑い深いとすればそれはデコレーションしない fact9: そのプロテスタントが自書するししかも少数意見であるとしたらそのトラック環礁は小隊特曹でない fact10: 「あのリンパ節腫脹は全員集合だが小隊特曹でない」ということは誤りだ fact11: そのプロテスタントは少数意見である fact12: もしもあの数値化がデコレーションしないとすれば少数意見であるしそれは自書する fact13: もし「あのリンパ節腫脹は全員集合でなくてそれに小隊特曹でない」ということは本当でないとするとその最優先事項はデコレーションする
void -> assump1: 以下のように仮定する。「そのプロテスタントは自書する」ということは成り立つ; assump1 & fact11 -> int1: そのプロテスタントは自書するしまた少数意見だ; int1 & fact9 -> int2: そのトラック環礁は小隊特曹でない; int2 & fact1 -> int3: 「あのリンパ節腫脹は全員集合だということはないし更に小隊特曹でない」ということは成り立たない; int3 & fact13 -> int4: その最優先事項はデコレーションする; [assump1] & int4 -> hypothesis;
「あの数値化は余暇社会でないしさらに小隊特曹でない」ということは間違っている
fact15 -> int5: もし仮にあの数値化は自書すれば「それは余暇社会でないしおまけに小隊特曹でない」ということは嘘だ; fact17 -> int6: もし仮にあの数値化が反響しないとすれば全員集合だし加えて疑い深い;
$facts$ = fact1: もし「そのトラック環礁は小隊特曹でない」ということは偽でないとすれば「あのリンパ節腫脹は全員集合だということはなくてしかも小隊特曹でない」ということは誤っている fact2: 仮に「あのリンパ節腫脹は全員集合でないし加えて少数意見でない」ということは間違っているとすればその最優先事項はデコレーションする fact3: 「あのリンパ節腫脹は少数意見であるけれどそれは全員集合でない」ということは成り立たない fact4: 仮にその最優先事項はデコレーションするということはないとしたら「そのプロテスタントは少数意見でないけどデコレーションする」ということは成り立たない fact5: 仮に「何らかのものは反響しない」ということは間違っていないとすると全員集合でまた疑い深い fact6: もしなんらかの物は自書するとすれば「それは余暇社会でなくてまた小隊特曹でない」ということは間違っている fact7: そのトラック環礁は小隊特曹だということはないとしたら「あのリンパ節腫脹は全員集合である一方で小隊特曹でない」ということは嘘である fact8: もしあの数値化は全員集合で更に疑い深いとすればそれはデコレーションしない fact9: そのプロテスタントが自書するししかも少数意見であるとしたらそのトラック環礁は小隊特曹でない fact10: 「あのリンパ節腫脹は全員集合だが小隊特曹でない」ということは誤りだ fact11: そのプロテスタントは少数意見である fact12: もしもあの数値化がデコレーションしないとすれば少数意見であるしそれは自書する fact13: もし「あのリンパ節腫脹は全員集合でなくてそれに小隊特曹でない」ということは本当でないとするとその最優先事項はデコレーションする ; $hypothesis$ = もしもそのプロテスタントが自書するとするとその最優先事項はデコレーションする ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのプロテスタントは自書する」ということは成り立つ; assump1 & fact11 -> int1: そのプロテスタントは自書するしまた少数意見だ; int1 & fact9 -> int2: そのトラック環礁は小隊特曹でない; int2 & fact1 -> int3: 「あのリンパ節腫脹は全員集合だということはないし更に小隊特曹でない」ということは成り立たない; int3 & fact13 -> int4: その最優先事項はデコレーションする; [assump1] & int4 -> hypothesis; __PROVED__
事実1: もし「そのトラック環礁は小隊特曹でない」ということは偽でないとすれば「あのリンパ節腫脹は全員集合だということはなくてしかも小隊特曹でない」ということは誤っている
事実2: 仮に「あのリンパ節腫脹は全員集合でないし加えて少数意見でない」ということは間違っているとすればその最優先事項はデコレーションする
事実3: 「あのリンパ節腫脹は少数意見であるけれどそれは全員集合でない」ということは成り立たない
事実4: 仮にその最優先事項はデコレーションするということはないとしたら「そのプロテスタントは少数意見でないけどデコレーションする」ということは成り立たない
事実5: 仮に「何らかのものは反響しない」ということは間違っていないとすると全員集合でまた疑い深い
事実6: もしなんらかの物は自書するとすれば「それは余暇社会でなくてまた小隊特曹でない」ということは間違っている
事実7: そのトラック環礁は小隊特曹だということはないとしたら「あのリンパ節腫脹は全員集合である一方で小隊特曹でない」ということは嘘である
事実8: もしあの数値化は全員集合で更に疑い深いとすればそれはデコレーションしない
事実9: そのプロテスタントが自書するししかも少数意見であるとしたらそのトラック環礁は小隊特曹でない
事実10: 「あのリンパ節腫脹は全員集合だが小隊特曹でない」ということは誤りだ
事実11: そのプロテスタントは少数意見である
事実12: もしもあの数値化がデコレーションしないとすれば少数意見であるしそれは自書する
事実13: もし「あのリンパ節腫脹は全員集合でなくてそれに小隊特曹でない」ということは本当でないとするとその最優先事項はデコレーションする

仮説: もしもそのプロテスタントが自書するとするとその最優先事項はデコレーションする
1. 仮定1: 以下のように仮定する。「そのプロテスタントは自書する」ということは成り立つ
2. 仮定1と事実11から、推論1: "そのプロテスタントは自書するしまた少数意見だ"が導かれる
3. 推論1と事実9から、推論2: "そのトラック環礁は小隊特曹でない"が導かれる
4. 推論2と事実1から、推論3: "「あのリンパ節腫脹は全員集合だということはないし更に小隊特曹でない」ということは成り立たない"が導かれる
5. 推論3と事実13から、推論4: "その最優先事項はデコレーションする"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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