あの小中学校は幅広くない
fact1: もし「このオプチカルはジャポニズムでなくてその上疑い深いということはない」ということは成り立つということはないとするとその製造委託先はジャポニズムである fact2: もしも「なんらかのものはかっちりするしそれは内気だ」ということは成り立たないとしたらパリ市民だということはない fact3: もし仮に結核病棟が言い易いとしたらあの小中学校は幅広い fact4: もしも「とあるものは結核病棟であるか言い易くないかどちらもである」ということは誤りであるとするとそれは幅広くない fact5: その下級が堪え難いということはないならはしたなくてまた御恥ずかしい fact6: もし仮に「その製造委託先は慰謝料請求だけど五日前でない」ということは誤っているとしたら「その下級は堪え難くない」ということは成り立つ fact7: 「このオプチカルはジャポニズムでなくて疑い深いということはない」ということは誤りである fact8: 「もし仮にその製造委託先はジャポニズムだとしたら「その製造委託先は慰謝料請求だけど五日前だということはない」ということは間違っている」ということは誤りでない fact9: 「この艶は結核病棟である」ということは間違いでない fact10: もし仮になにがしかの物はパリ市民でないとしたら「それは結核病棟であるかまたは言い易くない」ということは偽である fact11: もし「その下級ははしたない」ということは偽でないならばこの艶は憤怒する fact12: この艶は言い易い
fact9 & fact12 -> int1: この艶が結核病棟だしその上言い易い; int1 -> int2: 何かは結核病棟で加えて言い易い; int2 & fact3 -> hypothesis;
fact9 & fact12 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact3 -> hypothesis;
あの小中学校は幅広くない
fact21 -> int3: 「あの小中学校は結核病棟であるかまたはそれは言い易くないかもしくはどちらもである」ということは事実と異なればそれは幅広くない; fact13 -> int4: もしあの小中学校はパリ市民だということはないとすれば「それは結核病棟であるかもしくは言い易くないか両方だ」ということは本当でない; fact16 -> int5: 「あの小中学校はかっちりするししかも内気だ」ということは嘘だとしたらそれはパリ市民であるということはない; fact17 & fact14 -> int6: その製造委託先はジャポニズムである; fact18 & int6 -> int7: 「その製造委託先は慰謝料請求だ一方で五日前でない」ということは事実と異なる; fact15 & int7 -> int8: その下級は堪え難くない; fact20 & int8 -> int9: その下級ははしたないし御恥ずかしい; int9 -> int10: その下級ははしたない; fact19 & int10 -> int11: この艶は憤怒する; int11 -> int12: ある物は憤怒する;
$facts$ = fact1: もし「このオプチカルはジャポニズムでなくてその上疑い深いということはない」ということは成り立つということはないとするとその製造委託先はジャポニズムである fact2: もしも「なんらかのものはかっちりするしそれは内気だ」ということは成り立たないとしたらパリ市民だということはない fact3: もし仮に結核病棟が言い易いとしたらあの小中学校は幅広い fact4: もしも「とあるものは結核病棟であるか言い易くないかどちらもである」ということは誤りであるとするとそれは幅広くない fact5: その下級が堪え難いということはないならはしたなくてまた御恥ずかしい fact6: もし仮に「その製造委託先は慰謝料請求だけど五日前でない」ということは誤っているとしたら「その下級は堪え難くない」ということは成り立つ fact7: 「このオプチカルはジャポニズムでなくて疑い深いということはない」ということは誤りである fact8: 「もし仮にその製造委託先はジャポニズムだとしたら「その製造委託先は慰謝料請求だけど五日前だということはない」ということは間違っている」ということは誤りでない fact9: 「この艶は結核病棟である」ということは間違いでない fact10: もし仮になにがしかの物はパリ市民でないとしたら「それは結核病棟であるかまたは言い易くない」ということは偽である fact11: もし「その下級ははしたない」ということは偽でないならばこの艶は憤怒する fact12: この艶は言い易い ; $hypothesis$ = あの小中学校は幅広くない ; $proof$ = 
fact9 & fact12 -> int1: この艶が結核病棟だしその上言い易い; int1 -> int2: 何かは結核病棟で加えて言い易い; int2 & fact3 -> hypothesis; __DISPROVED__
事実1: もし「このオプチカルはジャポニズムでなくてその上疑い深いということはない」ということは成り立つということはないとするとその製造委託先はジャポニズムである
事実2: もしも「なんらかのものはかっちりするしそれは内気だ」ということは成り立たないとしたらパリ市民だということはない
事実3: もし仮に結核病棟が言い易いとしたらあの小中学校は幅広い
事実4: もしも「とあるものは結核病棟であるか言い易くないかどちらもである」ということは誤りであるとするとそれは幅広くない
事実5: その下級が堪え難いということはないならはしたなくてまた御恥ずかしい
事実6: もし仮に「その製造委託先は慰謝料請求だけど五日前でない」ということは誤っているとしたら「その下級は堪え難くない」ということは成り立つ
事実7: 「このオプチカルはジャポニズムでなくて疑い深いということはない」ということは誤りである
事実8: 「もし仮にその製造委託先はジャポニズムだとしたら「その製造委託先は慰謝料請求だけど五日前だということはない」ということは間違っている」ということは誤りでない
事実9: 「この艶は結核病棟である」ということは間違いでない
事実10: もし仮になにがしかの物はパリ市民でないとしたら「それは結核病棟であるかまたは言い易くない」ということは偽である
事実11: もし「その下級ははしたない」ということは偽でないならばこの艶は憤怒する
事実12: この艶は言い易い

仮説: あの小中学校は幅広くない
1. 事実9と事実12から、推論1: "この艶が結核病棟だしその上言い易い"が導かれる
2. 推論1から、推論2: "何かは結核病棟で加えて言い易い"が導かれる
3. 推論2と事実3から、仮説が否定される

よって、仮説が否定されました。