「「もし仮におどろおどろしいか抜き難くないとしたら掛け難くない」物はある」ということは誤っている
fact1: 「もし甘いか基礎付けるか両方ともであるとすると素っ気なくない」ものはある fact2: もしその灸は弧状であるかし辛くないならばそれは掛け難くない fact3: 「仮に食い止めるかもしくは首尾良くないかまたは両方であるならば甚だしない」ものはある fact4: もし仮にそのブーブが灯油だとすると怠いということはない fact5: 仮にそのブーブは保存・反映するかどぎついということはないかもしくは両方ともであるとすると抜き難い fact6: もしそのブーブが決め難いかまたは私的領域であるかどちらもならば「抜き難くない」ということは事実である fact7: そのブーブがおどろおどろしいかまたはそれは抜き難いかあるいは両方ともならばそれは掛け難いということはない fact8: もしなにがしかの物が御聞かせ願えるかそれは御し易いということはないかまたは両方ともだとすればそれは真白くない fact9: もし仮にそのブーブがおどろおどろしいかもしくは抜き難くないとしたらそれは掛け難いということはない fact10: そのブーブがおどろおどろしいか抜き難くないか両方ともなら掛け難い
fact9 -> hypothesis;
「もし仮に御聞かせ願えるかあるいは御し易くないなら真白くない」ものはある
fact11 -> int1: もしもこのマリナーが御聞かせ願えるかまたはそれは御し易くないかどちらもであるなら「それは真白くない」ということは確かだ; int1 -> hypothesis;
$facts$ = fact1: 「もし甘いか基礎付けるか両方ともであるとすると素っ気なくない」ものはある fact2: もしその灸は弧状であるかし辛くないならばそれは掛け難くない fact3: 「仮に食い止めるかもしくは首尾良くないかまたは両方であるならば甚だしない」ものはある fact4: もし仮にそのブーブが灯油だとすると怠いということはない fact5: 仮にそのブーブは保存・反映するかどぎついということはないかもしくは両方ともであるとすると抜き難い fact6: もしそのブーブが決め難いかまたは私的領域であるかどちらもならば「抜き難くない」ということは事実である fact7: そのブーブがおどろおどろしいかまたはそれは抜き難いかあるいは両方ともならばそれは掛け難いということはない fact8: もしなにがしかの物が御聞かせ願えるかそれは御し易いということはないかまたは両方ともだとすればそれは真白くない fact9: もし仮にそのブーブがおどろおどろしいかもしくは抜き難くないとしたらそれは掛け難いということはない fact10: そのブーブがおどろおどろしいか抜き難くないか両方ともなら掛け難い ; $hypothesis$ = 「「もし仮におどろおどろしいか抜き難くないとしたら掛け難くない」物はある」ということは誤っている ; $proof$ = 
fact9 -> hypothesis; __DISPROVED__
事実1: 「もし甘いか基礎付けるか両方ともであるとすると素っ気なくない」ものはある
事実2: もしその灸は弧状であるかし辛くないならばそれは掛け難くない
事実3: 「仮に食い止めるかもしくは首尾良くないかまたは両方であるならば甚だしない」ものはある
事実4: もし仮にそのブーブが灯油だとすると怠いということはない
事実5: 仮にそのブーブは保存・反映するかどぎついということはないかもしくは両方ともであるとすると抜き難い
事実6: もしそのブーブが決め難いかまたは私的領域であるかどちらもならば「抜き難くない」ということは事実である
事実7: そのブーブがおどろおどろしいかまたはそれは抜き難いかあるいは両方ともならばそれは掛け難いということはない
事実8: もしなにがしかの物が御聞かせ願えるかそれは御し易いということはないかまたは両方ともだとすればそれは真白くない
事実9: もし仮にそのブーブがおどろおどろしいかもしくは抜き難くないとしたらそれは掛け難いということはない
事実10: そのブーブがおどろおどろしいか抜き難くないか両方ともなら掛け難い

仮説: 「「もし仮におどろおどろしいか抜き難くないとしたら掛け難くない」物はある」ということは誤っている
1. 事実9から、仮説が否定される

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