この直接言上は憎しない
fact1: もしもその福祉労働が尽力するとすると破産宣告だ fact2: もしこの直接言上は火掻棒でないならばそれは塩っ辛いものでしかも尽力する fact3: 破産宣告は塩っ辛くない fact4: 「そのサイクロン号は破産宣告である」ということは成り立つ fact5: 何らかの物は尽力するとしたら「それは憎しということはないし加えて破産宣告でない」ということは正しくない fact6: この直接言上は破産宣告である fact7: その福祉労働が塩っ辛くないならそのサイクロン号は塩っ辛くない fact8: その福祉労働は尽力する fact9: もしそのサイクロン号が塩っ辛くないしかつ火掻棒だということはないとしたらこの直接言上は憎しない fact10: このボリューム感は尽力する fact11: 「仮にその福祉労働が塩っ辛いということはないとすればそのサイクロン号は塩っ辛くないしそれに火掻棒でない」ということは成り立つ
fact1 & fact8 -> int1: その福祉労働は破産宣告である; fact3 -> int2: もし仮にその福祉労働は破産宣告であるならそれは塩っ辛くない; int1 & int2 -> int3: その福祉労働は塩っ辛いということはない; int3 & fact11 -> int4: そのサイクロン号は塩っ辛くないし加えて火掻棒でない; int4 & fact9 -> hypothesis;
この直接言上は憎し
fact12 -> int5: 「この直接言上は尽力するとすれば「この直接言上は憎しないしそれは破産宣告でない」ということは成り立たない」ということは成り立つ;
$facts$ = fact1: もしもその福祉労働が尽力するとすると破産宣告だ fact2: もしこの直接言上は火掻棒でないならばそれは塩っ辛いものでしかも尽力する fact3: 破産宣告は塩っ辛くない fact4: 「そのサイクロン号は破産宣告である」ということは成り立つ fact5: 何らかの物は尽力するとしたら「それは憎しということはないし加えて破産宣告でない」ということは正しくない fact6: この直接言上は破産宣告である fact7: その福祉労働が塩っ辛くないならそのサイクロン号は塩っ辛くない fact8: その福祉労働は尽力する fact9: もしそのサイクロン号が塩っ辛くないしかつ火掻棒だということはないとしたらこの直接言上は憎しない fact10: このボリューム感は尽力する fact11: 「仮にその福祉労働が塩っ辛いということはないとすればそのサイクロン号は塩っ辛くないしそれに火掻棒でない」ということは成り立つ ; $hypothesis$ = この直接言上は憎しない ; $proof$ = 
fact1 & fact8 -> int1: その福祉労働は破産宣告である; fact3 -> int2: もし仮にその福祉労働は破産宣告であるならそれは塩っ辛くない; int1 & int2 -> int3: その福祉労働は塩っ辛いということはない; int3 & fact11 -> int4: そのサイクロン号は塩っ辛くないし加えて火掻棒でない; int4 & fact9 -> hypothesis; __PROVED__
事実1: もしもその福祉労働が尽力するとすると破産宣告だ
事実2: もしこの直接言上は火掻棒でないならばそれは塩っ辛いものでしかも尽力する
事実3: 破産宣告は塩っ辛くない
事実4: 「そのサイクロン号は破産宣告である」ということは成り立つ
事実5: 何らかの物は尽力するとしたら「それは憎しということはないし加えて破産宣告でない」ということは正しくない
事実6: この直接言上は破産宣告である
事実7: その福祉労働が塩っ辛くないならそのサイクロン号は塩っ辛くない
事実8: その福祉労働は尽力する
事実9: もしそのサイクロン号が塩っ辛くないしかつ火掻棒だということはないとしたらこの直接言上は憎しない
事実10: このボリューム感は尽力する
事実11: 「仮にその福祉労働が塩っ辛いということはないとすればそのサイクロン号は塩っ辛くないしそれに火掻棒でない」ということは成り立つ

仮説: この直接言上は憎しない
1. 事実1と事実8から、推論1: "その福祉労働は破産宣告である"が導かれる
2. 事実3から、推論2: "もし仮にその福祉労働は破産宣告であるならそれは塩っ辛くない"が導かれる
3. 推論1と推論2から、推論3: "その福祉労働は塩っ辛いということはない"が導かれる
4. 推論3と事実11から、推論4: "そのサイクロン号は塩っ辛くないし加えて火掻棒でない"が導かれる
5. 推論4と事実9から、仮説が導かれる

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