「この近衛は育成出来るかまたはアレンジ出来る」ということは偽だ
fact1: なんらかのものは独走でないならば「それは育成出来るかもしくはアレンジ出来るか両方だ」ということは成り立たない fact2: なんらかのものは躊躇するしおまけに理解し難いとすればそれは独走であるということはない fact3: もし「この近衛は見上げるがしかし躊躇しない」ということは成り立たないならばそれは育成出来る fact4: 「その山中はさ迷い出すが水洗いするということはない」ということは間違っている fact5: もしもあの御花ちゃんが紫杯連であるとしたらこの近衛は利率年でないしそれに列情報でない fact6: もし何らかのものが理解し難いとするとそれは躊躇する fact7: その山中は独走でない fact8: 仮にあるものは見上げないとすれば「それは躊躇するし更に理解し難い」ということは事実である fact9: もしも「とあるものは独走であるということはない」ということは成り立つなら「それはさ迷い出すということはなくて水洗いしない」ということは成り立つということはない fact10: もしもある物が利率年でなくて列情報だということはないとしたら見上げるということはない fact11: もしも「その山中はさ迷い出さなくてそれは水洗いしない」ということは誤りであるとすれば理解し難い fact12: もしも「その山中は躊躇する」ということは成り立つとしたら「この近衛は見上げるけどそれは躊躇しない」ということは誤りだ fact13: この近衛は躊躇するかまたはさ迷い出す
fact9 -> int1: 仮にその山中は独走でないとすると「それはさ迷い出さなくてその上それは水洗いしない」ということは偽である; int1 & fact7 -> int2: 「その山中はさ迷い出さないしさらに水洗いするということはない」ということは偽である; int2 & fact11 -> int3: その山中は理解し難い; fact6 -> int4: もしもその山中が理解し難いとするとそれは躊躇する; int3 & int4 -> int5: その山中は躊躇する; int5 & fact12 -> int6: 「「この近衛は見上げるけれど躊躇しない」ということは確かである」ということは成り立たない; int6 & fact3 -> int7: この近衛は育成出来る; int7 -> hypothesis;
「「この近衛は育成出来るかまたはアレンジ出来る」ということは成り立つ」ということは偽だ
fact17 -> int8: もしもこの近衛は独走でないとすれば「育成出来るかまたはそれはアレンジ出来るかまたは両方だ」ということは成り立たない; fact14 -> int9: この近衛は躊躇するし理解し難いとすれば独走でない; fact15 -> int10: 仮にこの近衛が見上げるということはないとすると躊躇するし理解し難い; fact16 -> int11: もしも「この近衛は利率年でなくてそれに列情報でない」ということは確かであるなら見上げない;
$facts$ = fact1: なんらかのものは独走でないならば「それは育成出来るかもしくはアレンジ出来るか両方だ」ということは成り立たない fact2: なんらかのものは躊躇するしおまけに理解し難いとすればそれは独走であるということはない fact3: もし「この近衛は見上げるがしかし躊躇しない」ということは成り立たないならばそれは育成出来る fact4: 「その山中はさ迷い出すが水洗いするということはない」ということは間違っている fact5: もしもあの御花ちゃんが紫杯連であるとしたらこの近衛は利率年でないしそれに列情報でない fact6: もし何らかのものが理解し難いとするとそれは躊躇する fact7: その山中は独走でない fact8: 仮にあるものは見上げないとすれば「それは躊躇するし更に理解し難い」ということは事実である fact9: もしも「とあるものは独走であるということはない」ということは成り立つなら「それはさ迷い出すということはなくて水洗いしない」ということは成り立つということはない fact10: もしもある物が利率年でなくて列情報だということはないとしたら見上げるということはない fact11: もしも「その山中はさ迷い出さなくてそれは水洗いしない」ということは誤りであるとすれば理解し難い fact12: もしも「その山中は躊躇する」ということは成り立つとしたら「この近衛は見上げるけどそれは躊躇しない」ということは誤りだ fact13: この近衛は躊躇するかまたはさ迷い出す ; $hypothesis$ = 「この近衛は育成出来るかまたはアレンジ出来る」ということは偽だ ; $proof$ = 
fact9 -> int1: 仮にその山中は独走でないとすると「それはさ迷い出さなくてその上それは水洗いしない」ということは偽である; int1 & fact7 -> int2: 「その山中はさ迷い出さないしさらに水洗いするということはない」ということは偽である; int2 & fact11 -> int3: その山中は理解し難い; fact6 -> int4: もしもその山中が理解し難いとするとそれは躊躇する; int3 & int4 -> int5: その山中は躊躇する; int5 & fact12 -> int6: 「「この近衛は見上げるけれど躊躇しない」ということは確かである」ということは成り立たない; int6 & fact3 -> int7: この近衛は育成出来る; int7 -> hypothesis; __DISPROVED__
事実1: なんらかのものは独走でないならば「それは育成出来るかもしくはアレンジ出来るか両方だ」ということは成り立たない
事実2: なんらかのものは躊躇するしおまけに理解し難いとすればそれは独走であるということはない
事実3: もし「この近衛は見上げるがしかし躊躇しない」ということは成り立たないならばそれは育成出来る
事実4: 「その山中はさ迷い出すが水洗いするということはない」ということは間違っている
事実5: もしもあの御花ちゃんが紫杯連であるとしたらこの近衛は利率年でないしそれに列情報でない
事実6: もし何らかのものが理解し難いとするとそれは躊躇する
事実7: その山中は独走でない
事実8: 仮にあるものは見上げないとすれば「それは躊躇するし更に理解し難い」ということは事実である
事実9: もしも「とあるものは独走であるということはない」ということは成り立つなら「それはさ迷い出すということはなくて水洗いしない」ということは成り立つということはない
事実10: もしもある物が利率年でなくて列情報だということはないとしたら見上げるということはない
事実11: もしも「その山中はさ迷い出さなくてそれは水洗いしない」ということは誤りであるとすれば理解し難い
事実12: もしも「その山中は躊躇する」ということは成り立つとしたら「この近衛は見上げるけどそれは躊躇しない」ということは誤りだ
事実13: この近衛は躊躇するかまたはさ迷い出す

仮説: 「この近衛は育成出来るかまたはアレンジ出来る」ということは偽だ
1. 事実9から、推論1: "仮にその山中は独走でないとすると「それはさ迷い出さなくてその上それは水洗いしない」ということは偽である"が導かれる
2. 推論1と事実7から、推論2: "「その山中はさ迷い出さないしさらに水洗いするということはない」ということは偽である"が導かれる
3. 推論2と事実11から、推論3: "その山中は理解し難い"が導かれる
4. 事実6から、推論4: "もしもその山中が理解し難いとするとそれは躊躇する"が導かれる
5. 推論3と推論4から、推論5: "その山中は躊躇する"が導かれる
6. 推論5と事実12から、推論6: "「「この近衛は見上げるけれど躊躇しない」ということは確かである」ということは成り立たない"が導かれる
7. 推論6と事実3から、推論7: "この近衛は育成出来る"が導かれる
8. 推論7から、仮説が否定される

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