この師団はディープキスでないかそれは狙われ易くないかまたはどちらもである
fact1: もし仮に「その一文字目は董事である一方でそれは他愛無くない」ということは偽だとすればぼろい fact2: その一文字目が董事であるとすればこの師団はぼろい fact3: 仮にその一文字目が隙間無いとしたらぼろいということはない fact4: この師団は狙われ易い fact5: その一文字目は天変地異であるかもしくは隙間無いとしたらそれはぼろくない fact6: 仮に「あの膣壁は唐風でない一方でそれはみっとも可愛い」ということは真実でないならばその一文字目はみっとも可愛くない fact7: もしもあの既成教会が他愛無くないとすればあの膣壁は唐風でないしおまけにみっとも可愛くない fact8: 「あの膣壁は唐風だということはない一方でみっとも可愛い」ということは偽だ fact9: この実在感はＤ係でないしその上住み難いということはない fact10: もし仮にある物は天変地異でないとしたらそれはディープキスでないかあるいは狙われ易いということはないかまたは両方だ fact11: もしその一文字目が隙間無いならこの染色体異常症は隙間無い fact12: もしその一文字目は狙われ易くないとしたら「この師団はディープキスでないかあるいは狙われ易くないかまたはどちらもだ」ということは間違いである fact13: もし仮にその一文字目が狙われ易いということはないならこの師団は狙われ易い fact14: 仮にとあるものが天変地異でなくてその上みっとも可愛くないとすれば「狙われ易くない」ということは成り立つ fact15: 「その一文字目が董事だけどそれは他愛無いということはない」ということは成り立たない fact16: 仮に「あの膣壁はみっとも可愛くない」ということは事実であるならその一文字目は董事であるかまたはそれはぼろい fact17: 「その一文字目は董事でおまけに他愛無い」ということは成り立たない fact18: もし仮にあの膣壁が唐風であるならその一文字目はみっとも可愛くない fact19: 仮に「なんらかの物はぼろいけどそれは隙間無くない」ということは事実と異なれば「隙間無い」ということは嘘でない fact20: もし仮にその一文字目が他愛無いならばそれはぼろい
void -> assump1: 以下のように仮定する。その一文字目は天変地異である; assump1 -> int1: その一文字目は天変地異であるかまたはそれは隙間無いかまたは両方である; int1 & fact5 -> int2: その一文字目はぼろくない; fact1 & fact15 -> int3: その一文字目はぼろい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その一文字目は天変地異だということはない; fact6 & fact8 -> int6: その一文字目はみっとも可愛くない; int5 & int6 -> int7: 「その一文字目は天変地異でないしみっとも可愛くない」ということは事実である; fact14 -> int8: もし仮にその一文字目が天変地異でなくて加えてみっとも可愛いということはないならば狙われ易くない; int7 & int8 -> int9: その一文字目は狙われ易くない; int9 & fact12 -> hypothesis;
この師団はディープキスでないかもしくは狙われ易くないかまたはどちらもである
fact24 -> int10: もしこの師団が天変地異でないとしたらディープキスでないか狙われ易いということはないかあるいは両方である;
$facts$ = fact1: もし仮に「その一文字目は董事である一方でそれは他愛無くない」ということは偽だとすればぼろい fact2: その一文字目が董事であるとすればこの師団はぼろい fact3: 仮にその一文字目が隙間無いとしたらぼろいということはない fact4: この師団は狙われ易い fact5: その一文字目は天変地異であるかもしくは隙間無いとしたらそれはぼろくない fact6: 仮に「あの膣壁は唐風でない一方でそれはみっとも可愛い」ということは真実でないならばその一文字目はみっとも可愛くない fact7: もしもあの既成教会が他愛無くないとすればあの膣壁は唐風でないしおまけにみっとも可愛くない fact8: 「あの膣壁は唐風だということはない一方でみっとも可愛い」ということは偽だ fact9: この実在感はＤ係でないしその上住み難いということはない fact10: もし仮にある物は天変地異でないとしたらそれはディープキスでないかあるいは狙われ易いということはないかまたは両方だ fact11: もしその一文字目が隙間無いならこの染色体異常症は隙間無い fact12: もしその一文字目は狙われ易くないとしたら「この師団はディープキスでないかあるいは狙われ易くないかまたはどちらもだ」ということは間違いである fact13: もし仮にその一文字目が狙われ易いということはないならこの師団は狙われ易い fact14: 仮にとあるものが天変地異でなくてその上みっとも可愛くないとすれば「狙われ易くない」ということは成り立つ fact15: 「その一文字目が董事だけどそれは他愛無いということはない」ということは成り立たない fact16: 仮に「あの膣壁はみっとも可愛くない」ということは事実であるならその一文字目は董事であるかまたはそれはぼろい fact17: 「その一文字目は董事でおまけに他愛無い」ということは成り立たない fact18: もし仮にあの膣壁が唐風であるならその一文字目はみっとも可愛くない fact19: 仮に「なんらかの物はぼろいけどそれは隙間無くない」ということは事実と異なれば「隙間無い」ということは嘘でない fact20: もし仮にその一文字目が他愛無いならばそれはぼろい ; $hypothesis$ = この師団はディープキスでないかそれは狙われ易くないかまたはどちらもである ; $proof$ = 
void -> assump1: 以下のように仮定する。その一文字目は天変地異である; assump1 -> int1: その一文字目は天変地異であるかまたはそれは隙間無いかまたは両方である; int1 & fact5 -> int2: その一文字目はぼろくない; fact1 & fact15 -> int3: その一文字目はぼろい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その一文字目は天変地異だということはない; fact6 & fact8 -> int6: その一文字目はみっとも可愛くない; int5 & int6 -> int7: 「その一文字目は天変地異でないしみっとも可愛くない」ということは事実である; fact14 -> int8: もし仮にその一文字目が天変地異でなくて加えてみっとも可愛いということはないならば狙われ易くない; int7 & int8 -> int9: その一文字目は狙われ易くない; int9 & fact12 -> hypothesis; __DISPROVED__
事実1: もし仮に「その一文字目は董事である一方でそれは他愛無くない」ということは偽だとすればぼろい
事実2: その一文字目が董事であるとすればこの師団はぼろい
事実3: 仮にその一文字目が隙間無いとしたらぼろいということはない
事実4: この師団は狙われ易い
事実5: その一文字目は天変地異であるかもしくは隙間無いとしたらそれはぼろくない
事実6: 仮に「あの膣壁は唐風でない一方でそれはみっとも可愛い」ということは真実でないならばその一文字目はみっとも可愛くない
事実7: もしもあの既成教会が他愛無くないとすればあの膣壁は唐風でないしおまけにみっとも可愛くない
事実8: 「あの膣壁は唐風だということはない一方でみっとも可愛い」ということは偽だ
事実9: この実在感はＤ係でないしその上住み難いということはない
事実10: もし仮にある物は天変地異でないとしたらそれはディープキスでないかあるいは狙われ易いということはないかまたは両方だ
事実11: もしその一文字目が隙間無いならこの染色体異常症は隙間無い
事実12: もしその一文字目は狙われ易くないとしたら「この師団はディープキスでないかあるいは狙われ易くないかまたはどちらもだ」ということは間違いである
事実13: もし仮にその一文字目が狙われ易いということはないならこの師団は狙われ易い
事実14: 仮にとあるものが天変地異でなくてその上みっとも可愛くないとすれば「狙われ易くない」ということは成り立つ
事実15: 「その一文字目が董事だけどそれは他愛無いということはない」ということは成り立たない
事実16: 仮に「あの膣壁はみっとも可愛くない」ということは事実であるならその一文字目は董事であるかまたはそれはぼろい
事実17: 「その一文字目は董事でおまけに他愛無い」ということは成り立たない
事実18: もし仮にあの膣壁が唐風であるならその一文字目はみっとも可愛くない
事実19: 仮に「なんらかの物はぼろいけどそれは隙間無くない」ということは事実と異なれば「隙間無い」ということは嘘でない
事実20: もし仮にその一文字目が他愛無いならばそれはぼろい

仮説: この師団はディープキスでないかそれは狙われ易くないかまたはどちらもである
1. 仮定1: 以下のように仮定する。その一文字目は天変地異である
2. 仮定1から、推論1: "その一文字目は天変地異であるかまたはそれは隙間無いかまたは両方である"が導かれる
3. 推論1と事実5から、推論2: "その一文字目はぼろくない"が導かれる
4. 事実1と事実15から、推論3: "その一文字目はぼろい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その一文字目は天変地異だということはない"が導かれる
7. 事実6と事実8から、推論6: "その一文字目はみっとも可愛くない"が導かれる
8. 推論5と推論6から、推論7: "「その一文字目は天変地異でないしみっとも可愛くない」ということは事実である"が導かれる
9. 事実14から、推論8: "もし仮にその一文字目が天変地異でなくて加えてみっとも可愛いということはないならば狙われ易くない"が導かれる
10. 推論7と推論8から、推論9: "その一文字目は狙われ易くない"が導かれる
11. 推論9と事実12から、仮説が否定される

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