あの榎丈は散在する
fact1: あの塗り分けは名状し難くない fact2: 「がめつかないかまたは収去すということはないか両方な」物はある fact3: もし仮にある物がゾーンであるならば揉み消すし更にそれはすりゃ良くない fact4: あの榎丈は揉み消さない fact5: あの塗り分けは揉み消さないなら「あの榎丈はすりゃ良いということはなくてかつ散在しない」ということは事実と異なる fact6: あの塗り分けは散在しない fact7: 仮にあの塗り分けが寄り集まる一方ですりゃ良くないとすればあの榎丈は寄り集まらない fact8: 仮にその低額所得者が招き易いということはないならあの塗り分けはどうして良いししかも意味深い fact9: どうして良い物はゾーンだ fact10: あの榎丈はすりゃ良くない fact11: あの健康診断は散在する fact12: この座は揉み消さない fact13: あの塗り分けは揉み消さない fact14: 「あの塗り分けはすりゃ良くないし更に揉み消さない」ということは間違いだ fact15: あの榎丈は植菌しない
void -> assump1: 以下のように仮定する。あの榎丈は散在しない; fact10 & assump1 -> int1: あの榎丈はすりゃ良いということはないしおまけに散在しない; fact5 & fact13 -> int2: 「あの榎丈はすりゃ良くないし散在しない」ということは偽だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{B}{a}; fact10 & assump1 -> int1: (¬{A}{a} & ¬{B}{a}); fact5 & fact13 -> int2: ¬(¬{A}{a} & ¬{B}{a}); int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの榎丈は寄り集まらない
$facts$ = fact1: あの塗り分けは名状し難くない fact2: 「がめつかないかまたは収去すということはないか両方な」物はある fact3: もし仮にある物がゾーンであるならば揉み消すし更にそれはすりゃ良くない fact4: あの榎丈は揉み消さない fact5: あの塗り分けは揉み消さないなら「あの榎丈はすりゃ良いということはなくてかつ散在しない」ということは事実と異なる fact6: あの塗り分けは散在しない fact7: 仮にあの塗り分けが寄り集まる一方ですりゃ良くないとすればあの榎丈は寄り集まらない fact8: 仮にその低額所得者が招き易いということはないならあの塗り分けはどうして良いししかも意味深い fact9: どうして良い物はゾーンだ fact10: あの榎丈はすりゃ良くない fact11: あの健康診断は散在する fact12: この座は揉み消さない fact13: あの塗り分けは揉み消さない fact14: 「あの塗り分けはすりゃ良くないし更に揉み消さない」ということは間違いだ fact15: あの榎丈は植菌しない ; $hypothesis$ = あの榎丈は散在する ; $proof$ = 
void -> assump1: 以下のように仮定する。あの榎丈は散在しない; fact10 & assump1 -> int1: あの榎丈はすりゃ良いということはないしおまけに散在しない; fact5 & fact13 -> int2: 「あの榎丈はすりゃ良くないし散在しない」ということは偽だ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: あの塗り分けは名状し難くない
事実2: 「がめつかないかまたは収去すということはないか両方な」物はある
事実3: もし仮にある物がゾーンであるならば揉み消すし更にそれはすりゃ良くない
事実4: あの榎丈は揉み消さない
事実5: あの塗り分けは揉み消さないなら「あの榎丈はすりゃ良いということはなくてかつ散在しない」ということは事実と異なる
事実6: あの塗り分けは散在しない
事実7: 仮にあの塗り分けが寄り集まる一方ですりゃ良くないとすればあの榎丈は寄り集まらない
事実8: 仮にその低額所得者が招き易いということはないならあの塗り分けはどうして良いししかも意味深い
事実9: どうして良い物はゾーンだ
事実10: あの榎丈はすりゃ良くない
事実11: あの健康診断は散在する
事実12: この座は揉み消さない
事実13: あの塗り分けは揉み消さない
事実14: 「あの塗り分けはすりゃ良くないし更に揉み消さない」ということは間違いだ
事実15: あの榎丈は植菌しない

仮説: あの榎丈は散在する
1. 仮定1: 以下のように仮定する。あの榎丈は散在しない
2. 事実10と仮定1から、推論1: "あの榎丈はすりゃ良いということはないしおまけに散在しない"が導かれる
3. 事実5と事実13から、推論2: "「あの榎丈はすりゃ良くないし散在しない」ということは偽だ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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