この後角は出納である
fact1: もしあの疎水は一時停止するとすると「この後角は毒々しかないかあるいは問い掛けない」ということは偽だ fact2: もしも「この後角は毒々しかないかあるいは問い掛けないかもしくはどちらもである」ということは成り立たないならばそれは出納でない fact3: もし「何らかの物は愛くるしいかあるいはそれは禍々しかない」ということは嘘だとしたらそれは振振だ fact4: あの疎水は振振であるとすれば一時停止する fact5: 仮に「この平釜は遅れない一方で毒々しい」ということは正しいとしたらこの催奇性は毒々しいということはない fact6: この催奇性が毒々しかないとしたらこの後角は一時停止しない fact7: もし仮に何かは愛くるしいかまたは禍々しかないかあるいは両方であるとしたら旨し fact8: あの疎水は旨しない fact9: もし仮に「この後角は一時停止するかまたは愛くるしいかまたは両方だ」ということは成り立たないならば毒々しい fact10: もしもあるものは一時停止しないとすれば「問い掛けるしかつそれは旨し」ということは嘘である fact11: あの疎水は禍々しい fact12: もし「この後角は問い掛けるしかつ旨し」ということは確かであるということはないならばそれは旨しない
fact7 -> int1: もしあの疎水は愛くるしいかもしくは禍々しかないかどちらもだとすれば旨し; void -> assump1: 以下のように仮定する。あの疎水は愛くるしいかまたはそれは禍々しかないかどちらもだ; int1 & assump1 -> int2: あの疎水は旨し; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの疎水は愛くるしいかあるいは禍々しかない」ということは嘘である; fact3 -> int5: 「あの疎水は愛くるしいかそれは禍々しかない」ということは成り立たないならば「それは振振である」ということは成り立つ; int4 & int5 -> int6: あの疎水は振振だ; int6 & fact4 -> int7: あの疎水は一時停止する; int7 & fact1 -> int8: 「この後角は毒々しかないか問い掛けないかまたは両方ともである」ということは嘘だ; int8 & fact2 -> hypothesis;
この後角は出納である
fact15 -> int9: もしこの後角は一時停止しないとすると「問い掛けるしまたそれは旨し」ということは誤りである;
$facts$ = fact1: もしあの疎水は一時停止するとすると「この後角は毒々しかないかあるいは問い掛けない」ということは偽だ fact2: もしも「この後角は毒々しかないかあるいは問い掛けないかもしくはどちらもである」ということは成り立たないならばそれは出納でない fact3: もし「何らかの物は愛くるしいかあるいはそれは禍々しかない」ということは嘘だとしたらそれは振振だ fact4: あの疎水は振振であるとすれば一時停止する fact5: 仮に「この平釜は遅れない一方で毒々しい」ということは正しいとしたらこの催奇性は毒々しいということはない fact6: この催奇性が毒々しかないとしたらこの後角は一時停止しない fact7: もし仮に何かは愛くるしいかまたは禍々しかないかあるいは両方であるとしたら旨し fact8: あの疎水は旨しない fact9: もし仮に「この後角は一時停止するかまたは愛くるしいかまたは両方だ」ということは成り立たないならば毒々しい fact10: もしもあるものは一時停止しないとすれば「問い掛けるしかつそれは旨し」ということは嘘である fact11: あの疎水は禍々しい fact12: もし「この後角は問い掛けるしかつ旨し」ということは確かであるということはないならばそれは旨しない ; $hypothesis$ = この後角は出納である ; $proof$ = 
fact7 -> int1: もしあの疎水は愛くるしいかもしくは禍々しかないかどちらもだとすれば旨し; void -> assump1: 以下のように仮定する。あの疎水は愛くるしいかまたはそれは禍々しかないかどちらもだ; int1 & assump1 -> int2: あの疎水は旨し; int2 & fact8 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの疎水は愛くるしいかあるいは禍々しかない」ということは嘘である; fact3 -> int5: 「あの疎水は愛くるしいかそれは禍々しかない」ということは成り立たないならば「それは振振である」ということは成り立つ; int4 & int5 -> int6: あの疎水は振振だ; int6 & fact4 -> int7: あの疎水は一時停止する; int7 & fact1 -> int8: 「この後角は毒々しかないか問い掛けないかまたは両方ともである」ということは嘘だ; int8 & fact2 -> hypothesis; __DISPROVED__
事実1: もしあの疎水は一時停止するとすると「この後角は毒々しかないかあるいは問い掛けない」ということは偽だ
事実2: もしも「この後角は毒々しかないかあるいは問い掛けないかもしくはどちらもである」ということは成り立たないならばそれは出納でない
事実3: もし「何らかの物は愛くるしいかあるいはそれは禍々しかない」ということは嘘だとしたらそれは振振だ
事実4: あの疎水は振振であるとすれば一時停止する
事実5: 仮に「この平釜は遅れない一方で毒々しい」ということは正しいとしたらこの催奇性は毒々しいということはない
事実6: この催奇性が毒々しかないとしたらこの後角は一時停止しない
事実7: もし仮に何かは愛くるしいかまたは禍々しかないかあるいは両方であるとしたら旨し
事実8: あの疎水は旨しない
事実9: もし仮に「この後角は一時停止するかまたは愛くるしいかまたは両方だ」ということは成り立たないならば毒々しい
事実10: もしもあるものは一時停止しないとすれば「問い掛けるしかつそれは旨し」ということは嘘である
事実11: あの疎水は禍々しい
事実12: もし「この後角は問い掛けるしかつ旨し」ということは確かであるということはないならばそれは旨しない

仮説: この後角は出納である
1. 事実7から、推論1: "もしあの疎水は愛くるしいかもしくは禍々しかないかどちらもだとすれば旨し"が導かれる
2. 仮定1: 以下のように仮定する。あの疎水は愛くるしいかまたはそれは禍々しかないかどちらもだ
3. 推論1と仮定1から、推論2: "あの疎水は旨し"が導かれる
4. 推論2と事実8から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの疎水は愛くるしいかあるいは禍々しかない」ということは嘘である"が導かれる
6. 事実3から、推論5: "「あの疎水は愛くるしいかそれは禍々しかない」ということは成り立たないならば「それは振振である」ということは成り立つ"が導かれる
7. 推論4と推論5から、推論6: "あの疎水は振振だ"が導かれる
8. 推論6と事実4から、推論7: "あの疎水は一時停止する"が導かれる
9. 推論7と事実1から、推論8: "「この後角は毒々しかないか問い掛けないかまたは両方ともである」ということは嘘だ"が導かれる
10. 推論8と事実2から、仮説が否定される

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