「この経歴は恐ろしくて見苦しい」ということは成り立たない
fact1: もしもこの経歴がプロジェクションならばこの特殊音はランク毎だ fact2: 仮に何らかのものはリニューアルオープンしないがプロジェクションだとすればそれはランク毎でない fact3: もしもなんらかの物はランク毎だということはないならば「恐ろしくておまけにそれは見苦しい」ということは成り立たない fact4: あの消毒綿が消化し易いかまたは確立・整備しないならあの両開きは消化し易いということはない fact5: もし仮に「その原料は選択し易くてさらに接近し易い」ということは偽だとしたらこの特殊音はべた付き易いということはない fact6: もし仮に「「っ早い」ということは嘘でない」ものはあるなら「その原料は選択し易いししかも接近し易い」ということは成り立たない fact7: もし「この経歴は葉叢である」ということは正しいとするとプロジェクションだ fact8: もし仮に「あの両開きが重たいしその上それはしょっぴく」ということは間違っているとしたらこの洋行はしょっぴかない fact9: 仮にこの洋行がしょっぴかないならこの手術当日はホルモン剤であるしっ早い fact10: もし何らかのものは消化し易いということはないとすると「それは重たいしその上しょっぴく」ということは成り立たない fact11: 仮に「とある物は恐ろしい一方で葉叢であるということはない」ということは成り立たないならそれはプロジェクションだ fact12: この経歴は見苦しい fact13: 「あの消毒綿は確立・整備する」ということは誤っている fact14: なにがしかの物は葉叢であるとするとそれはプロジェクションである fact15: 「この特殊音はランク毎でない」ということは真実である
fact11 -> int1: もし仮に「この経歴は恐ろしいけれど葉叢でない」ということは誤りであるならばプロジェクションである; void -> assump1: 以下のように仮定する。「この経歴は恐ろしいがそれは葉叢でない」ということは成り立たない; int1 & assump1 -> int2: 「この経歴はプロジェクションだ」ということは成り立つ; int2 & fact1 -> int3: この特殊音はランク毎だ; int3 & fact15 -> int4: これは矛盾である; [assump1] & int4 -> int5: この経歴は恐ろしいけど葉叢でない; int5 -> int6: この経歴は恐ろしい; int6 & fact12 -> hypothesis;
「この経歴は恐ろしくておまけに見苦しい」ということは誤っている
fact24 -> int7: もし仮にこの経歴はランク毎でないならば「恐ろしいししかも見苦しい」ということは間違っている; fact22 -> int8: もし仮にこの経歴がリニューアルオープンするということはないがそれがプロジェクションだとしたらランク毎だということはない; fact17 -> int9: もしあの両開きは消化し易くないとしたら「それは重たいし加えてしょっぴく」ということは偽である; fact23 -> int10: あの消毒綿は消化し易いか確立・整備しない; fact16 & int10 -> int11: あの両開きは消化し易くない; int9 & int11 -> int12: 「あの両開きは重たいししかもそれはしょっぴく」ということは成り立たない; fact21 & int12 -> int13: この洋行はしょっぴくということはない; fact20 & int13 -> int14: あの手術当日はホルモン剤でそれにっ早い; int14 -> int15: あの手術当日はっ早い; int15 -> int16: 「っ早い」ものはある; int16 & fact18 -> int17: 「その原料は選択し易いし接近し易い」ということは成り立たない; fact19 & int17 -> int18: 「この特殊音はべた付き易くない」ということは正しい; int18 -> int19: 「べた付き易くない」ものはある;
$facts$ = fact1: もしもこの経歴がプロジェクションならばこの特殊音はランク毎だ fact2: 仮に何らかのものはリニューアルオープンしないがプロジェクションだとすればそれはランク毎でない fact3: もしもなんらかの物はランク毎だということはないならば「恐ろしくておまけにそれは見苦しい」ということは成り立たない fact4: あの消毒綿が消化し易いかまたは確立・整備しないならあの両開きは消化し易いということはない fact5: もし仮に「その原料は選択し易くてさらに接近し易い」ということは偽だとしたらこの特殊音はべた付き易いということはない fact6: もし仮に「「っ早い」ということは嘘でない」ものはあるなら「その原料は選択し易いししかも接近し易い」ということは成り立たない fact7: もし「この経歴は葉叢である」ということは正しいとするとプロジェクションだ fact8: もし仮に「あの両開きが重たいしその上それはしょっぴく」ということは間違っているとしたらこの洋行はしょっぴかない fact9: 仮にこの洋行がしょっぴかないならこの手術当日はホルモン剤であるしっ早い fact10: もし何らかのものは消化し易いということはないとすると「それは重たいしその上しょっぴく」ということは成り立たない fact11: 仮に「とある物は恐ろしい一方で葉叢であるということはない」ということは成り立たないならそれはプロジェクションだ fact12: この経歴は見苦しい fact13: 「あの消毒綿は確立・整備する」ということは誤っている fact14: なにがしかの物は葉叢であるとするとそれはプロジェクションである fact15: 「この特殊音はランク毎でない」ということは真実である ; $hypothesis$ = 「この経歴は恐ろしくて見苦しい」ということは成り立たない ; $proof$ = 
fact11 -> int1: もし仮に「この経歴は恐ろしいけれど葉叢でない」ということは誤りであるならばプロジェクションである; void -> assump1: 以下のように仮定する。「この経歴は恐ろしいがそれは葉叢でない」ということは成り立たない; int1 & assump1 -> int2: 「この経歴はプロジェクションだ」ということは成り立つ; int2 & fact1 -> int3: この特殊音はランク毎だ; int3 & fact15 -> int4: これは矛盾である; [assump1] & int4 -> int5: この経歴は恐ろしいけど葉叢でない; int5 -> int6: この経歴は恐ろしい; int6 & fact12 -> hypothesis; __DISPROVED__
事実1: もしもこの経歴がプロジェクションならばこの特殊音はランク毎だ
事実2: 仮に何らかのものはリニューアルオープンしないがプロジェクションだとすればそれはランク毎でない
事実3: もしもなんらかの物はランク毎だということはないならば「恐ろしくておまけにそれは見苦しい」ということは成り立たない
事実4: あの消毒綿が消化し易いかまたは確立・整備しないならあの両開きは消化し易いということはない
事実5: もし仮に「その原料は選択し易くてさらに接近し易い」ということは偽だとしたらこの特殊音はべた付き易いということはない
事実6: もし仮に「「っ早い」ということは嘘でない」ものはあるなら「その原料は選択し易いししかも接近し易い」ということは成り立たない
事実7: もし「この経歴は葉叢である」ということは正しいとするとプロジェクションだ
事実8: もし仮に「あの両開きが重たいしその上それはしょっぴく」ということは間違っているとしたらこの洋行はしょっぴかない
事実9: 仮にこの洋行がしょっぴかないならこの手術当日はホルモン剤であるしっ早い
事実10: もし何らかのものは消化し易いということはないとすると「それは重たいしその上しょっぴく」ということは成り立たない
事実11: 仮に「とある物は恐ろしい一方で葉叢であるということはない」ということは成り立たないならそれはプロジェクションだ
事実12: この経歴は見苦しい
事実13: 「あの消毒綿は確立・整備する」ということは誤っている
事実14: なにがしかの物は葉叢であるとするとそれはプロジェクションである
事実15: 「この特殊音はランク毎でない」ということは真実である

仮説: 「この経歴は恐ろしくて見苦しい」ということは成り立たない
1. 事実11から、推論1: "もし仮に「この経歴は恐ろしいけれど葉叢でない」ということは誤りであるならばプロジェクションである"が導かれる
2. 仮定1: 以下のように仮定する。「この経歴は恐ろしいがそれは葉叢でない」ということは成り立たない
3. 推論1と仮定1から、推論2: "「この経歴はプロジェクションだ」ということは成り立つ"が導かれる
4. 推論2と事実1から、推論3: "この特殊音はランク毎だ"が導かれる
5. 推論3と事実15から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この経歴は恐ろしいけど葉叢でない"が導かれる
7. 推論5から、推論6: "この経歴は恐ろしい"が導かれる
8. 推論6と事実12から、仮説が否定される

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