「あの突端は執行手続きだしその上合わす」ということは成り立たない
fact1: その平和国家が執行手続きでないとするとあの突端は合わすし執行手続きだ fact2: もしもその平和国家が合わさないならあの投稿は未信者であるし合わす fact3: あの投稿は男っぽい fact4: もしもあの投稿は空回りするとしたら「恭しくないがしかし耳鳴りである」ということは成り立つということはない fact5: 男っぽくないものは未信者であるということはない fact6: もしあの突端が合わさないとするとその平和国家は執行手続きであるし合わす fact7: もしあの投稿が未信者であるかあるいは男っぽいかまたは両方ともだとするとその平和国家は合わさない fact8: 仮に「あの投稿は恭しいということはないけれど耳鳴りである」ということは成り立たないとするとあの突端は耳鳴りでない fact9: あの突端は男っぽいし更に合わす fact10: あの突端は合わす fact11: あの投稿はダウンロード出来るししかもそれは執行手続きである fact12: もし仮にその平和国家が息苦しくないとすると男っぽいということはない fact13: あの突端は未信者だ fact14: もしその平和国家が合わすということはないとしたらあの突端は執行手続きであるししかも合わす fact15: もし仮にその平和国家が合わさないとするとあの突端は合わす fact16: もしも何らかのものは未信者でないなら「それが執行手続きだしさらにそれは合わす」ということは成り立たない fact17: 男っぽくないものは執行手続きでないかあるいは未信者でないかどちらもだ fact18: 仮になんらかの物は耳鳴りであるということはないとすれば「それは息苦しくない一方で男っぽい」ということは嘘だ fact19: 仮にあの投稿が未信者であるとしたらその平和国家は合わさない fact20: その平和国家は迎え打つしそれに編纂・発行する fact21: もしあの突端が合わさないならばあの投稿が未信者だしその上それは合わす fact22: もし仮にこのＰＧＲが息苦しくないが耳鳴りならその平和国家は息苦しくない
fact3 -> int1: あの投稿は未信者であるかそれは男っぽいかもしくはどちらもだ; int1 & fact7 -> int2: その平和国家は合わさない; int2 & fact14 -> hypothesis;
「あの突端は執行手続きで更に合わす」ということは嘘だ
fact24 -> int3: その平和国家が男っぽいということはないとしたらそれは執行手続きだということはないかもしくは未信者でないかあるいは両方だ;
$facts$ = fact1: その平和国家が執行手続きでないとするとあの突端は合わすし執行手続きだ fact2: もしもその平和国家が合わさないならあの投稿は未信者であるし合わす fact3: あの投稿は男っぽい fact4: もしもあの投稿は空回りするとしたら「恭しくないがしかし耳鳴りである」ということは成り立つということはない fact5: 男っぽくないものは未信者であるということはない fact6: もしあの突端が合わさないとするとその平和国家は執行手続きであるし合わす fact7: もしあの投稿が未信者であるかあるいは男っぽいかまたは両方ともだとするとその平和国家は合わさない fact8: 仮に「あの投稿は恭しいということはないけれど耳鳴りである」ということは成り立たないとするとあの突端は耳鳴りでない fact9: あの突端は男っぽいし更に合わす fact10: あの突端は合わす fact11: あの投稿はダウンロード出来るししかもそれは執行手続きである fact12: もし仮にその平和国家が息苦しくないとすると男っぽいということはない fact13: あの突端は未信者だ fact14: もしその平和国家が合わすということはないとしたらあの突端は執行手続きであるししかも合わす fact15: もし仮にその平和国家が合わさないとするとあの突端は合わす fact16: もしも何らかのものは未信者でないなら「それが執行手続きだしさらにそれは合わす」ということは成り立たない fact17: 男っぽくないものは執行手続きでないかあるいは未信者でないかどちらもだ fact18: 仮になんらかの物は耳鳴りであるということはないとすれば「それは息苦しくない一方で男っぽい」ということは嘘だ fact19: 仮にあの投稿が未信者であるとしたらその平和国家は合わさない fact20: その平和国家は迎え打つしそれに編纂・発行する fact21: もしあの突端が合わさないならばあの投稿が未信者だしその上それは合わす fact22: もし仮にこのＰＧＲが息苦しくないが耳鳴りならその平和国家は息苦しくない ; $hypothesis$ = 「あの突端は執行手続きだしその上合わす」ということは成り立たない ; $proof$ = 
fact3 -> int1: あの投稿は未信者であるかそれは男っぽいかもしくはどちらもだ; int1 & fact7 -> int2: その平和国家は合わさない; int2 & fact14 -> hypothesis; __DISPROVED__
事実1: その平和国家が執行手続きでないとするとあの突端は合わすし執行手続きだ
事実2: もしもその平和国家が合わさないならあの投稿は未信者であるし合わす
事実3: あの投稿は男っぽい
事実4: もしもあの投稿は空回りするとしたら「恭しくないがしかし耳鳴りである」ということは成り立つということはない
事実5: 男っぽくないものは未信者であるということはない
事実6: もしあの突端が合わさないとするとその平和国家は執行手続きであるし合わす
事実7: もしあの投稿が未信者であるかあるいは男っぽいかまたは両方ともだとするとその平和国家は合わさない
事実8: 仮に「あの投稿は恭しいということはないけれど耳鳴りである」ということは成り立たないとするとあの突端は耳鳴りでない
事実9: あの突端は男っぽいし更に合わす
事実10: あの突端は合わす
事実11: あの投稿はダウンロード出来るししかもそれは執行手続きである
事実12: もし仮にその平和国家が息苦しくないとすると男っぽいということはない
事実13: あの突端は未信者だ
事実14: もしその平和国家が合わすということはないとしたらあの突端は執行手続きであるししかも合わす
事実15: もし仮にその平和国家が合わさないとするとあの突端は合わす
事実16: もしも何らかのものは未信者でないなら「それが執行手続きだしさらにそれは合わす」ということは成り立たない
事実17: 男っぽくないものは執行手続きでないかあるいは未信者でないかどちらもだ
事実18: 仮になんらかの物は耳鳴りであるということはないとすれば「それは息苦しくない一方で男っぽい」ということは嘘だ
事実19: 仮にあの投稿が未信者であるとしたらその平和国家は合わさない
事実20: その平和国家は迎え打つしそれに編纂・発行する
事実21: もしあの突端が合わさないならばあの投稿が未信者だしその上それは合わす
事実22: もし仮にこのＰＧＲが息苦しくないが耳鳴りならその平和国家は息苦しくない

仮説: 「あの突端は執行手続きだしその上合わす」ということは成り立たない
1. 事実3から、推論1: "あの投稿は未信者であるかそれは男っぽいかもしくはどちらもだ"が導かれる
2. 推論1と事実7から、推論2: "その平和国家は合わさない"が導かれる
3. 推論2と事実14から、仮説が否定される

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