あの石子は可笑しということはない
fact1: もしも「何らかのものはミス・サウスであるし罹り易い」ということは偽ならば可笑しない fact2: このＵＦＣはミス・サウスである fact3: もし「あの石子は可笑しない」ということは間違っていないとすると「この無謀はサツマ芋だし剥がれ易い」ということは成り立たない fact4: 「「ミス・サウスであるし剥がれ易い」ということは成り立たない」ものはある fact5: 「サツマ芋であるしさらに剥がれ易い」物はある fact6: もしも「「サツマ芋でしかも剥がれ易い」ということは嘘な」ものがあればこのＵＦＣはミス・サウスでない
void -> assump1: 以下のように仮定する。あの石子は可笑しということはない; fact3 & assump1 -> int1: 「この無謀はサツマ芋であるしかつ剥がれ易い」ということは偽だ; int1 -> int2: 「「サツマ芋だしそれに剥がれ易い」ということは嘘である」ものはある; int2 & fact6 -> int3: このＵＦＣはミス・サウスでない; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
あの石子は可笑しない
fact7 -> int5: もし仮に「あの石子がミス・サウスだしその上罹り易い」ということは成り立たないとすれば「それは可笑しない」ということは正しい;
$facts$ = fact1: もしも「何らかのものはミス・サウスであるし罹り易い」ということは偽ならば可笑しない fact2: このＵＦＣはミス・サウスである fact3: もし「あの石子は可笑しない」ということは間違っていないとすると「この無謀はサツマ芋だし剥がれ易い」ということは成り立たない fact4: 「「ミス・サウスであるし剥がれ易い」ということは成り立たない」ものはある fact5: 「サツマ芋であるしさらに剥がれ易い」物はある fact6: もしも「「サツマ芋でしかも剥がれ易い」ということは嘘な」ものがあればこのＵＦＣはミス・サウスでない ; $hypothesis$ = あの石子は可笑しということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの石子は可笑しということはない; fact3 & assump1 -> int1: 「この無謀はサツマ芋であるしかつ剥がれ易い」ということは偽だ; int1 -> int2: 「「サツマ芋だしそれに剥がれ易い」ということは嘘である」ものはある; int2 & fact6 -> int3: このＵＦＣはミス・サウスでない; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしも「何らかのものはミス・サウスであるし罹り易い」ということは偽ならば可笑しない
事実2: このＵＦＣはミス・サウスである
事実3: もし「あの石子は可笑しない」ということは間違っていないとすると「この無謀はサツマ芋だし剥がれ易い」ということは成り立たない
事実4: 「「ミス・サウスであるし剥がれ易い」ということは成り立たない」ものはある
事実5: 「サツマ芋であるしさらに剥がれ易い」物はある
事実6: もしも「「サツマ芋でしかも剥がれ易い」ということは嘘な」ものがあればこのＵＦＣはミス・サウスでない

仮説: あの石子は可笑しということはない
1. 仮定1: 以下のように仮定する。あの石子は可笑しということはない
2. 事実3と仮定1から、推論1: "「この無謀はサツマ芋であるしかつ剥がれ易い」ということは偽だ"が導かれる
3. 推論1から、推論2: "「「サツマ芋だしそれに剥がれ易い」ということは嘘である」ものはある"が導かれる
4. 推論2と事実6から、推論3: "このＵＦＣはミス・サウスでない"が導かれる
5. 推論3と事実2から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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