あの情報システム運営委員会は言い辛くない
fact1: この三十代前半は生温いならば「総計しないしさらに歌わす」ということは成り立つ fact2: 仮に「あの一般的効力は生温い」ということは事実ならこの三十代前半は受け難いということはない fact3: もしもその主婦層が練り込まないがしかしそれは刮げるとしたら「あの情報システム運営委員会は言い辛い」ということは確かだ fact4: もしあの一般的効力が歌わすかあるいは生温いならばこの三十代前半は受け難いということはない fact5: 何らかの物は総計しない fact6: もし仮にこの三十代前半は練り込まないとすれば「その主婦層は刮げる」ということは真実である fact7: あの先輩雀士は考え難いけれど総計しない fact8: もしも「あの一般的効力は考え難いかもしくは言い辛くない」ということは間違いであるとすればあの情報システム運営委員会は言い辛くない fact9: もし仮にこの三十代前半が練り込まないならばその主婦層は練り込まないがそれは刮げる fact10: 受け難いということはない物は練り込むということはない fact11: もし仮に考え難いものが総計するとするとあの一般的効力は歌わす fact12: もし仮に「考え難いし総計しない」物があるとしたらあの一般的効力は歌わす fact13: あの先輩雀士は総計するということはない fact14: その主婦層は刮げる
fact7 -> int1: 「考え難いし総計しない」ものはある; int1 & fact12 -> int2: あの一般的効力は歌わす; int2 -> int3: あの一般的効力は歌わすかまたは生温いかあるいはどちらもだ; int3 & fact4 -> int4: この三十代前半は受け難くない; fact10 -> int5: 仮にこの三十代前半が受け難くないとしたらそれは練り込まない; int4 & int5 -> int6: この三十代前半は練り込まない; int6 & fact9 -> int7: その主婦層は練り込むということはないけど刮げる; int7 & fact3 -> hypothesis;
あの情報システム運営委員会は言い辛くない
$facts$ = fact1: この三十代前半は生温いならば「総計しないしさらに歌わす」ということは成り立つ fact2: 仮に「あの一般的効力は生温い」ということは事実ならこの三十代前半は受け難いということはない fact3: もしもその主婦層が練り込まないがしかしそれは刮げるとしたら「あの情報システム運営委員会は言い辛い」ということは確かだ fact4: もしあの一般的効力が歌わすかあるいは生温いならばこの三十代前半は受け難いということはない fact5: 何らかの物は総計しない fact6: もし仮にこの三十代前半は練り込まないとすれば「その主婦層は刮げる」ということは真実である fact7: あの先輩雀士は考え難いけれど総計しない fact8: もしも「あの一般的効力は考え難いかもしくは言い辛くない」ということは間違いであるとすればあの情報システム運営委員会は言い辛くない fact9: もし仮にこの三十代前半が練り込まないならばその主婦層は練り込まないがそれは刮げる fact10: 受け難いということはない物は練り込むということはない fact11: もし仮に考え難いものが総計するとするとあの一般的効力は歌わす fact12: もし仮に「考え難いし総計しない」物があるとしたらあの一般的効力は歌わす fact13: あの先輩雀士は総計するということはない fact14: その主婦層は刮げる ; $hypothesis$ = あの情報システム運営委員会は言い辛くない ; $proof$ = 
fact7 -> int1: 「考え難いし総計しない」ものはある; int1 & fact12 -> int2: あの一般的効力は歌わす; int2 -> int3: あの一般的効力は歌わすかまたは生温いかあるいはどちらもだ; int3 & fact4 -> int4: この三十代前半は受け難くない; fact10 -> int5: 仮にこの三十代前半が受け難くないとしたらそれは練り込まない; int4 & int5 -> int6: この三十代前半は練り込まない; int6 & fact9 -> int7: その主婦層は練り込むということはないけど刮げる; int7 & fact3 -> hypothesis; __DISPROVED__
事実1: この三十代前半は生温いならば「総計しないしさらに歌わす」ということは成り立つ
事実2: 仮に「あの一般的効力は生温い」ということは事実ならこの三十代前半は受け難いということはない
事実3: もしもその主婦層が練り込まないがしかしそれは刮げるとしたら「あの情報システム運営委員会は言い辛い」ということは確かだ
事実4: もしあの一般的効力が歌わすかあるいは生温いならばこの三十代前半は受け難いということはない
事実5: 何らかの物は総計しない
事実6: もし仮にこの三十代前半は練り込まないとすれば「その主婦層は刮げる」ということは真実である
事実7: あの先輩雀士は考え難いけれど総計しない
事実8: もしも「あの一般的効力は考え難いかもしくは言い辛くない」ということは間違いであるとすればあの情報システム運営委員会は言い辛くない
事実9: もし仮にこの三十代前半が練り込まないならばその主婦層は練り込まないがそれは刮げる
事実10: 受け難いということはない物は練り込むということはない
事実11: もし仮に考え難いものが総計するとするとあの一般的効力は歌わす
事実12: もし仮に「考え難いし総計しない」物があるとしたらあの一般的効力は歌わす
事実13: あの先輩雀士は総計するということはない
事実14: その主婦層は刮げる

仮説: あの情報システム運営委員会は言い辛くない
1. 事実7から、推論1: "「考え難いし総計しない」ものはある"が導かれる
2. 推論1と事実12から、推論2: "あの一般的効力は歌わす"が導かれる
3. 推論2から、推論3: "あの一般的効力は歌わすかまたは生温いかあるいはどちらもだ"が導かれる
4. 推論3と事実4から、推論4: "この三十代前半は受け難くない"が導かれる
5. 事実10から、推論5: "仮にこの三十代前半が受け難くないとしたらそれは練り込まない"が導かれる
6. 推論4と推論5から、推論6: "この三十代前半は練り込まない"が導かれる
7. 推論6と事実9から、推論7: "その主婦層は練り込むということはないけど刮げる"が導かれる
8. 推論7と事実3から、仮説が否定される

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