その話法が当たりＳＴだしそれは可愛らしい
fact1: もし仮にこの零．一ＮＧ‐ＴＥＱ毎メートルが軽んじるないかまたは遣り易いならその話法は皮肉っぽい fact2: 仮に「何らかのものは軽んじるし当たりＳＴである」ということは誤っているならそれは当たりＳＴでない fact3: もしも何かは軽んじるないとすればそれは女性生殖器であるしそれに向かい出す fact4: この零．一ＮＧ‐ＴＥＱ毎メートルは遣り易くないかあるいは可愛らしいか両方ともである fact5: その無地は軽んじる fact6: この三割弱は当たりＳＴである fact7: もし仮にこの零．一ＮＧ‐ＴＥＱ毎メートルが軽んじるないとすればその話法は皮肉っぽい fact8: その話法が可愛らしくないかあるいはそれが遣り易いとしたらこの零．一ＮＧ‐ＴＥＱ毎メートルは当たりＳＴである fact9: その話法は皮肉っぽいなら「それは当たりＳＴだ」ということは確かである fact10: その話法は可愛らしい fact11: この零．一ＮＧ‐ＴＥＱ毎メートルは軽んじるかもしくは遣り易いかもしくはどちらもだ fact12: 「皮肉っぽい」物はある fact13: 仮になにかは向かい出せばこの零．一ＮＧ‐ＴＥＱ毎メートルは軽んじるかもしくはそれは遣り易い fact14: この零．一ＮＧ‐ＴＥＱ毎メートルは可愛らしくないかもしくは軽んじるか両方だ fact15: もしもなにかは向かい出せばこの零．一ＮＧ‐ＴＥＱ毎メートルは軽んじるないかあるいは遣り易いかあるいはどちらもだ fact16: 皮肉っぽいか遣り易いということはないものは向かい出すということはない fact17: もしもこの零．一ＮＧ‐ＴＥＱ毎メートルがアプローチし易くないとしたらそれは皮肉っぽいかまたはそれは遣り易くないかまたはどちらもである fact18: 「向かい出す」ものはある fact19: もし仮にその話法が軽んじるないかまたは遣り易いとすればこの零．一ＮＧ‐ＴＥＱ毎メートルは当たりＳＴだ fact20: その話法は当たりＳＴであるかまたは旨しか両方ともである fact21: この零．一ＮＧ‐ＴＥＱ毎メートルはアプローチし易くない
fact18 & fact15 -> int1: この零．一ＮＧ‐ＴＥＱ毎メートルは軽んじるないか遣り易いかもしくは両方ともだ; int1 & fact1 -> int2: その話法は皮肉っぽい; int2 & fact9 -> int3: その話法は当たりＳＴだ; int3 & fact10 -> hypothesis;
「その話法は当たりＳＴであるし可愛らしい」ということは誤りだ
fact23 -> int4: 「「この零．一ＮＧ‐ＴＥＱ毎メートルは軽んじるし当たりＳＴである」ということは事実と異なるということはない」ということは成り立たないならば当たりＳＴでない; fact22 -> int5: もしもこの零．一ＮＧ‐ＴＥＱ毎メートルは皮肉っぽいかもしくは遣り易いということはないならそれは向かい出さない; fact24 & fact25 -> int6: この零．一ＮＧ‐ＴＥＱ毎メートルは皮肉っぽいかあるいは遣り易くないかあるいは両方ともである; int5 & int6 -> int7: この零．一ＮＧ‐ＴＥＱ毎メートルは向かい出さない;
$facts$ = fact1: もし仮にこの零．一ＮＧ‐ＴＥＱ毎メートルが軽んじるないかまたは遣り易いならその話法は皮肉っぽい fact2: 仮に「何らかのものは軽んじるし当たりＳＴである」ということは誤っているならそれは当たりＳＴでない fact3: もしも何かは軽んじるないとすればそれは女性生殖器であるしそれに向かい出す fact4: この零．一ＮＧ‐ＴＥＱ毎メートルは遣り易くないかあるいは可愛らしいか両方ともである fact5: その無地は軽んじる fact6: この三割弱は当たりＳＴである fact7: もし仮にこの零．一ＮＧ‐ＴＥＱ毎メートルが軽んじるないとすればその話法は皮肉っぽい fact8: その話法が可愛らしくないかあるいはそれが遣り易いとしたらこの零．一ＮＧ‐ＴＥＱ毎メートルは当たりＳＴである fact9: その話法は皮肉っぽいなら「それは当たりＳＴだ」ということは確かである fact10: その話法は可愛らしい fact11: この零．一ＮＧ‐ＴＥＱ毎メートルは軽んじるかもしくは遣り易いかもしくはどちらもだ fact12: 「皮肉っぽい」物はある fact13: 仮になにかは向かい出せばこの零．一ＮＧ‐ＴＥＱ毎メートルは軽んじるかもしくはそれは遣り易い fact14: この零．一ＮＧ‐ＴＥＱ毎メートルは可愛らしくないかもしくは軽んじるか両方だ fact15: もしもなにかは向かい出せばこの零．一ＮＧ‐ＴＥＱ毎メートルは軽んじるないかあるいは遣り易いかあるいはどちらもだ fact16: 皮肉っぽいか遣り易いということはないものは向かい出すということはない fact17: もしもこの零．一ＮＧ‐ＴＥＱ毎メートルがアプローチし易くないとしたらそれは皮肉っぽいかまたはそれは遣り易くないかまたはどちらもである fact18: 「向かい出す」ものはある fact19: もし仮にその話法が軽んじるないかまたは遣り易いとすればこの零．一ＮＧ‐ＴＥＱ毎メートルは当たりＳＴだ fact20: その話法は当たりＳＴであるかまたは旨しか両方ともである fact21: この零．一ＮＧ‐ＴＥＱ毎メートルはアプローチし易くない ; $hypothesis$ = その話法が当たりＳＴだしそれは可愛らしい ; $proof$ = 
fact18 & fact15 -> int1: この零．一ＮＧ‐ＴＥＱ毎メートルは軽んじるないか遣り易いかもしくは両方ともだ; int1 & fact1 -> int2: その話法は皮肉っぽい; int2 & fact9 -> int3: その話法は当たりＳＴだ; int3 & fact10 -> hypothesis; __PROVED__
事実1: もし仮にこの零．一ＮＧ‐ＴＥＱ毎メートルが軽んじるないかまたは遣り易いならその話法は皮肉っぽい
事実2: 仮に「何らかのものは軽んじるし当たりＳＴである」ということは誤っているならそれは当たりＳＴでない
事実3: もしも何かは軽んじるないとすればそれは女性生殖器であるしそれに向かい出す
事実4: この零．一ＮＧ‐ＴＥＱ毎メートルは遣り易くないかあるいは可愛らしいか両方ともである
事実5: その無地は軽んじる
事実6: この三割弱は当たりＳＴである
事実7: もし仮にこの零．一ＮＧ‐ＴＥＱ毎メートルが軽んじるないとすればその話法は皮肉っぽい
事実8: その話法が可愛らしくないかあるいはそれが遣り易いとしたらこの零．一ＮＧ‐ＴＥＱ毎メートルは当たりＳＴである
事実9: その話法は皮肉っぽいなら「それは当たりＳＴだ」ということは確かである
事実10: その話法は可愛らしい
事実11: この零．一ＮＧ‐ＴＥＱ毎メートルは軽んじるかもしくは遣り易いかもしくはどちらもだ
事実12: 「皮肉っぽい」物はある
事実13: 仮になにかは向かい出せばこの零．一ＮＧ‐ＴＥＱ毎メートルは軽んじるかもしくはそれは遣り易い
事実14: この零．一ＮＧ‐ＴＥＱ毎メートルは可愛らしくないかもしくは軽んじるか両方だ
事実15: もしもなにかは向かい出せばこの零．一ＮＧ‐ＴＥＱ毎メートルは軽んじるないかあるいは遣り易いかあるいはどちらもだ
事実16: 皮肉っぽいか遣り易いということはないものは向かい出すということはない
事実17: もしもこの零．一ＮＧ‐ＴＥＱ毎メートルがアプローチし易くないとしたらそれは皮肉っぽいかまたはそれは遣り易くないかまたはどちらもである
事実18: 「向かい出す」ものはある
事実19: もし仮にその話法が軽んじるないかまたは遣り易いとすればこの零．一ＮＧ‐ＴＥＱ毎メートルは当たりＳＴだ
事実20: その話法は当たりＳＴであるかまたは旨しか両方ともである
事実21: この零．一ＮＧ‐ＴＥＱ毎メートルはアプローチし易くない

仮説: その話法が当たりＳＴだしそれは可愛らしい
1. 事実18と事実15から、推論1: "この零．一ＮＧ‐ＴＥＱ毎メートルは軽んじるないか遣り易いかもしくは両方ともだ"が導かれる
2. 推論1と事実1から、推論2: "その話法は皮肉っぽい"が導かれる
3. 推論2と事実9から、推論3: "その話法は当たりＳＴだ"が導かれる
4. 推論3と事実10から、仮説が導かれる

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