「あのあらましは挽回でない」ということは成り立つ
fact1: もし仮に「リストラ宣告である」物があるとするとその適格一部分割が御偉いしその上冗談っぽい fact2: このポーカーは御偉い fact3: 「あのあらましは御偉い」ということは本当だ fact4: この葉身は挽回である fact5: 「あのあらましは減量出来る」ということは成り立つ fact6: あのあらましは増え難い fact7: もし「何らかの物は冗談っぽくないしかつそれはリストラ宣告でない」ということは成り立たないとしたら御偉くない fact8: 何らかの物が納税充当金だとするとそれは区別し易い fact9: 仮に「「行進するししつこい」ということは間違っている」ものがあるとすればあの支援者はしつこくない fact10: 仮にあのあらましは挽回であるなら入れ溶かす fact11: 「もし仮にこの支援者は青白くなくて慰撫しないならば「この支援者は阿呆らしくない」ということは間違っていない」ということは真実だ fact12: しつこくないものは青白くなくてそれに慰撫しない fact13: もしもあのあらましが御偉いとすれば挽回だ fact14: 仮に「あのあらましは挽回だ」ということは正しいとすれば家事審判手続きである fact15: 「あの川崎金融財閥は御偉い」ということは間違っていないなら「買収出来る」ということは事実である fact16: もしなにがしかのものが阿呆らしくないなら太り始める一方で集め易くない fact17: あの子宮癌末期は挽回である fact18: あのあらましは三人衆である fact19: なにがしかの物は集め易くないならば「その適格一部分割は冗談っぽくないしおまけにリストラ宣告でない」ということは本当でない fact20: もしもとあるものが集め易いとしたらリストラ宣告である fact21: 「この四サイクルは行進するししつこい」ということは成り立つということはない
fact13 & fact3 -> hypothesis;
fact13 & fact3 -> hypothesis;
あのあらましは挽回でない
fact25 -> int1: もし「その適格一部分割は冗談っぽくないしリストラ宣告でない」ということは偽だとすれば御偉くない; fact24 -> int2: もし「この支援者は阿呆らしくない」ということは本当であるならそれは太り始めるし加えてそれは集め易くない; fact26 -> int3: もしこの支援者がしつこいということはないなら青白いということはないし慰撫しない; fact23 -> int4: 「「行進するししつこい」ということは誤っている」物はある; int4 & fact28 -> int5: この支援者はしつこくない; int3 & int5 -> int6: この支援者は青白くないし慰撫しない; fact27 & int6 -> int7: この支援者は阿呆らしくない; int2 & int7 -> int8: この支援者は太り始めるけれど集め易くない; int8 -> int9: この支援者は集め易いということはない; int9 -> int10: 集め易いということはないものはある; int10 & fact22 -> int11: 「その適格一部分割は冗談っぽくなくてかつリストラ宣告であるということはない」ということは誤りだ; int1 & int11 -> int12: その適格一部分割は御偉くない; int12 -> int13: 「御偉くない」物はある;
$facts$ = fact1: もし仮に「リストラ宣告である」物があるとするとその適格一部分割が御偉いしその上冗談っぽい fact2: このポーカーは御偉い fact3: 「あのあらましは御偉い」ということは本当だ fact4: この葉身は挽回である fact5: 「あのあらましは減量出来る」ということは成り立つ fact6: あのあらましは増え難い fact7: もし「何らかの物は冗談っぽくないしかつそれはリストラ宣告でない」ということは成り立たないとしたら御偉くない fact8: 何らかの物が納税充当金だとするとそれは区別し易い fact9: 仮に「「行進するししつこい」ということは間違っている」ものがあるとすればあの支援者はしつこくない fact10: 仮にあのあらましは挽回であるなら入れ溶かす fact11: 「もし仮にこの支援者は青白くなくて慰撫しないならば「この支援者は阿呆らしくない」ということは間違っていない」ということは真実だ fact12: しつこくないものは青白くなくてそれに慰撫しない fact13: もしもあのあらましが御偉いとすれば挽回だ fact14: 仮に「あのあらましは挽回だ」ということは正しいとすれば家事審判手続きである fact15: 「あの川崎金融財閥は御偉い」ということは間違っていないなら「買収出来る」ということは事実である fact16: もしなにがしかのものが阿呆らしくないなら太り始める一方で集め易くない fact17: あの子宮癌末期は挽回である fact18: あのあらましは三人衆である fact19: なにがしかの物は集め易くないならば「その適格一部分割は冗談っぽくないしおまけにリストラ宣告でない」ということは本当でない fact20: もしもとあるものが集め易いとしたらリストラ宣告である fact21: 「この四サイクルは行進するししつこい」ということは成り立つということはない ; $hypothesis$ = 「あのあらましは挽回でない」ということは成り立つ ; $proof$ = 
fact13 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮に「リストラ宣告である」物があるとするとその適格一部分割が御偉いしその上冗談っぽい
事実2: このポーカーは御偉い
事実3: 「あのあらましは御偉い」ということは本当だ
事実4: この葉身は挽回である
事実5: 「あのあらましは減量出来る」ということは成り立つ
事実6: あのあらましは増え難い
事実7: もし「何らかの物は冗談っぽくないしかつそれはリストラ宣告でない」ということは成り立たないとしたら御偉くない
事実8: 何らかの物が納税充当金だとするとそれは区別し易い
事実9: 仮に「「行進するししつこい」ということは間違っている」ものがあるとすればあの支援者はしつこくない
事実10: 仮にあのあらましは挽回であるなら入れ溶かす
事実11: 「もし仮にこの支援者は青白くなくて慰撫しないならば「この支援者は阿呆らしくない」ということは間違っていない」ということは真実だ
事実12: しつこくないものは青白くなくてそれに慰撫しない
事実13: もしもあのあらましが御偉いとすれば挽回だ
事実14: 仮に「あのあらましは挽回だ」ということは正しいとすれば家事審判手続きである
事実15: 「あの川崎金融財閥は御偉い」ということは間違っていないなら「買収出来る」ということは事実である
事実16: もしなにがしかのものが阿呆らしくないなら太り始める一方で集め易くない
事実17: あの子宮癌末期は挽回である
事実18: あのあらましは三人衆である
事実19: なにがしかの物は集め易くないならば「その適格一部分割は冗談っぽくないしおまけにリストラ宣告でない」ということは本当でない
事実20: もしもとあるものが集め易いとしたらリストラ宣告である
事実21: 「この四サイクルは行進するししつこい」ということは成り立つということはない

仮説: 「あのあらましは挽回でない」ということは成り立つ
1. 事実13と事実3から、仮説が否定される

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