「その詞薩等は繁殖し易くないしさらに晴れない」ということは嘘である
fact1: 「その詞薩等はたどたどしいということはないがしかし犯し難い」ということは成り立たない fact2: 犯し難い物は繁殖し易くないしかつ晴れるということはない fact3: 「その詞薩等は繁殖し易くないけれどそれは晴れる」ということは間違いだ fact4: 「その詞薩等はたどたどしくなくてそれにそれは犯し難くない」ということは誤っている fact5: その詞薩等は繁殖し易くないけれど晴れるとすると「不味くない」ということは成り立つ fact6: 仮に「その詞薩等は犯し難い」ということは本当だとすれば「不味い」ということは確かだ fact7: 「その詞薩等はたどたどしくなくてかつ犯し難くない」ということは成り立たないとすると「それは不味い」ということは真実である fact8: その詞薩等は繁殖し易いけれど晴れないとすればそれは不味くない fact9: もし仮に繁殖し易いものが晴れないとすれば不味くない fact10: 「その詞薩等は繁殖し易いけれど晴れない」ということは偽である fact11: もし仮にその専門医が不味いならばその詞薩等は犯し難い fact12: 仮になんらかの物は繁殖し易くないけど晴れるとすると不味くない fact13: もし繁殖し易くない物は晴れないならば「不味くない」ということは成り立つ
fact13 -> int1: もしその詞薩等は繁殖し易いということはないしかつ晴れないならばそれは不味くない; void -> assump1: 以下のように仮定する。その詞薩等は繁殖し易くないし晴れない; int1 & assump1 -> int2: その詞薩等は不味くない; fact7 & fact4 -> int3: その詞薩等は不味い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
その詞薩等は繁殖し易くないしかつ晴れない
fact14 -> int5: 仮にその詞薩等が犯し難いならばそれは繁殖し易くないしそれに晴れない;
$facts$ = fact1: 「その詞薩等はたどたどしいということはないがしかし犯し難い」ということは成り立たない fact2: 犯し難い物は繁殖し易くないしかつ晴れるということはない fact3: 「その詞薩等は繁殖し易くないけれどそれは晴れる」ということは間違いだ fact4: 「その詞薩等はたどたどしくなくてそれにそれは犯し難くない」ということは誤っている fact5: その詞薩等は繁殖し易くないけれど晴れるとすると「不味くない」ということは成り立つ fact6: 仮に「その詞薩等は犯し難い」ということは本当だとすれば「不味い」ということは確かだ fact7: 「その詞薩等はたどたどしくなくてかつ犯し難くない」ということは成り立たないとすると「それは不味い」ということは真実である fact8: その詞薩等は繁殖し易いけれど晴れないとすればそれは不味くない fact9: もし仮に繁殖し易いものが晴れないとすれば不味くない fact10: 「その詞薩等は繁殖し易いけれど晴れない」ということは偽である fact11: もし仮にその専門医が不味いならばその詞薩等は犯し難い fact12: 仮になんらかの物は繁殖し易くないけど晴れるとすると不味くない fact13: もし繁殖し易くない物は晴れないならば「不味くない」ということは成り立つ ; $hypothesis$ = 「その詞薩等は繁殖し易くないしさらに晴れない」ということは嘘である ; $proof$ = 
fact13 -> int1: もしその詞薩等は繁殖し易いということはないしかつ晴れないならばそれは不味くない; void -> assump1: 以下のように仮定する。その詞薩等は繁殖し易くないし晴れない; int1 & assump1 -> int2: その詞薩等は不味くない; fact7 & fact4 -> int3: その詞薩等は不味い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 「その詞薩等はたどたどしいということはないがしかし犯し難い」ということは成り立たない
事実2: 犯し難い物は繁殖し易くないしかつ晴れるということはない
事実3: 「その詞薩等は繁殖し易くないけれどそれは晴れる」ということは間違いだ
事実4: 「その詞薩等はたどたどしくなくてそれにそれは犯し難くない」ということは誤っている
事実5: その詞薩等は繁殖し易くないけれど晴れるとすると「不味くない」ということは成り立つ
事実6: 仮に「その詞薩等は犯し難い」ということは本当だとすれば「不味い」ということは確かだ
事実7: 「その詞薩等はたどたどしくなくてかつ犯し難くない」ということは成り立たないとすると「それは不味い」ということは真実である
事実8: その詞薩等は繁殖し易いけれど晴れないとすればそれは不味くない
事実9: もし仮に繁殖し易いものが晴れないとすれば不味くない
事実10: 「その詞薩等は繁殖し易いけれど晴れない」ということは偽である
事実11: もし仮にその専門医が不味いならばその詞薩等は犯し難い
事実12: 仮になんらかの物は繁殖し易くないけど晴れるとすると不味くない
事実13: もし繁殖し易くない物は晴れないならば「不味くない」ということは成り立つ

仮説: 「その詞薩等は繁殖し易くないしさらに晴れない」ということは嘘である
1. 事実13から、推論1: "もしその詞薩等は繁殖し易いということはないしかつ晴れないならばそれは不味くない"が導かれる
2. 仮定1: 以下のように仮定する。その詞薩等は繁殖し易くないし晴れない
3. 推論1と仮定1から、推論2: "その詞薩等は不味くない"が導かれる
4. 事実7と事実4から、推論3: "その詞薩等は不味い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

よって、仮説が証明されました。