「あのコカは誑かさなくてそれは出難くない」ということは成り立たない
fact1: 誑かさなくてそれにそれは出難いということはないという物はない fact2: この心証は結婚為さる fact3: それは大目標でなくてしかも受け辛くないというものはない fact4: 「「あのコカは誑かすが出難くない」ということは成り立つということはない」ということは真実である fact5: もし仮にあるものは復帰しない一方で混入し易いとしたらそれはグラフトだ fact6: それは逆問題であるということはないしその上それは連想し易くないという物はない fact7: 「あのコカは甘酸っぱくないしおまけに商船でない」ということは間違いだ fact8: 誑かすけど出難くないというものはない fact9: 「この裁判権は浅しないけど出難い」ということは成り立つということはない fact10: 「あのコカは見出だし難いがしかしそれは捜し求めない」ということは成り立たない fact11: 「あのコカは誑かさない一方で出難い」ということは嘘だ fact12: もし混入し易くない物はグラフトでないとしたらそれは誑かさない fact13: 顧みるということはないがしかしグラフトであるという物はない fact14: 「あのコカは誑かさない一方で生え始める」ということは成り立たない fact15: もしもこの心証が結婚為さればそれは復帰しなくてそれは致す fact16: 計画出来るということはないししかもそれは着弾するというものはない fact17: それは空気感でないし更に太陽王ルイ十四世でないというものはない
fact1 -> hypothesis;
fact1 -> hypothesis;
あのコカが誑かすということはないしその上出難くない
fact18 -> int1: もしも「あのコカは混入し易くないしグラフトでない」ということは確かならば誑かさない;
$facts$ = fact1: 誑かさなくてそれにそれは出難いということはないという物はない fact2: この心証は結婚為さる fact3: それは大目標でなくてしかも受け辛くないというものはない fact4: 「「あのコカは誑かすが出難くない」ということは成り立つということはない」ということは真実である fact5: もし仮にあるものは復帰しない一方で混入し易いとしたらそれはグラフトだ fact6: それは逆問題であるということはないしその上それは連想し易くないという物はない fact7: 「あのコカは甘酸っぱくないしおまけに商船でない」ということは間違いだ fact8: 誑かすけど出難くないというものはない fact9: 「この裁判権は浅しないけど出難い」ということは成り立つということはない fact10: 「あのコカは見出だし難いがしかしそれは捜し求めない」ということは成り立たない fact11: 「あのコカは誑かさない一方で出難い」ということは嘘だ fact12: もし混入し易くない物はグラフトでないとしたらそれは誑かさない fact13: 顧みるということはないがしかしグラフトであるという物はない fact14: 「あのコカは誑かさない一方で生え始める」ということは成り立たない fact15: もしもこの心証が結婚為さればそれは復帰しなくてそれは致す fact16: 計画出来るということはないししかもそれは着弾するというものはない fact17: それは空気感でないし更に太陽王ルイ十四世でないというものはない ; $hypothesis$ = 「あのコカは誑かさなくてそれは出難くない」ということは成り立たない ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 誑かさなくてそれにそれは出難いということはないという物はない
事実2: この心証は結婚為さる
事実3: それは大目標でなくてしかも受け辛くないというものはない
事実4: 「「あのコカは誑かすが出難くない」ということは成り立つということはない」ということは真実である
事実5: もし仮にあるものは復帰しない一方で混入し易いとしたらそれはグラフトだ
事実6: それは逆問題であるということはないしその上それは連想し易くないという物はない
事実7: 「あのコカは甘酸っぱくないしおまけに商船でない」ということは間違いだ
事実8: 誑かすけど出難くないというものはない
事実9: 「この裁判権は浅しないけど出難い」ということは成り立つということはない
事実10: 「あのコカは見出だし難いがしかしそれは捜し求めない」ということは成り立たない
事実11: 「あのコカは誑かさない一方で出難い」ということは嘘だ
事実12: もし混入し易くない物はグラフトでないとしたらそれは誑かさない
事実13: 顧みるということはないがしかしグラフトであるという物はない
事実14: 「あのコカは誑かさない一方で生え始める」ということは成り立たない
事実15: もしもこの心証が結婚為さればそれは復帰しなくてそれは致す
事実16: 計画出来るということはないししかもそれは着弾するというものはない
事実17: それは空気感でないし更に太陽王ルイ十四世でないというものはない

仮説: 「あのコカは誑かさなくてそれは出難くない」ということは成り立たない
1. 事実1から、仮説が導かれる

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