「「好ましないとすれば問えないかまたは悩ましいかもしくはどちらもである」ものはある」ということは間違っている
fact1: 「「好まし」ということは真実であるとすると問えないかあるいは悩ましい」ものはある fact2: 仮にこのレディバードが問えないならそれは突合でないか作り為さる fact3: もし仮に何らかの物は訓戒でないとすると強過ぎないかもしくは気味悪がるかあるいは両方ともだ fact4: 「底堅くないならば「差別するということはないかもしくは操縦するかまたは両方である」ということは真実な」物はある fact5: もしもあの蔓延が好ましないなら問えるかあるいは悩ましいかあるいは両方だ fact6: あの蔓延が好ましないならそれは問えないか悩ましい fact7: 仮にあの蔓延が好ましとすれば問えるということはないかそれは悩ましい fact8: 「もし「好ましない」ということは本当だとすれば問えるかあるいは悩ましい」物はある fact9: 流れ易くない物は金属球でないかあるいは悩ましいかまたは両方である fact10: ある物が問えないとしたら塗籠でないかもしくは底深い
fact6 -> hypothesis;
もしそのラジエターが問えないとすれば塗籠でないか底深いかまたは両方だ
fact11 -> hypothesis;
$facts$ = fact1: 「「好まし」ということは真実であるとすると問えないかあるいは悩ましい」ものはある fact2: 仮にこのレディバードが問えないならそれは突合でないか作り為さる fact3: もし仮に何らかの物は訓戒でないとすると強過ぎないかもしくは気味悪がるかあるいは両方ともだ fact4: 「底堅くないならば「差別するということはないかもしくは操縦するかまたは両方である」ということは真実な」物はある fact5: もしもあの蔓延が好ましないなら問えるかあるいは悩ましいかあるいは両方だ fact6: あの蔓延が好ましないならそれは問えないか悩ましい fact7: 仮にあの蔓延が好ましとすれば問えるということはないかそれは悩ましい fact8: 「もし「好ましない」ということは本当だとすれば問えるかあるいは悩ましい」物はある fact9: 流れ易くない物は金属球でないかあるいは悩ましいかまたは両方である fact10: ある物が問えないとしたら塗籠でないかもしくは底深い ; $hypothesis$ = 「「好ましないとすれば問えないかまたは悩ましいかもしくはどちらもである」ものはある」ということは間違っている ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: 「「好まし」ということは真実であるとすると問えないかあるいは悩ましい」ものはある
事実2: 仮にこのレディバードが問えないならそれは突合でないか作り為さる
事実3: もし仮に何らかの物は訓戒でないとすると強過ぎないかもしくは気味悪がるかあるいは両方ともだ
事実4: 「底堅くないならば「差別するということはないかもしくは操縦するかまたは両方である」ということは真実な」物はある
事実5: もしもあの蔓延が好ましないなら問えるかあるいは悩ましいかあるいは両方だ
事実6: あの蔓延が好ましないならそれは問えないか悩ましい
事実7: 仮にあの蔓延が好ましとすれば問えるということはないかそれは悩ましい
事実8: 「もし「好ましない」ということは本当だとすれば問えるかあるいは悩ましい」物はある
事実9: 流れ易くない物は金属球でないかあるいは悩ましいかまたは両方である
事実10: ある物が問えないとしたら塗籠でないかもしくは底深い

仮説: 「「好ましないとすれば問えないかまたは悩ましいかもしくはどちらもである」ものはある」ということは間違っている
1. 事実6から、仮説が否定される

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