あの穿通枝はきついということはない
fact1: もし仮になにがしかの物は近代主義でないかオステオパシーであるか両方ともならば手拭いでない fact2: もしもなにかは忘れ得るとすると近代主義でないかあるいはそれはオステオパシーであるかあるいはどちらもだ fact3: 「あの舟航はきつくない」ということは確かである fact4: 仮にあの学校施設・設備が加工しないならばそれは忘れ得るし近代主義だ fact5: どれもこれもは忘れ得る fact6: あの穿通枝は尿管でない fact7: あの赤蕪は尿管でない fact8: あのフォール・ド・ラ・アールはきつい fact9: 仮にあの穿通枝は尿管でないならばそれはきつい fact10: あの穿通枝はモニターする fact11: もしもあの穿通枝が恨みがましかないならきつい fact12: あの学校施設・設備は加工しない fact13: もし仮にある物はオステオパシーでないとしたらそれは手拭いでないし尿管でない fact14: もし仮に何らかの物が手拭いだとすれば尿管であるしそれにそれはきつかない
fact9 & fact6 -> hypothesis;
fact9 & fact6 -> hypothesis;
そのスコアカードは尿管だ
fact17 -> int1: あの穿通枝は忘れ得る; fact16 -> int2: もし仮にあの穿通枝が忘れ得るとしたら近代主義だということはないかあるいはオステオパシーだ; int1 & int2 -> int3: あの穿通枝は近代主義でないかもしくはオステオパシーであるかあるいは両方である; fact15 -> int4: 仮にあの穿通枝が近代主義だということはないかあるいはそれはオステオパシーであるかどちらもならそれは手拭いでない; int3 & int4 -> int5: あの穿通枝は手拭いでない; int5 -> int6: 全ては手拭いでない; int6 -> int7: そのスコアカードは手拭いでない;
$facts$ = fact1: もし仮になにがしかの物は近代主義でないかオステオパシーであるか両方ともならば手拭いでない fact2: もしもなにかは忘れ得るとすると近代主義でないかあるいはそれはオステオパシーであるかあるいはどちらもだ fact3: 「あの舟航はきつくない」ということは確かである fact4: 仮にあの学校施設・設備が加工しないならばそれは忘れ得るし近代主義だ fact5: どれもこれもは忘れ得る fact6: あの穿通枝は尿管でない fact7: あの赤蕪は尿管でない fact8: あのフォール・ド・ラ・アールはきつい fact9: 仮にあの穿通枝は尿管でないならばそれはきつい fact10: あの穿通枝はモニターする fact11: もしもあの穿通枝が恨みがましかないならきつい fact12: あの学校施設・設備は加工しない fact13: もし仮にある物はオステオパシーでないとしたらそれは手拭いでないし尿管でない fact14: もし仮に何らかの物が手拭いだとすれば尿管であるしそれにそれはきつかない ; $hypothesis$ = あの穿通枝はきついということはない ; $proof$ = 
fact9 & fact6 -> hypothesis; __DISPROVED__
事実1: もし仮になにがしかの物は近代主義でないかオステオパシーであるか両方ともならば手拭いでない
事実2: もしもなにかは忘れ得るとすると近代主義でないかあるいはそれはオステオパシーであるかあるいはどちらもだ
事実3: 「あの舟航はきつくない」ということは確かである
事実4: 仮にあの学校施設・設備が加工しないならばそれは忘れ得るし近代主義だ
事実5: どれもこれもは忘れ得る
事実6: あの穿通枝は尿管でない
事実7: あの赤蕪は尿管でない
事実8: あのフォール・ド・ラ・アールはきつい
事実9: 仮にあの穿通枝は尿管でないならばそれはきつい
事実10: あの穿通枝はモニターする
事実11: もしもあの穿通枝が恨みがましかないならきつい
事実12: あの学校施設・設備は加工しない
事実13: もし仮にある物はオステオパシーでないとしたらそれは手拭いでないし尿管でない
事実14: もし仮に何らかの物が手拭いだとすれば尿管であるしそれにそれはきつかない

仮説: あの穿通枝はきついということはない
1. 事実9と事実6から、仮説が否定される

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