「もしあの化学肥料は薄明るくないとすると「あの化学肥料は最終入場でないかあるいは二十六軒であるかまたはどちらもである」ということは成り立たない」ということは嘘だ
fact1: 仮にあるものは薄明るくないなら「それは最終入場でないか二十六軒であるかもしくは両方だ」ということは成り立たない fact2: もしも「何らかの物は薄明るい」ということは確かだとすると「それは最終入場でないかもしくはそれは二十六軒であるか両方ともだ」ということは成り立たない fact3: 「もしもあの化学肥料が薄明るくないとしたらあの化学肥料は最終入場でないかあるいは二十六軒であるかまたは両方ともだ」ということは成り立つ fact4: 薄明るくないものは最終入場でないかもしくは二十六軒であるかもしくはどちらもである fact5: あの化学肥料は薄まらないとすると「それは最終入場でないか同情するかもしくは両方ともである」ということは成り立たない fact6: もしあの化学肥料は薄明るいならば「それは最終入場でないかまたはそれは二十六軒であるかまたは両方ともだ」ということは誤りだ fact7: 仮に何らかの物が湯沸かし器であるということはないとすると就労するということはないか膨らみ切るか両方ともだ fact8: もし仮にあの化学肥料は薄明るくないとしたら「それは最終入場である」ということは確かである
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 仮にあるものは薄明るくないなら「それは最終入場でないか二十六軒であるかもしくは両方だ」ということは成り立たない fact2: もしも「何らかの物は薄明るい」ということは確かだとすると「それは最終入場でないかもしくはそれは二十六軒であるか両方ともだ」ということは成り立たない fact3: 「もしもあの化学肥料が薄明るくないとしたらあの化学肥料は最終入場でないかあるいは二十六軒であるかまたは両方ともだ」ということは成り立つ fact4: 薄明るくないものは最終入場でないかもしくは二十六軒であるかもしくはどちらもである fact5: あの化学肥料は薄まらないとすると「それは最終入場でないか同情するかもしくは両方ともである」ということは成り立たない fact6: もしあの化学肥料は薄明るいならば「それは最終入場でないかまたはそれは二十六軒であるかまたは両方ともだ」ということは誤りだ fact7: 仮に何らかの物が湯沸かし器であるということはないとすると就労するということはないか膨らみ切るか両方ともだ fact8: もし仮にあの化学肥料は薄明るくないとしたら「それは最終入場である」ということは確かである ; $hypothesis$ = 「もしあの化学肥料は薄明るくないとすると「あの化学肥料は最終入場でないかあるいは二十六軒であるかまたはどちらもである」ということは成り立たない」ということは嘘だ ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 仮にあるものは薄明るくないなら「それは最終入場でないか二十六軒であるかもしくは両方だ」ということは成り立たない
事実2: もしも「何らかの物は薄明るい」ということは確かだとすると「それは最終入場でないかもしくはそれは二十六軒であるか両方ともだ」ということは成り立たない
事実3: 「もしもあの化学肥料が薄明るくないとしたらあの化学肥料は最終入場でないかあるいは二十六軒であるかまたは両方ともだ」ということは成り立つ
事実4: 薄明るくないものは最終入場でないかもしくは二十六軒であるかもしくはどちらもである
事実5: あの化学肥料は薄まらないとすると「それは最終入場でないか同情するかもしくは両方ともである」ということは成り立たない
事実6: もしあの化学肥料は薄明るいならば「それは最終入場でないかまたはそれは二十六軒であるかまたは両方ともだ」ということは誤りだ
事実7: 仮に何らかの物が湯沸かし器であるということはないとすると就労するということはないか膨らみ切るか両方ともだ
事実8: もし仮にあの化学肥料は薄明るくないとしたら「それは最終入場である」ということは確かである

仮説: 「もしあの化学肥料は薄明るくないとすると「あの化学肥料は最終入場でないかあるいは二十六軒であるかまたはどちらもである」ということは成り立たない」ということは嘘だ
1. 事実1から、仮説が否定される

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