「この先入先出法は断言出来ないけれど招喚する」ということは間違っている
fact1: なにがしかの物が咆哮しないとすればあの先入先出法はしょぼくない fact2: 「「冷め難いしその上取り掛かる」ということは誤っている」物はある fact3: 仮に何かはしょぼくないとすれば「断言出来ないがしかし招喚する」ということは成り立たない fact4: その半角仮名は断言出来ない fact5: 仮になにがしかの物は一時的使用でないとすると「それは正当化出来ないがしかし海原だ」ということは成り立たない fact6: 「「汚れ易いし分かち難い」ということは成り立たない」物はある fact7: もし「「牡丹鍋であるしかつしょぼい」ということは成り立つということはない」ものがあるとすればあの先入先出法は牡丹鍋でない fact8: 「「しょぼくて更に咆哮する」ということは誤りである」物はある fact9: この先入先出法は断言出来ないとしたら「それは迷い難くて書き留める」ということは事実でない fact10: この先入先出法は手堅くない fact11: もし「「しょぼいしまた咆哮する」ということは誤っている」ものがあるとしたらこの先入先出法はしょぼくない fact12: 「その組み立て等作業主任者技能講習規程は各種サービスでないが咆哮する」ということは嘘である fact13: もしもとある物が断言出来ないかもしくはそれは根こぎでないかあるいは両方だとしたらそれは断言出来ない
fact3 -> int1: もし仮にこの先入先出法はしょぼくないとすれば「それは断言出来ないがしかし招喚する」ということは成り立たない; fact8 & fact11 -> int2: この先入先出法はしょぼくない; int1 & int2 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); fact8 & fact11 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
この先入先出法は断言出来ないがしかし招喚する
fact14 -> int3: もしもこの先入先出法は断言出来ないかもしくは根こぎでないかもしくは両方ともならば断言出来ない;
$facts$ = fact1: なにがしかの物が咆哮しないとすればあの先入先出法はしょぼくない fact2: 「「冷め難いしその上取り掛かる」ということは誤っている」物はある fact3: 仮に何かはしょぼくないとすれば「断言出来ないがしかし招喚する」ということは成り立たない fact4: その半角仮名は断言出来ない fact5: 仮になにがしかの物は一時的使用でないとすると「それは正当化出来ないがしかし海原だ」ということは成り立たない fact6: 「「汚れ易いし分かち難い」ということは成り立たない」物はある fact7: もし「「牡丹鍋であるしかつしょぼい」ということは成り立つということはない」ものがあるとすればあの先入先出法は牡丹鍋でない fact8: 「「しょぼくて更に咆哮する」ということは誤りである」物はある fact9: この先入先出法は断言出来ないとしたら「それは迷い難くて書き留める」ということは事実でない fact10: この先入先出法は手堅くない fact11: もし「「しょぼいしまた咆哮する」ということは誤っている」ものがあるとしたらこの先入先出法はしょぼくない fact12: 「その組み立て等作業主任者技能講習規程は各種サービスでないが咆哮する」ということは嘘である fact13: もしもとある物が断言出来ないかもしくはそれは根こぎでないかあるいは両方だとしたらそれは断言出来ない ; $hypothesis$ = 「この先入先出法は断言出来ないけれど招喚する」ということは間違っている ; $proof$ = 
fact3 -> int1: もし仮にこの先入先出法はしょぼくないとすれば「それは断言出来ないがしかし招喚する」ということは成り立たない; fact8 & fact11 -> int2: この先入先出法はしょぼくない; int1 & int2 -> hypothesis; __PROVED__
事実1: なにがしかの物が咆哮しないとすればあの先入先出法はしょぼくない
事実2: 「「冷め難いしその上取り掛かる」ということは誤っている」物はある
事実3: 仮に何かはしょぼくないとすれば「断言出来ないがしかし招喚する」ということは成り立たない
事実4: その半角仮名は断言出来ない
事実5: 仮になにがしかの物は一時的使用でないとすると「それは正当化出来ないがしかし海原だ」ということは成り立たない
事実6: 「「汚れ易いし分かち難い」ということは成り立たない」物はある
事実7: もし「「牡丹鍋であるしかつしょぼい」ということは成り立つということはない」ものがあるとすればあの先入先出法は牡丹鍋でない
事実8: 「「しょぼくて更に咆哮する」ということは誤りである」物はある
事実9: この先入先出法は断言出来ないとしたら「それは迷い難くて書き留める」ということは事実でない
事実10: この先入先出法は手堅くない
事実11: もし「「しょぼいしまた咆哮する」ということは誤っている」ものがあるとしたらこの先入先出法はしょぼくない
事実12: 「その組み立て等作業主任者技能講習規程は各種サービスでないが咆哮する」ということは嘘である
事実13: もしもとある物が断言出来ないかもしくはそれは根こぎでないかあるいは両方だとしたらそれは断言出来ない

仮説: 「この先入先出法は断言出来ないけれど招喚する」ということは間違っている
1. 事実3から、推論1: "もし仮にこの先入先出法はしょぼくないとすれば「それは断言出来ないがしかし招喚する」ということは成り立たない"が導かれる
2. 事実8と事実11から、推論2: "この先入先出法はしょぼくない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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