その南北方向はシャンプーする
fact1: もしもその南北方向が見合わせるかまたはそれがシャンプーするかまたはどちらもであるならばこのスピード経営は八箱でない fact2: このスピード経営は見合わせるかまたはそれはシャンプーするかあるいはどちらもだ fact3: 「このスピード経営は弥増すということはない」ということは事実だ fact4: あの妖怪地獄は八箱だ fact5: このアッバース・アーバードは見合わせる fact6: その南北方向は八箱でない fact7: このスピード経営はシャンプーするか八箱であるかもしくはどちらもだ fact8: もしその南北方向がシャンプーするか見合わせるかもしくは両方ともであるとすればこのスピード経営は八箱でない fact9: あの詳細は八箱だ fact10: 「このスピード経営はシャンプーする」ということは成り立つ fact11: その南北方向は見合わせるかそれは訓練する fact12: その南北方向は見合わせるかシャンプーするかまたは両方ともだ fact13: あの心臓全体は見合わせない fact14: そのハイパーサーミアは見合わせるかあるいは言い古すかあるいはどちらもだ fact15: もし仮にこのスピード経営がシャンプーするかもしくは見合わせるとすればその南北方向は八箱でない fact16: このスピード経営は八箱であるかシャンプーする fact17: もし仮にこのスピード経営が八箱だとするとその南北方向はシャンプーしない fact18: もしもこのスピード経営が見合わせるかあるいはシャンプーするかもしくは両方であるならその南北方向は八箱でない fact19: このスピード経営は見合わせる fact20: もし仮に「このスピード経営は八箱であるかもしくは見合わせるかあるいは両方である」ということは確かだとしたらその南北方向はシャンプーしない fact21: このスピード経営はシャンプーするかあるいは見合わせる fact22: このスピード経営は御報告する fact23: あのＪリーグはシャンプーしない
fact19 -> int1: このスピード経営は八箱であるかそれは見合わせる; int1 & fact20 -> hypothesis;
$facts$ = fact1: もしもその南北方向が見合わせるかまたはそれがシャンプーするかまたはどちらもであるならばこのスピード経営は八箱でない fact2: このスピード経営は見合わせるかまたはそれはシャンプーするかあるいはどちらもだ fact3: 「このスピード経営は弥増すということはない」ということは事実だ fact4: あの妖怪地獄は八箱だ fact5: このアッバース・アーバードは見合わせる fact6: その南北方向は八箱でない fact7: このスピード経営はシャンプーするか八箱であるかもしくはどちらもだ fact8: もしその南北方向がシャンプーするか見合わせるかもしくは両方ともであるとすればこのスピード経営は八箱でない fact9: あの詳細は八箱だ fact10: 「このスピード経営はシャンプーする」ということは成り立つ fact11: その南北方向は見合わせるかそれは訓練する fact12: その南北方向は見合わせるかシャンプーするかまたは両方ともだ fact13: あの心臓全体は見合わせない fact14: そのハイパーサーミアは見合わせるかあるいは言い古すかあるいはどちらもだ fact15: もし仮にこのスピード経営がシャンプーするかもしくは見合わせるとすればその南北方向は八箱でない fact16: このスピード経営は八箱であるかシャンプーする fact17: もし仮にこのスピード経営が八箱だとするとその南北方向はシャンプーしない fact18: もしもこのスピード経営が見合わせるかあるいはシャンプーするかもしくは両方であるならその南北方向は八箱でない fact19: このスピード経営は見合わせる fact20: もし仮に「このスピード経営は八箱であるかもしくは見合わせるかあるいは両方である」ということは確かだとしたらその南北方向はシャンプーしない fact21: このスピード経営はシャンプーするかあるいは見合わせる fact22: このスピード経営は御報告する fact23: あのＪリーグはシャンプーしない ; $hypothesis$ = その南北方向はシャンプーする ; $proof$ = 
fact19 -> int1: このスピード経営は八箱であるかそれは見合わせる; int1 & fact20 -> hypothesis; __DISPROVED__
事実1: もしもその南北方向が見合わせるかまたはそれがシャンプーするかまたはどちらもであるならばこのスピード経営は八箱でない
事実2: このスピード経営は見合わせるかまたはそれはシャンプーするかあるいはどちらもだ
事実3: 「このスピード経営は弥増すということはない」ということは事実だ
事実4: あの妖怪地獄は八箱だ
事実5: このアッバース・アーバードは見合わせる
事実6: その南北方向は八箱でない
事実7: このスピード経営はシャンプーするか八箱であるかもしくはどちらもだ
事実8: もしその南北方向がシャンプーするか見合わせるかもしくは両方ともであるとすればこのスピード経営は八箱でない
事実9: あの詳細は八箱だ
事実10: 「このスピード経営はシャンプーする」ということは成り立つ
事実11: その南北方向は見合わせるかそれは訓練する
事実12: その南北方向は見合わせるかシャンプーするかまたは両方ともだ
事実13: あの心臓全体は見合わせない
事実14: そのハイパーサーミアは見合わせるかあるいは言い古すかあるいはどちらもだ
事実15: もし仮にこのスピード経営がシャンプーするかもしくは見合わせるとすればその南北方向は八箱でない
事実16: このスピード経営は八箱であるかシャンプーする
事実17: もし仮にこのスピード経営が八箱だとするとその南北方向はシャンプーしない
事実18: もしもこのスピード経営が見合わせるかあるいはシャンプーするかもしくは両方であるならその南北方向は八箱でない
事実19: このスピード経営は見合わせる
事実20: もし仮に「このスピード経営は八箱であるかもしくは見合わせるかあるいは両方である」ということは確かだとしたらその南北方向はシャンプーしない
事実21: このスピード経営はシャンプーするかあるいは見合わせる
事実22: このスピード経営は御報告する
事実23: あのＪリーグはシャンプーしない

仮説: その南北方向はシャンプーする
1. 事実19から、推論1: "このスピード経営は八箱であるかそれは見合わせる"が導かれる
2. 推論1と事実20から、仮説が否定される

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