その水痘は戒めない
fact1: 「その新旧交代は戒めるが凄まじくない」ということは誤りであるとするとその水痘は凄まじくない fact2: あのウワドロは寄る辺無いし届き易い fact3: 「その守備本能は盾突く一方でそれは熊野神社でない」ということは誤っていればあの三角形岩版は盾突かない fact4: すべての物は固定化するしそれに減り込む fact5: 「もしもとあるものは盾突かないならば「かわゆいということはないしその上三Ｐ橋脚でない」ということは間違っている」ということは誤りでない fact6: その植林は凄まじくてまた一連続作業だ fact7: もしなんらかのものは一連続作業であるということはないとするとそれは戒めないしその上凄まじくない fact8: 「この国際社会はし辛くないかあるいはそれは戒めないかまたはどちらもだ」ということは間違いである fact9: 仮に「なにがしかの物はかわゆくないし更にそれは三Ｐ橋脚でない」ということは間違いだとするとそれは一連続作業でない fact10: あの団結力は失効リストでないか厳ついかまたは両方ともだ fact11: 仮に「「飽きないかあるいは移し替えるということはないかあるいは両方だ」ということは成り立たない」物があるならばあの植林は凄まじくない fact12: 「「飽きないかもしくは移し替えるかまたはどちらもだ」ということは成り立たない」ものはある fact13: もしあの三角形岩版は一連続作業でないなら「「その新旧交代は戒める一方で凄まじくない」ということは確かでない」ということは真実だ fact14: 「立て出す」ものはある fact15: あのウワドロが飽きないかもしくは移し替えないかもしくはどちらもであるとするとその水痘は戒める fact16: もし仮にその水痘は凄まじくないならば「その植林は甘酸っぱくないかあるいは扱い易くないかあるいは両方ともである」ということは事実と異なる fact17: もし仮にとあるものは固定化するなら「盾突くし熊野神社であるということはない」ということは間違いである fact18: 「「県庁所在都市でないかもしくは腫れぼったくないかもしくは両方ともである」ということは嘘である」物はある fact19: もしもその植林が一連続作業でないかあるいはそれが飽きないとしたらあのウワドロは移し替える
void -> assump1: 以下のように仮定する。「あのウワドロは飽きないかもしくは移し替えないかまたは両方ともだ」ということは間違いである; assump1 -> int1: 「「飽きないかもしくは移し替えないかまたは両方ともだ」ということは成り立たない」物はある; int1 & fact11 -> int2: その植林は凄まじくない; fact6 -> int3: その植林は凄まじい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのウワドロは飽きないかそれは移し替えるということはないかまたは両方だ; int5 & fact15 -> hypothesis;
その水痘は戒めない
fact20 -> int6: もしもその水痘が一連続作業でないなら戒めないしおまけに凄まじくない;
$facts$ = fact1: 「その新旧交代は戒めるが凄まじくない」ということは誤りであるとするとその水痘は凄まじくない fact2: あのウワドロは寄る辺無いし届き易い fact3: 「その守備本能は盾突く一方でそれは熊野神社でない」ということは誤っていればあの三角形岩版は盾突かない fact4: すべての物は固定化するしそれに減り込む fact5: 「もしもとあるものは盾突かないならば「かわゆいということはないしその上三Ｐ橋脚でない」ということは間違っている」ということは誤りでない fact6: その植林は凄まじくてまた一連続作業だ fact7: もしなんらかのものは一連続作業であるということはないとするとそれは戒めないしその上凄まじくない fact8: 「この国際社会はし辛くないかあるいはそれは戒めないかまたはどちらもだ」ということは間違いである fact9: 仮に「なにがしかの物はかわゆくないし更にそれは三Ｐ橋脚でない」ということは間違いだとするとそれは一連続作業でない fact10: あの団結力は失効リストでないか厳ついかまたは両方ともだ fact11: 仮に「「飽きないかあるいは移し替えるということはないかあるいは両方だ」ということは成り立たない」物があるならばあの植林は凄まじくない fact12: 「「飽きないかもしくは移し替えるかまたはどちらもだ」ということは成り立たない」ものはある fact13: もしあの三角形岩版は一連続作業でないなら「「その新旧交代は戒める一方で凄まじくない」ということは確かでない」ということは真実だ fact14: 「立て出す」ものはある fact15: あのウワドロが飽きないかもしくは移し替えないかもしくはどちらもであるとするとその水痘は戒める fact16: もし仮にその水痘は凄まじくないならば「その植林は甘酸っぱくないかあるいは扱い易くないかあるいは両方ともである」ということは事実と異なる fact17: もし仮にとあるものは固定化するなら「盾突くし熊野神社であるということはない」ということは間違いである fact18: 「「県庁所在都市でないかもしくは腫れぼったくないかもしくは両方ともである」ということは嘘である」物はある fact19: もしもその植林が一連続作業でないかあるいはそれが飽きないとしたらあのウワドロは移し替える ; $hypothesis$ = その水痘は戒めない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのウワドロは飽きないかもしくは移し替えないかまたは両方ともだ」ということは間違いである; assump1 -> int1: 「「飽きないかもしくは移し替えないかまたは両方ともだ」ということは成り立たない」物はある; int1 & fact11 -> int2: その植林は凄まじくない; fact6 -> int3: その植林は凄まじい; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あのウワドロは飽きないかそれは移し替えるということはないかまたは両方だ; int5 & fact15 -> hypothesis; __DISPROVED__
事実1: 「その新旧交代は戒めるが凄まじくない」ということは誤りであるとするとその水痘は凄まじくない
事実2: あのウワドロは寄る辺無いし届き易い
事実3: 「その守備本能は盾突く一方でそれは熊野神社でない」ということは誤っていればあの三角形岩版は盾突かない
事実4: すべての物は固定化するしそれに減り込む
事実5: 「もしもとあるものは盾突かないならば「かわゆいということはないしその上三Ｐ橋脚でない」ということは間違っている」ということは誤りでない
事実6: その植林は凄まじくてまた一連続作業だ
事実7: もしなんらかのものは一連続作業であるということはないとするとそれは戒めないしその上凄まじくない
事実8: 「この国際社会はし辛くないかあるいはそれは戒めないかまたはどちらもだ」ということは間違いである
事実9: 仮に「なにがしかの物はかわゆくないし更にそれは三Ｐ橋脚でない」ということは間違いだとするとそれは一連続作業でない
事実10: あの団結力は失効リストでないか厳ついかまたは両方ともだ
事実11: 仮に「「飽きないかあるいは移し替えるということはないかあるいは両方だ」ということは成り立たない」物があるならばあの植林は凄まじくない
事実12: 「「飽きないかもしくは移し替えるかまたはどちらもだ」ということは成り立たない」ものはある
事実13: もしあの三角形岩版は一連続作業でないなら「「その新旧交代は戒める一方で凄まじくない」ということは確かでない」ということは真実だ
事実14: 「立て出す」ものはある
事実15: あのウワドロが飽きないかもしくは移し替えないかもしくはどちらもであるとするとその水痘は戒める
事実16: もし仮にその水痘は凄まじくないならば「その植林は甘酸っぱくないかあるいは扱い易くないかあるいは両方ともである」ということは事実と異なる
事実17: もし仮にとあるものは固定化するなら「盾突くし熊野神社であるということはない」ということは間違いである
事実18: 「「県庁所在都市でないかもしくは腫れぼったくないかもしくは両方ともである」ということは嘘である」物はある
事実19: もしもその植林が一連続作業でないかあるいはそれが飽きないとしたらあのウワドロは移し替える

仮説: その水痘は戒めない
1. 仮定1: 以下のように仮定する。「あのウワドロは飽きないかもしくは移し替えないかまたは両方ともだ」ということは間違いである
2. 仮定1から、推論1: "「「飽きないかもしくは移し替えないかまたは両方ともだ」ということは成り立たない」物はある"が導かれる
3. 推論1と事実11から、推論2: "その植林は凄まじくない"が導かれる
4. 事実6から、推論3: "その植林は凄まじい"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あのウワドロは飽きないかそれは移し替えるということはないかまたは両方だ"が導かれる
7. 推論5と事実15から、仮説が否定される

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