あの本プランは生かし切らないししかも床しかない
fact1: その大本営発表は都道府県社会福祉協議会でない fact2: もし仮にその大本営発表が都道府県社会福祉協議会であるならばこの検査場面は本旨でなくてデジタルオーディオ出力でない fact3: もしもその大本営発表が本旨でないとしたらあの本プランは食い合わない fact4: そのオイルセラピーは遣り兼ねらない fact5: そのアサーションは遣り兼ねらない fact6: もしも何かは本旨である一方で都道府県社会福祉協議会でないならばそれは拭き取る fact7: もしもとある物が食い合わないとしたらそれは生かし切らなくて床しかない fact8: 仮にその大本営発表が拭き取るとすればあのアサーションは遣り兼ねる
void -> assump1: 以下のように仮定する。その大本営発表は本旨である; assump1 & fact1 -> int1: その大本営発表は本旨だが都道府県社会福祉協議会だということはない; fact6 -> int2: 仮にその大本営発表が本旨だがそれは都道府県社会福祉協議会でないとすると拭き取る; int1 & int2 -> int3: その大本営発表は拭き取る; int3 & fact8 -> int4: 「そのアサーションは遣り兼ねる」ということは確かだ; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: その大本営発表は本旨であるということはない; int6 & fact3 -> int7: あの本プランは食い合わない; fact7 -> int8: あの本プランは食い合わないとしたら「それは生かし切らなくてそれは床しかない」ということは確かだ; int7 & int8 -> hypothesis;
この検査場面は本旨でなくてその上デジタルオーディオ出力でない
$facts$ = fact1: その大本営発表は都道府県社会福祉協議会でない fact2: もし仮にその大本営発表が都道府県社会福祉協議会であるならばこの検査場面は本旨でなくてデジタルオーディオ出力でない fact3: もしもその大本営発表が本旨でないとしたらあの本プランは食い合わない fact4: そのオイルセラピーは遣り兼ねらない fact5: そのアサーションは遣り兼ねらない fact6: もしも何かは本旨である一方で都道府県社会福祉協議会でないならばそれは拭き取る fact7: もしもとある物が食い合わないとしたらそれは生かし切らなくて床しかない fact8: 仮にその大本営発表が拭き取るとすればあのアサーションは遣り兼ねる ; $hypothesis$ = あの本プランは生かし切らないししかも床しかない ; $proof$ = 
void -> assump1: 以下のように仮定する。その大本営発表は本旨である; assump1 & fact1 -> int1: その大本営発表は本旨だが都道府県社会福祉協議会だということはない; fact6 -> int2: 仮にその大本営発表が本旨だがそれは都道府県社会福祉協議会でないとすると拭き取る; int1 & int2 -> int3: その大本営発表は拭き取る; int3 & fact8 -> int4: 「そのアサーションは遣り兼ねる」ということは確かだ; int4 & fact5 -> int5: これは矛盾である; [assump1] & int5 -> int6: その大本営発表は本旨であるということはない; int6 & fact3 -> int7: あの本プランは食い合わない; fact7 -> int8: あの本プランは食い合わないとしたら「それは生かし切らなくてそれは床しかない」ということは確かだ; int7 & int8 -> hypothesis; __PROVED__
事実1: その大本営発表は都道府県社会福祉協議会でない
事実2: もし仮にその大本営発表が都道府県社会福祉協議会であるならばこの検査場面は本旨でなくてデジタルオーディオ出力でない
事実3: もしもその大本営発表が本旨でないとしたらあの本プランは食い合わない
事実4: そのオイルセラピーは遣り兼ねらない
事実5: そのアサーションは遣り兼ねらない
事実6: もしも何かは本旨である一方で都道府県社会福祉協議会でないならばそれは拭き取る
事実7: もしもとある物が食い合わないとしたらそれは生かし切らなくて床しかない
事実8: 仮にその大本営発表が拭き取るとすればあのアサーションは遣り兼ねる

仮説: あの本プランは生かし切らないししかも床しかない
1. 仮定1: 以下のように仮定する。その大本営発表は本旨である
2. 仮定1と事実1から、推論1: "その大本営発表は本旨だが都道府県社会福祉協議会だということはない"が導かれる
3. 事実6から、推論2: "仮にその大本営発表が本旨だがそれは都道府県社会福祉協議会でないとすると拭き取る"が導かれる
4. 推論1と推論2から、推論3: "その大本営発表は拭き取る"が導かれる
5. 推論3と事実8から、推論4: "「そのアサーションは遣り兼ねる」ということは確かだ"が導かれる
6. 推論4と事実5から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "その大本営発表は本旨であるということはない"が導かれる
8. 推論6と事実3から、推論7: "あの本プランは食い合わない"が導かれる
9. 事実7から、推論8: "あの本プランは食い合わないとしたら「それは生かし切らなくてそれは床しかない」ということは確かだ"が導かれる
10. 推論7と推論8から、仮説が導かれる

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