その近代西洋は翌事業年度以降であるけど見分け難くない
fact1: もしも「その近代西洋は成書でないが聞き取り易い」ということは成り立たないならばそれは聞き取り易いということはない fact2: その近代西洋は味気無いけど呈し始めない fact3: もしもその近代西洋が見分け難いとすれば聞き取り易い fact4: もしも「その近代西洋は翌事業年度以降であるけれど見分け難くない」ということは成り立たないとすれば聞き取り易い fact5: その近代西洋は辛抱強い fact6: あの被害者達は廃止する一方で成書でない fact7: 「その近代西洋は成書であるということはないがしかしそれは聞き取り易い」ということは成り立たない fact8: あの教示は成書でない fact9: もし仮に「「その近代西洋は翌事業年度以降だということはないが受け入れ易い」ということは正しい」ということは偽ならば「受け入れ易いということはない」ということは成り立つ fact10: 「その近代西洋は翌事業年度以降である一方で間違い易いということはない」ということは成り立つということはない
void -> assump1: 以下のように仮定する。「その近代西洋は翌事業年度以降だが見分け難くない」ということは嘘だ; fact4 & assump1 -> int1: その近代西洋は聞き取り易い; fact7 & fact1 -> int2: その近代西洋は聞き取り易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact4 & assump1 -> int1: {B}{a}; fact7 & fact1 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしも「その近代西洋は成書でないが聞き取り易い」ということは成り立たないならばそれは聞き取り易いということはない fact2: その近代西洋は味気無いけど呈し始めない fact3: もしもその近代西洋が見分け難いとすれば聞き取り易い fact4: もしも「その近代西洋は翌事業年度以降であるけれど見分け難くない」ということは成り立たないとすれば聞き取り易い fact5: その近代西洋は辛抱強い fact6: あの被害者達は廃止する一方で成書でない fact7: 「その近代西洋は成書であるということはないがしかしそれは聞き取り易い」ということは成り立たない fact8: あの教示は成書でない fact9: もし仮に「「その近代西洋は翌事業年度以降だということはないが受け入れ易い」ということは正しい」ということは偽ならば「受け入れ易いということはない」ということは成り立つ fact10: 「その近代西洋は翌事業年度以降である一方で間違い易いということはない」ということは成り立つということはない ; $hypothesis$ = その近代西洋は翌事業年度以降であるけど見分け難くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その近代西洋は翌事業年度以降だが見分け難くない」ということは嘘だ; fact4 & assump1 -> int1: その近代西洋は聞き取り易い; fact7 & fact1 -> int2: その近代西洋は聞き取り易くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしも「その近代西洋は成書でないが聞き取り易い」ということは成り立たないならばそれは聞き取り易いということはない
事実2: その近代西洋は味気無いけど呈し始めない
事実3: もしもその近代西洋が見分け難いとすれば聞き取り易い
事実4: もしも「その近代西洋は翌事業年度以降であるけれど見分け難くない」ということは成り立たないとすれば聞き取り易い
事実5: その近代西洋は辛抱強い
事実6: あの被害者達は廃止する一方で成書でない
事実7: 「その近代西洋は成書であるということはないがしかしそれは聞き取り易い」ということは成り立たない
事実8: あの教示は成書でない
事実9: もし仮に「「その近代西洋は翌事業年度以降だということはないが受け入れ易い」ということは正しい」ということは偽ならば「受け入れ易いということはない」ということは成り立つ
事実10: 「その近代西洋は翌事業年度以降である一方で間違い易いということはない」ということは成り立つということはない

仮説: その近代西洋は翌事業年度以降であるけど見分け難くない
1. 仮定1: 以下のように仮定する。「その近代西洋は翌事業年度以降だが見分け難くない」ということは嘘だ
2. 事実4と仮定1から、推論1: "その近代西洋は聞き取り易い"が導かれる
3. 事実7と事実1から、推論2: "その近代西洋は聞き取り易くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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