この御の字はシェアしない
fact1: もしこの特異抗体が予見出来るならこの激震は分泌調節である fact2: 仮にあの腎炎症候群が上客でないとしたらこの激震は日曜休でないかまたは頸部痛であるかまたは両方だ fact3: もし仮にこの激震が分泌調節だとしたらそのケチャップはＩＧＧだ fact4: この御の字はＩＧＧである fact5: この激震は久我家だ fact6: 「そのケチャップは分泌調節だ」ということは間違っていない fact7: 「この特異抗体は予見出来ないししかもＩＧＧでない」ということは誤っているならこの御の字は予見出来るということはない fact8: この激震はシェアする fact9: もしもこの激震がシェアするとすればあの御の字は分泌調節だ fact10: もしもこの特異抗体がＩＧＧであるならばそのケチャップは久我家である fact11: 仮にこの特異抗体が分泌調節でないならばあの女性器は頸部痛であるけど予見出来ない fact12: 何らかのものは頸部痛でないならばそれは分泌調節でない fact13: もしもとある物は予見出来ないとすれば「シェアするけど久我家でない」ということは間違いである fact14: そのケチャップはＩＧＧであるか分泌調節である fact15: もしもこの激震が予見出来るとすればこの特異抗体は分泌調節である fact16: そのケチャップがＩＧＧであるとするとこの御の字はシェアする fact17: もしも「この特異抗体は久我家だ」ということは事実なら「この激震は分泌調節である」ということは真実だ fact18: もしもそのケチャップがシェアすればこの御の字はＩＧＧだ fact19: 仮にそのケチャップは分泌調節でないとしたら「この特異抗体は予見出来なくて加えてＩＧＧでない」ということは事実と異なる fact20: この特異抗体は予見出来るか久我家であるかどちらもだ
fact20 & fact1 & fact17 -> int1: この激震は分泌調節である; int1 & fact3 -> int2: そのケチャップはＩＧＧである; int2 & fact16 -> hypothesis;
この女性器は頸部痛であるかあるいは久我家であるかもしくはどちらもだ
$facts$ = fact1: もしこの特異抗体が予見出来るならこの激震は分泌調節である fact2: 仮にあの腎炎症候群が上客でないとしたらこの激震は日曜休でないかまたは頸部痛であるかまたは両方だ fact3: もし仮にこの激震が分泌調節だとしたらそのケチャップはＩＧＧだ fact4: この御の字はＩＧＧである fact5: この激震は久我家だ fact6: 「そのケチャップは分泌調節だ」ということは間違っていない fact7: 「この特異抗体は予見出来ないししかもＩＧＧでない」ということは誤っているならこの御の字は予見出来るということはない fact8: この激震はシェアする fact9: もしもこの激震がシェアするとすればあの御の字は分泌調節だ fact10: もしもこの特異抗体がＩＧＧであるならばそのケチャップは久我家である fact11: 仮にこの特異抗体が分泌調節でないならばあの女性器は頸部痛であるけど予見出来ない fact12: 何らかのものは頸部痛でないならばそれは分泌調節でない fact13: もしもとある物は予見出来ないとすれば「シェアするけど久我家でない」ということは間違いである fact14: そのケチャップはＩＧＧであるか分泌調節である fact15: もしもこの激震が予見出来るとすればこの特異抗体は分泌調節である fact16: そのケチャップがＩＧＧであるとするとこの御の字はシェアする fact17: もしも「この特異抗体は久我家だ」ということは事実なら「この激震は分泌調節である」ということは真実だ fact18: もしもそのケチャップがシェアすればこの御の字はＩＧＧだ fact19: 仮にそのケチャップは分泌調節でないとしたら「この特異抗体は予見出来なくて加えてＩＧＧでない」ということは事実と異なる fact20: この特異抗体は予見出来るか久我家であるかどちらもだ ; $hypothesis$ = この御の字はシェアしない ; $proof$ = 
fact20 & fact1 & fact17 -> int1: この激震は分泌調節である; int1 & fact3 -> int2: そのケチャップはＩＧＧである; int2 & fact16 -> hypothesis; __DISPROVED__
事実1: もしこの特異抗体が予見出来るならこの激震は分泌調節である
事実2: 仮にあの腎炎症候群が上客でないとしたらこの激震は日曜休でないかまたは頸部痛であるかまたは両方だ
事実3: もし仮にこの激震が分泌調節だとしたらそのケチャップはＩＧＧだ
事実4: この御の字はＩＧＧである
事実5: この激震は久我家だ
事実6: 「そのケチャップは分泌調節だ」ということは間違っていない
事実7: 「この特異抗体は予見出来ないししかもＩＧＧでない」ということは誤っているならこの御の字は予見出来るということはない
事実8: この激震はシェアする
事実9: もしもこの激震がシェアするとすればあの御の字は分泌調節だ
事実10: もしもこの特異抗体がＩＧＧであるならばそのケチャップは久我家である
事実11: 仮にこの特異抗体が分泌調節でないならばあの女性器は頸部痛であるけど予見出来ない
事実12: 何らかのものは頸部痛でないならばそれは分泌調節でない
事実13: もしもとある物は予見出来ないとすれば「シェアするけど久我家でない」ということは間違いである
事実14: そのケチャップはＩＧＧであるか分泌調節である
事実15: もしもこの激震が予見出来るとすればこの特異抗体は分泌調節である
事実16: そのケチャップがＩＧＧであるとするとこの御の字はシェアする
事実17: もしも「この特異抗体は久我家だ」ということは事実なら「この激震は分泌調節である」ということは真実だ
事実18: もしもそのケチャップがシェアすればこの御の字はＩＧＧだ
事実19: 仮にそのケチャップは分泌調節でないとしたら「この特異抗体は予見出来なくて加えてＩＧＧでない」ということは事実と異なる
事実20: この特異抗体は予見出来るか久我家であるかどちらもだ

仮説: この御の字はシェアしない
1. 事実20と事実1と事実17から、推論1: "この激震は分泌調節である"が導かれる
2. 推論1と事実3から、推論2: "そのケチャップはＩＧＧである"が導かれる
3. 推論2と事実16から、仮説が否定される

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