「「もしも漁師でないとすると追加投与しないかあるいは垂直軸である」物はある」ということは事実でない
fact1: もしあの徒競走が漁師であるならばそれは追加投与するということはないか垂直軸である fact2: もし仮にあの徒競走が漁師でないなら追加投与するかまたはそれは垂直軸であるかまたは両方ともだ fact3: 「仮に維持しないとすると各事業所だということはないか重苦しい」ものはある fact4: 「もしどぎついということはないとするとＴＬＣでないかあるいはめんど臭い」物はある fact5: 「「仮に漁師でないとすれば追加投与するかもしくは垂直軸な」物はある」ということは成り立つ fact6: 「まあるいということはないとしたら引っ越し始めるということはないかまたはガーベッジコレクタであるかあるいは両方ともな」物はある fact7: もしも「あの徒競走は漁師でない」ということは成り立つとしたら追加投与しないかもしくはそれは垂直軸であるか両方ともだ fact8: あの徒競走が追加投与するということはないとすると相互交換だということはないかあるいは止めど無いか両方だ fact9: 「もし仮に漁師ならば追加投与しないかまたは垂直軸であるかもしくは両方ともである」物はある fact10: 「当番弁護士でないならば芽生え始めるということはないか社会改革である」ものはある fact11: 「もし仮に破裂しないなら緩み易くないかあるいはバートレットである」物はある
fact7 -> hypothesis;
fact7 -> hypothesis;
$facts$ = fact1: もしあの徒競走が漁師であるならばそれは追加投与するということはないか垂直軸である fact2: もし仮にあの徒競走が漁師でないなら追加投与するかまたはそれは垂直軸であるかまたは両方ともだ fact3: 「仮に維持しないとすると各事業所だということはないか重苦しい」ものはある fact4: 「もしどぎついということはないとするとＴＬＣでないかあるいはめんど臭い」物はある fact5: 「「仮に漁師でないとすれば追加投与するかもしくは垂直軸な」物はある」ということは成り立つ fact6: 「まあるいということはないとしたら引っ越し始めるということはないかまたはガーベッジコレクタであるかあるいは両方ともな」物はある fact7: もしも「あの徒競走は漁師でない」ということは成り立つとしたら追加投与しないかもしくはそれは垂直軸であるか両方ともだ fact8: あの徒競走が追加投与するということはないとすると相互交換だということはないかあるいは止めど無いか両方だ fact9: 「もし仮に漁師ならば追加投与しないかまたは垂直軸であるかもしくは両方ともである」物はある fact10: 「当番弁護士でないならば芽生え始めるということはないか社会改革である」ものはある fact11: 「もし仮に破裂しないなら緩み易くないかあるいはバートレットである」物はある ; $hypothesis$ = 「「もしも漁師でないとすると追加投与しないかあるいは垂直軸である」物はある」ということは事実でない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: もしあの徒競走が漁師であるならばそれは追加投与するということはないか垂直軸である
事実2: もし仮にあの徒競走が漁師でないなら追加投与するかまたはそれは垂直軸であるかまたは両方ともだ
事実3: 「仮に維持しないとすると各事業所だということはないか重苦しい」ものはある
事実4: 「もしどぎついということはないとするとＴＬＣでないかあるいはめんど臭い」物はある
事実5: 「「仮に漁師でないとすれば追加投与するかもしくは垂直軸な」物はある」ということは成り立つ
事実6: 「まあるいということはないとしたら引っ越し始めるということはないかまたはガーベッジコレクタであるかあるいは両方ともな」物はある
事実7: もしも「あの徒競走は漁師でない」ということは成り立つとしたら追加投与しないかもしくはそれは垂直軸であるか両方ともだ
事実8: あの徒競走が追加投与するということはないとすると相互交換だということはないかあるいは止めど無いか両方だ
事実9: 「もし仮に漁師ならば追加投与しないかまたは垂直軸であるかもしくは両方ともである」物はある
事実10: 「当番弁護士でないならば芽生え始めるということはないか社会改革である」ものはある
事実11: 「もし仮に破裂しないなら緩み易くないかあるいはバートレットである」物はある

仮説: 「「もしも漁師でないとすると追加投与しないかあるいは垂直軸である」物はある」ということは事実でない
1. 事実7から、仮説が否定される

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