「「もし「悔やまないかあるいは母斑であるかもしくはどちらもである」ということは成り立たないとしたら傀儡でない」ものはある」ということは偽だ
fact1: 「もし仮に悔やむということはないかまたは母斑であるかあるいは両方ならば傀儡でない」ものはある fact2: もし仮にあるものは悔やまないがしかし傀儡であるならば現わらない fact3: もし仮に「その手作り焼き菓子は保存しないかＲＤＤ調査であるかまたは両方である」ということは成り立たないとしたらそれは傀儡である fact4: 「もし仮に「現わるかもしくは悔やむ」ということは間違っているとすれば「傀儡でない」ということは正しい」ものはある fact5: 「「現わるかあるいは母斑である」ということは嘘であるとすると悔やまない」物はある fact6: その体性は測り難くない fact7: その体性が達成し易いかそれは御揺るか両方ともであるとしたら悔やむ fact8: もし仮にその体性が現わらないかもしくは慎ましいかもしくは両方ともだとすれば「空々しかない」ということは成り立つ fact9: 「その体性は悔やまないかもしくは強制換気であるかまたは両方である」ということは誤っている fact10: 「その体性が現わるとするとその体性は聞き取り易くない」ということは本当だ fact11: 反映され易くないものは母斑だしかつ傀儡である fact12: 「「サマードレスでないかあるいは借り易いかまたは両方である」ということは嘘であるとすると二ＷＤでない」物はある fact13: その体性は小難しいということはないかまたは胡散臭いか両方ともだ fact14: もし仮にその体性が傀儡であるかもしくは現わるとしたら悔やまない fact15: その体性は付着し易いかあるいはそれは母斑であるかあるいは両方ともである fact16: 「その体性は傀儡でないかもしくは喧しいかもしくは両方ともである」ということは成り立つということはないとしたら文聖王だ fact17: 「もし「母斑であるかあるいは悔やむかまたはどちらもである」ということは嘘であるとすると現わらない」物はある fact18: もし「この研究事例は運悪いということはないかもしくは加工し易いか両方である」ということは間違いだとすれば傀儡である
void -> assump1: 以下のように仮定する。その体性は傀儡だ; assump1 -> int1: その体性は傀儡であるかもしくは現わる; int1 & fact14 -> int2: その体性は悔やまない; int2 -> int3: その体性は悔やまないかあるいは母斑であるか両方ともである; void -> assump2: 以下のように仮定する。「その体性は悔やまないかもしくは母斑であるかまたは両方ともである」ということは間違っている; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その体性は傀儡でない; [assump2] & int5 -> int6: 「その体性は悔やまないかまたはそれは母斑であるか両方ともである」ということは成り立たないとするとそれは傀儡でない; int6 -> hypothesis;
この唐辛子味噌は現わらない
fact20 -> int7: もしこの唐辛子味噌は悔やまないけど傀儡であるとしたら現わらない; fact19 -> int8: もし仮にこの唐辛子味噌は反映され易くないなら「それは母斑で傀儡だ」ということは確かだ;
$facts$ = fact1: 「もし仮に悔やむということはないかまたは母斑であるかあるいは両方ならば傀儡でない」ものはある fact2: もし仮にあるものは悔やまないがしかし傀儡であるならば現わらない fact3: もし仮に「その手作り焼き菓子は保存しないかＲＤＤ調査であるかまたは両方である」ということは成り立たないとしたらそれは傀儡である fact4: 「もし仮に「現わるかもしくは悔やむ」ということは間違っているとすれば「傀儡でない」ということは正しい」ものはある fact5: 「「現わるかあるいは母斑である」ということは嘘であるとすると悔やまない」物はある fact6: その体性は測り難くない fact7: その体性が達成し易いかそれは御揺るか両方ともであるとしたら悔やむ fact8: もし仮にその体性が現わらないかもしくは慎ましいかもしくは両方ともだとすれば「空々しかない」ということは成り立つ fact9: 「その体性は悔やまないかもしくは強制換気であるかまたは両方である」ということは誤っている fact10: 「その体性が現わるとするとその体性は聞き取り易くない」ということは本当だ fact11: 反映され易くないものは母斑だしかつ傀儡である fact12: 「「サマードレスでないかあるいは借り易いかまたは両方である」ということは嘘であるとすると二ＷＤでない」物はある fact13: その体性は小難しいということはないかまたは胡散臭いか両方ともだ fact14: もし仮にその体性が傀儡であるかもしくは現わるとしたら悔やまない fact15: その体性は付着し易いかあるいはそれは母斑であるかあるいは両方ともである fact16: 「その体性は傀儡でないかもしくは喧しいかもしくは両方ともである」ということは成り立つということはないとしたら文聖王だ fact17: 「もし「母斑であるかあるいは悔やむかまたはどちらもである」ということは嘘であるとすると現わらない」物はある fact18: もし「この研究事例は運悪いということはないかもしくは加工し易いか両方である」ということは間違いだとすれば傀儡である ; $hypothesis$ = 「「もし「悔やまないかあるいは母斑であるかもしくはどちらもである」ということは成り立たないとしたら傀儡でない」ものはある」ということは偽だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その体性は傀儡だ; assump1 -> int1: その体性は傀儡であるかもしくは現わる; int1 & fact14 -> int2: その体性は悔やまない; int2 -> int3: その体性は悔やまないかあるいは母斑であるか両方ともである; void -> assump2: 以下のように仮定する。「その体性は悔やまないかもしくは母斑であるかまたは両方ともである」ということは間違っている; int3 & assump2 -> int4: これは矛盾である; [assump1] & int4 -> int5: その体性は傀儡でない; [assump2] & int5 -> int6: 「その体性は悔やまないかまたはそれは母斑であるか両方ともである」ということは成り立たないとするとそれは傀儡でない; int6 -> hypothesis; __DISPROVED__
事実1: 「もし仮に悔やむということはないかまたは母斑であるかあるいは両方ならば傀儡でない」ものはある
事実2: もし仮にあるものは悔やまないがしかし傀儡であるならば現わらない
事実3: もし仮に「その手作り焼き菓子は保存しないかＲＤＤ調査であるかまたは両方である」ということは成り立たないとしたらそれは傀儡である
事実4: 「もし仮に「現わるかもしくは悔やむ」ということは間違っているとすれば「傀儡でない」ということは正しい」ものはある
事実5: 「「現わるかあるいは母斑である」ということは嘘であるとすると悔やまない」物はある
事実6: その体性は測り難くない
事実7: その体性が達成し易いかそれは御揺るか両方ともであるとしたら悔やむ
事実8: もし仮にその体性が現わらないかもしくは慎ましいかもしくは両方ともだとすれば「空々しかない」ということは成り立つ
事実9: 「その体性は悔やまないかもしくは強制換気であるかまたは両方である」ということは誤っている
事実10: 「その体性が現わるとするとその体性は聞き取り易くない」ということは本当だ
事実11: 反映され易くないものは母斑だしかつ傀儡である
事実12: 「「サマードレスでないかあるいは借り易いかまたは両方である」ということは嘘であるとすると二ＷＤでない」物はある
事実13: その体性は小難しいということはないかまたは胡散臭いか両方ともだ
事実14: もし仮にその体性が傀儡であるかもしくは現わるとしたら悔やまない
事実15: その体性は付着し易いかあるいはそれは母斑であるかあるいは両方ともである
事実16: 「その体性は傀儡でないかもしくは喧しいかもしくは両方ともである」ということは成り立つということはないとしたら文聖王だ
事実17: 「もし「母斑であるかあるいは悔やむかまたはどちらもである」ということは嘘であるとすると現わらない」物はある
事実18: もし「この研究事例は運悪いということはないかもしくは加工し易いか両方である」ということは間違いだとすれば傀儡である

仮説: 「「もし「悔やまないかあるいは母斑であるかもしくはどちらもである」ということは成り立たないとしたら傀儡でない」ものはある」ということは偽だ
1. 仮定1: 以下のように仮定する。その体性は傀儡だ
2. 仮定1から、推論1: "その体性は傀儡であるかもしくは現わる"が導かれる
3. 推論1と事実14から、推論2: "その体性は悔やまない"が導かれる
4. 推論2から、推論3: "その体性は悔やまないかあるいは母斑であるか両方ともである"が導かれる
5. 仮定2: 以下のように仮定する。「その体性は悔やまないかもしくは母斑であるかまたは両方ともである」ということは間違っている
6. 推論3と仮定2から、推論4: "これは矛盾である"が導かれる
7. [仮定1]と推論4から、推論5: "その体性は傀儡でない"が導かれる
8. [仮定2]と推論5から、推論6: "「その体性は悔やまないかまたはそれは母斑であるか両方ともである」ということは成り立たないとするとそれは傀儡でない"が導かれる
9. 推論6から、仮説が否定される

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