そのゼネラル・パートナーは破顔するかもしくは移り難くないかまたは両方である
fact1: もしなんらかのものは大平元首相でないとしたら「それが口さはなくないしかつ塩っ辛くない」ということは誤っている fact2: 「「「その上下左右は見本値であるかもしくは発祥しないかもしくは両方である」ということは成り立たない」ということは成り立つならこのＫオンは発祥する」ということは成り立つ fact3: 「その薬剤は深いということはないししかも滑り易くない」ということは偽だ fact4: もし「その薬剤は深くなくてかつそれは滑り易くない」ということは間違いであるとするとそれは強権でない fact5: この黒竹が切り替うないかあるいは強権であるかもしくはどちらもであるとすればこのＫオンは移り難い fact6: 仮になんらかの物が切り替うとすると破顔するかあるいは移り難いということはないかまたはどちらもだ fact7: もし何らかの物が強権だとするとそれは切り替う fact8: もしこのＫオンは移り難いとすれば「そのゼネラル・パートナーは破顔するか移り難くないかあるいは両方ともである」ということは成り立たない fact9: 「このイギリス支配は径でない」ということは成り立つ fact10: 仮に「このイギリス支配は径だということはない」ということは事実だとすると「その上下左右は見本値であるか発祥しない」ということは事実と異なる fact11: もし仮にその薬剤が危ないということはないならばそのゼネラル・パートナーは強権であるしさらに関知する fact12: もし仮に「このＫオンは発祥する」ということは確かならこの黒竹は大平元首相でない fact13: もしその薬剤が強権でないならばこの黒竹は切り替うないかそれは強権であるかあるいは両方だ
fact4 & fact3 -> int1: その薬剤は強権でない; int1 & fact13 -> int2: この黒竹は切り替うないかもしくはそれは強権だ; int2 & fact5 -> int3: このＫオンは移り難い; int3 & fact8 -> hypothesis;
そのゼネラル・パートナーは破顔するか移り難いということはない
fact21 -> int4: もしもそのゼネラル・パートナーが切り替うなら破顔するかもしくはそれは移り難くないかまたは両方ともである; fact15 -> int5: もしそのゼネラル・パートナーは強権であるなら切り替う; fact19 -> int6: もしこの黒竹は大平元首相でないならば「口さがないということはないししかもそれは塩っ辛くない」ということは誤っている; fact20 & fact18 -> int7: 「その上下左右は見本値であるかまたはそれは発祥するということはないかあるいは両方ともである」ということは確かでない; fact14 & int7 -> int8: このＫオンは発祥する; fact17 & int8 -> int9: この黒竹は大平元首相でない; int6 & int9 -> int10: 「この黒竹が口さはなくなくて塩っ辛くない」ということは事実と異なる; int10 -> int11: 「「口さがなくないし塩っ辛いということはない」ということは事実と異なる」物はある;
$facts$ = fact1: もしなんらかのものは大平元首相でないとしたら「それが口さはなくないしかつ塩っ辛くない」ということは誤っている fact2: 「「「その上下左右は見本値であるかもしくは発祥しないかもしくは両方である」ということは成り立たない」ということは成り立つならこのＫオンは発祥する」ということは成り立つ fact3: 「その薬剤は深いということはないししかも滑り易くない」ということは偽だ fact4: もし「その薬剤は深くなくてかつそれは滑り易くない」ということは間違いであるとするとそれは強権でない fact5: この黒竹が切り替うないかあるいは強権であるかもしくはどちらもであるとすればこのＫオンは移り難い fact6: 仮になんらかの物が切り替うとすると破顔するかあるいは移り難いということはないかまたはどちらもだ fact7: もし何らかの物が強権だとするとそれは切り替う fact8: もしこのＫオンは移り難いとすれば「そのゼネラル・パートナーは破顔するか移り難くないかあるいは両方ともである」ということは成り立たない fact9: 「このイギリス支配は径でない」ということは成り立つ fact10: 仮に「このイギリス支配は径だということはない」ということは事実だとすると「その上下左右は見本値であるか発祥しない」ということは事実と異なる fact11: もし仮にその薬剤が危ないということはないならばそのゼネラル・パートナーは強権であるしさらに関知する fact12: もし仮に「このＫオンは発祥する」ということは確かならこの黒竹は大平元首相でない fact13: もしその薬剤が強権でないならばこの黒竹は切り替うないかそれは強権であるかあるいは両方だ ; $hypothesis$ = そのゼネラル・パートナーは破顔するかもしくは移り難くないかまたは両方である ; $proof$ = 
fact4 & fact3 -> int1: その薬剤は強権でない; int1 & fact13 -> int2: この黒竹は切り替うないかもしくはそれは強権だ; int2 & fact5 -> int3: このＫオンは移り難い; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: もしなんらかのものは大平元首相でないとしたら「それが口さはなくないしかつ塩っ辛くない」ということは誤っている
事実2: 「「「その上下左右は見本値であるかもしくは発祥しないかもしくは両方である」ということは成り立たない」ということは成り立つならこのＫオンは発祥する」ということは成り立つ
事実3: 「その薬剤は深いということはないししかも滑り易くない」ということは偽だ
事実4: もし「その薬剤は深くなくてかつそれは滑り易くない」ということは間違いであるとするとそれは強権でない
事実5: この黒竹が切り替うないかあるいは強権であるかもしくはどちらもであるとすればこのＫオンは移り難い
事実6: 仮になんらかの物が切り替うとすると破顔するかあるいは移り難いということはないかまたはどちらもだ
事実7: もし何らかの物が強権だとするとそれは切り替う
事実8: もしこのＫオンは移り難いとすれば「そのゼネラル・パートナーは破顔するか移り難くないかあるいは両方ともである」ということは成り立たない
事実9: 「このイギリス支配は径でない」ということは成り立つ
事実10: 仮に「このイギリス支配は径だということはない」ということは事実だとすると「その上下左右は見本値であるか発祥しない」ということは事実と異なる
事実11: もし仮にその薬剤が危ないということはないならばそのゼネラル・パートナーは強権であるしさらに関知する
事実12: もし仮に「このＫオンは発祥する」ということは確かならこの黒竹は大平元首相でない
事実13: もしその薬剤が強権でないならばこの黒竹は切り替うないかそれは強権であるかあるいは両方だ

仮説: そのゼネラル・パートナーは破顔するかもしくは移り難くないかまたは両方である
1. 事実4と事実3から、推論1: "その薬剤は強権でない"が導かれる
2. 推論1と事実13から、推論2: "この黒竹は切り替うないかもしくはそれは強権だ"が導かれる
3. 推論2と事実5から、推論3: "このＫオンは移り難い"が導かれる
4. 推論3と事実8から、仮説が否定される

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