「その駐車場有りは帰寮しないけど認可する」ということは成り立つということはない
fact1: 二百三号室であるけれどアクリルビーズでないというものはない fact2: この免責金額は持久戦だ fact3: 仮にこの免責金額が免れ難いとすればその駐車場有りは持久戦だ fact4: 仮になにがしかのものは持久戦だとすると「帰寮しないけど認可する」ということは事実と異なる fact5: もしも何かは着眼でないとすればそれは変色しないしかつそれは血腥くない fact6: もし仮にとある物は篠様であるならそれは免れ難い fact7: 仮に「あのウォールは二百三号室であるがしかしアクリルビーズだということはない」ということは成り立たないとしたらこの免責金額は篠様だ fact8: あの活性型は着眼でない fact9: 「「その駐車場有りは認可するし篠様だ」ということは成り立たない」ということは成り立つならこの免責金額は篠様でない fact10: 何かは篠様でないとするとそれは持久戦であるかまたは免れ難い
fact1 -> int1: 「あのウォールは二百三号室である一方でアクリルビーズでない」ということは成り立たない; int1 & fact7 -> int2: この免責金額は篠様である; fact6 -> int3: この免責金額は篠様なら「免れ難い」ということは確かである; int2 & int3 -> int4: この免責金額は免れ難い; int4 & fact3 -> int5: その駐車場有りは持久戦だ; fact4 -> int6: もし仮にその駐車場有りは持久戦だとすれば「帰寮しないしまたそれは認可する」ということは誤っている; int5 & int6 -> hypothesis;
あの精神的ダメージは持久戦だ
fact14 -> int7: 仮にこの免責金額が篠様であるということはないならばそれは持久戦であるかそれは免れ難いか両方だ; fact13 -> int8: 仮にあの活性型が着眼でないならば変色するということはなくてしかもそれは血腥くない; int8 & fact11 -> int9: 「あの活性型は変色しないしおまけに血腥くない」ということは正しい; int9 -> int10: 「変色しなくてまた血腥くない」物はある;
$facts$ = fact1: 二百三号室であるけれどアクリルビーズでないというものはない fact2: この免責金額は持久戦だ fact3: 仮にこの免責金額が免れ難いとすればその駐車場有りは持久戦だ fact4: 仮になにがしかのものは持久戦だとすると「帰寮しないけど認可する」ということは事実と異なる fact5: もしも何かは着眼でないとすればそれは変色しないしかつそれは血腥くない fact6: もし仮にとある物は篠様であるならそれは免れ難い fact7: 仮に「あのウォールは二百三号室であるがしかしアクリルビーズだということはない」ということは成り立たないとしたらこの免責金額は篠様だ fact8: あの活性型は着眼でない fact9: 「「その駐車場有りは認可するし篠様だ」ということは成り立たない」ということは成り立つならこの免責金額は篠様でない fact10: 何かは篠様でないとするとそれは持久戦であるかまたは免れ難い ; $hypothesis$ = 「その駐車場有りは帰寮しないけど認可する」ということは成り立つということはない ; $proof$ = 
fact1 -> int1: 「あのウォールは二百三号室である一方でアクリルビーズでない」ということは成り立たない; int1 & fact7 -> int2: この免責金額は篠様である; fact6 -> int3: この免責金額は篠様なら「免れ難い」ということは確かである; int2 & int3 -> int4: この免責金額は免れ難い; int4 & fact3 -> int5: その駐車場有りは持久戦だ; fact4 -> int6: もし仮にその駐車場有りは持久戦だとすれば「帰寮しないしまたそれは認可する」ということは誤っている; int5 & int6 -> hypothesis; __PROVED__
事実1: 二百三号室であるけれどアクリルビーズでないというものはない
事実2: この免責金額は持久戦だ
事実3: 仮にこの免責金額が免れ難いとすればその駐車場有りは持久戦だ
事実4: 仮になにがしかのものは持久戦だとすると「帰寮しないけど認可する」ということは事実と異なる
事実5: もしも何かは着眼でないとすればそれは変色しないしかつそれは血腥くない
事実6: もし仮にとある物は篠様であるならそれは免れ難い
事実7: 仮に「あのウォールは二百三号室であるがしかしアクリルビーズだということはない」ということは成り立たないとしたらこの免責金額は篠様だ
事実8: あの活性型は着眼でない
事実9: 「「その駐車場有りは認可するし篠様だ」ということは成り立たない」ということは成り立つならこの免責金額は篠様でない
事実10: 何かは篠様でないとするとそれは持久戦であるかまたは免れ難い

仮説: 「その駐車場有りは帰寮しないけど認可する」ということは成り立つということはない
1. 事実1から、推論1: "「あのウォールは二百三号室である一方でアクリルビーズでない」ということは成り立たない"が導かれる
2. 推論1と事実7から、推論2: "この免責金額は篠様である"が導かれる
3. 事実6から、推論3: "この免責金額は篠様なら「免れ難い」ということは確かである"が導かれる
4. 推論2と推論3から、推論4: "この免責金額は免れ難い"が導かれる
5. 推論4と事実3から、推論5: "その駐車場有りは持久戦だ"が導かれる
6. 事実4から、推論6: "もし仮にその駐車場有りは持久戦だとすれば「帰寮しないしまたそれは認可する」ということは誤っている"が導かれる
7. 推論5と推論6から、仮説が導かれる

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