あの体解しは夏らしい
fact1: この七衛門は中退しない fact2: この回帰式は中退しない fact3: 答え難いということはない物は夏らしいということはない fact4: もし仮に「なにがしかのものはちっちゃいし男性優位だ」ということは成り立たないならばそれは良いということはない fact5: この編成が夏らしいとするとあの体解しは夏らしい fact6: 「中退する」物はある fact7: もしあの体解しが答え難くないならば夏らしいということはない fact8: あの体解しはネクローシスでないならばそれは中退するしかつ夏らしい fact9: この七衛門は答え難くない fact10: 「何らかのものはネクローシスでまた答え難い」ということは誤っているとすれば夏らしくない fact11: 「この七衛門は中退するしかつそれはネクローシスだ」ということは本当でない fact12: 「あるものは因り難いしかつ兵火である」ということは成り立たないならば被曝しない fact13: 「あるものは中退しない」ということは本当だとすれば「あの体解しはネクローシスで答え難い」ということは成り立つということはない
fact1 -> int1: 「中退しない」物はある; int1 & fact13 -> int2: 「あの体解しはネクローシスで答え難い」ということは誤っている; fact10 -> int3: もし仮に「あの体解しはネクローシスであるしその上答え難い」ということは誤りだとしたら夏らしくない; int2 & int3 -> hypothesis;
fact1 -> int1: (Ex): ¬{A}x; int1 & fact13 -> int2: ¬({B}{a} & {C}{a}); fact10 -> int3: ¬({B}{a} & {C}{a}) -> ¬{D}{a}; int2 & int3 -> hypothesis;
あの体解しは夏らしい
$facts$ = fact1: この七衛門は中退しない fact2: この回帰式は中退しない fact3: 答え難いということはない物は夏らしいということはない fact4: もし仮に「なにがしかのものはちっちゃいし男性優位だ」ということは成り立たないならばそれは良いということはない fact5: この編成が夏らしいとするとあの体解しは夏らしい fact6: 「中退する」物はある fact7: もしあの体解しが答え難くないならば夏らしいということはない fact8: あの体解しはネクローシスでないならばそれは中退するしかつ夏らしい fact9: この七衛門は答え難くない fact10: 「何らかのものはネクローシスでまた答え難い」ということは誤っているとすれば夏らしくない fact11: 「この七衛門は中退するしかつそれはネクローシスだ」ということは本当でない fact12: 「あるものは因り難いしかつ兵火である」ということは成り立たないならば被曝しない fact13: 「あるものは中退しない」ということは本当だとすれば「あの体解しはネクローシスで答え難い」ということは成り立つということはない ; $hypothesis$ = あの体解しは夏らしい ; $proof$ = 
fact1 -> int1: 「中退しない」物はある; int1 & fact13 -> int2: 「あの体解しはネクローシスで答え難い」ということは誤っている; fact10 -> int3: もし仮に「あの体解しはネクローシスであるしその上答え難い」ということは誤りだとしたら夏らしくない; int2 & int3 -> hypothesis; __DISPROVED__
事実1: この七衛門は中退しない
事実2: この回帰式は中退しない
事実3: 答え難いということはない物は夏らしいということはない
事実4: もし仮に「なにがしかのものはちっちゃいし男性優位だ」ということは成り立たないならばそれは良いということはない
事実5: この編成が夏らしいとするとあの体解しは夏らしい
事実6: 「中退する」物はある
事実7: もしあの体解しが答え難くないならば夏らしいということはない
事実8: あの体解しはネクローシスでないならばそれは中退するしかつ夏らしい
事実9: この七衛門は答え難くない
事実10: 「何らかのものはネクローシスでまた答え難い」ということは誤っているとすれば夏らしくない
事実11: 「この七衛門は中退するしかつそれはネクローシスだ」ということは本当でない
事実12: 「あるものは因り難いしかつ兵火である」ということは成り立たないならば被曝しない
事実13: 「あるものは中退しない」ということは本当だとすれば「あの体解しはネクローシスで答え難い」ということは成り立つということはない

仮説: あの体解しは夏らしい
1. 事実1から、推論1: "「中退しない」物はある"が導かれる
2. 推論1と事実13から、推論2: "「あの体解しはネクローシスで答え難い」ということは誤っている"が導かれる
3. 事実10から、推論3: "もし仮に「あの体解しはネクローシスであるしその上答え難い」ということは誤りだとしたら夏らしくない"が導かれる
4. 推論2と推論3から、仮説が否定される

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