そのγ‐ＮＩＯＯＨは界面活性剤だ
fact1: その曲殿がめぼしくない一方で改編するならあのウイークはめぼしくない fact2: 仮にその曲殿が縁遠いならばそのγ‐ＮＩＯＯＨは縁遠くない一方で遠い fact3: もしなにかは教訓しないとすれば「「遠いかあるいは縁遠いかあるいは両方である」ということは事実である」ということは成り立たない fact4: もし仮にその非礼が瞬きするとするとそれは売り込む fact5: そのγ‐ＮＩＯＯＨは縁遠くない fact6: 仮にそのγ‐ＮＩＯＯＨは縁遠いということはないけど遠いとすると界面活性剤であるということはない fact7: もしもあのウイークが真っ黒くないが教訓するとすればその非礼は教訓しない fact8: 仮にその曲殿が御強いとしたらめぼしいということはないがしかし改編する fact9: その非礼が瞬きしないとしたらあのウイークは言い聞かすし常習性である fact10: 何らかのものが常習性でないならそれは言い聞かすしそれは売り込まない fact11: 「もしもその非礼が瞬きするということはないならばあのウイークは常習性である」ということは本当だ fact12: 「「なんらかの物は瞬きしなくて更にそれは界面活性剤でない」ということは間違いであるとすると界面活性剤だ」ということは嘘でない fact13: その非礼は売り込まない fact14: 「仮に何らかのものは売り込むなら「それは瞬きしなくてそれに界面活性剤であるということはない」ということは成り立たない」ということは正しい fact15: あのウイークが言い聞かすならばあの曲殿は縁遠い fact16: あのウイークがめぼしいということはないなら真っ黒くないけれど教訓する fact17: もしもその非礼が言い聞かす一方で売り込まないとすればそのγ‐ＮＩＯＯＨは売り込む fact18: もし仮に「あるものは遠いかまたは縁遠いかどちらもだ」ということは正しくないならそれは常習性でない fact19: もしもある物が意識出来るとすればそれは遠い
void -> assump1: 以下のように仮定する。その非礼は瞬きする; fact4 & assump1 -> int1: その非礼は売り込む; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> int3: その非礼は瞬きしない; int3 & fact9 -> int4: あのウイークは言い聞かすし加えて常習性だ; int4 -> int5: あのウイークは言い聞かす; int5 & fact15 -> int6: その曲殿は縁遠い; int6 & fact2 -> int7: そのγ‐ＮＩＯＯＨは縁遠いということはないけど遠い; int7 & fact6 -> hypothesis;
仮にその千八百五十年代が意識出来るとすると遠い
fact20 -> hypothesis;
$facts$ = fact1: その曲殿がめぼしくない一方で改編するならあのウイークはめぼしくない fact2: 仮にその曲殿が縁遠いならばそのγ‐ＮＩＯＯＨは縁遠くない一方で遠い fact3: もしなにかは教訓しないとすれば「「遠いかあるいは縁遠いかあるいは両方である」ということは事実である」ということは成り立たない fact4: もし仮にその非礼が瞬きするとするとそれは売り込む fact5: そのγ‐ＮＩＯＯＨは縁遠くない fact6: 仮にそのγ‐ＮＩＯＯＨは縁遠いということはないけど遠いとすると界面活性剤であるということはない fact7: もしもあのウイークが真っ黒くないが教訓するとすればその非礼は教訓しない fact8: 仮にその曲殿が御強いとしたらめぼしいということはないがしかし改編する fact9: その非礼が瞬きしないとしたらあのウイークは言い聞かすし常習性である fact10: 何らかのものが常習性でないならそれは言い聞かすしそれは売り込まない fact11: 「もしもその非礼が瞬きするということはないならばあのウイークは常習性である」ということは本当だ fact12: 「「なんらかの物は瞬きしなくて更にそれは界面活性剤でない」ということは間違いであるとすると界面活性剤だ」ということは嘘でない fact13: その非礼は売り込まない fact14: 「仮に何らかのものは売り込むなら「それは瞬きしなくてそれに界面活性剤であるということはない」ということは成り立たない」ということは正しい fact15: あのウイークが言い聞かすならばあの曲殿は縁遠い fact16: あのウイークがめぼしいということはないなら真っ黒くないけれど教訓する fact17: もしもその非礼が言い聞かす一方で売り込まないとすればそのγ‐ＮＩＯＯＨは売り込む fact18: もし仮に「あるものは遠いかまたは縁遠いかどちらもだ」ということは正しくないならそれは常習性でない fact19: もしもある物が意識出来るとすればそれは遠い ; $hypothesis$ = そのγ‐ＮＩＯＯＨは界面活性剤だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その非礼は瞬きする; fact4 & assump1 -> int1: その非礼は売り込む; int1 & fact13 -> int2: これは矛盾である; [assump1] & int2 -> int3: その非礼は瞬きしない; int3 & fact9 -> int4: あのウイークは言い聞かすし加えて常習性だ; int4 -> int5: あのウイークは言い聞かす; int5 & fact15 -> int6: その曲殿は縁遠い; int6 & fact2 -> int7: そのγ‐ＮＩＯＯＨは縁遠いということはないけど遠い; int7 & fact6 -> hypothesis; __DISPROVED__
事実1: その曲殿がめぼしくない一方で改編するならあのウイークはめぼしくない
事実2: 仮にその曲殿が縁遠いならばそのγ‐ＮＩＯＯＨは縁遠くない一方で遠い
事実3: もしなにかは教訓しないとすれば「「遠いかあるいは縁遠いかあるいは両方である」ということは事実である」ということは成り立たない
事実4: もし仮にその非礼が瞬きするとするとそれは売り込む
事実5: そのγ‐ＮＩＯＯＨは縁遠くない
事実6: 仮にそのγ‐ＮＩＯＯＨは縁遠いということはないけど遠いとすると界面活性剤であるということはない
事実7: もしもあのウイークが真っ黒くないが教訓するとすればその非礼は教訓しない
事実8: 仮にその曲殿が御強いとしたらめぼしいということはないがしかし改編する
事実9: その非礼が瞬きしないとしたらあのウイークは言い聞かすし常習性である
事実10: 何らかのものが常習性でないならそれは言い聞かすしそれは売り込まない
事実11: 「もしもその非礼が瞬きするということはないならばあのウイークは常習性である」ということは本当だ
事実12: 「「なんらかの物は瞬きしなくて更にそれは界面活性剤でない」ということは間違いであるとすると界面活性剤だ」ということは嘘でない
事実13: その非礼は売り込まない
事実14: 「仮に何らかのものは売り込むなら「それは瞬きしなくてそれに界面活性剤であるということはない」ということは成り立たない」ということは正しい
事実15: あのウイークが言い聞かすならばあの曲殿は縁遠い
事実16: あのウイークがめぼしいということはないなら真っ黒くないけれど教訓する
事実17: もしもその非礼が言い聞かす一方で売り込まないとすればそのγ‐ＮＩＯＯＨは売り込む
事実18: もし仮に「あるものは遠いかまたは縁遠いかどちらもだ」ということは正しくないならそれは常習性でない
事実19: もしもある物が意識出来るとすればそれは遠い

仮説: そのγ‐ＮＩＯＯＨは界面活性剤だ
1. 仮定1: 以下のように仮定する。その非礼は瞬きする
2. 事実4と仮定1から、推論1: "その非礼は売り込む"が導かれる
3. 推論1と事実13から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その非礼は瞬きしない"が導かれる
5. 推論3と事実9から、推論4: "あのウイークは言い聞かすし加えて常習性だ"が導かれる
6. 推論4から、推論5: "あのウイークは言い聞かす"が導かれる
7. 推論5と事実15から、推論6: "その曲殿は縁遠い"が導かれる
8. 推論6と事実2から、推論7: "そのγ‐ＮＩＯＯＨは縁遠いということはないけど遠い"が導かれる
9. 推論7と事実6から、仮説が否定される

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