「もし傾倒でないとしたら「大編成であるかもしくは調査項目でないかあるいはどちらもだ」ということは成り立たない」ものはある
fact1: もしもそのクロースは傾倒であるとしたら「それは大編成であるかあるいは調査項目でないか両方だ」ということは偽である fact2: もし仮にそのクロースが傾倒だということはないとしたら大編成であるか調査項目でない fact3: とあるものは傾倒ならば「それは大編成であるかもしくはそれは調査項目でないかもしくは両方ともだ」ということは事実と異なる fact4: 「仮に傾倒だということはないとすれば大編成であるかあるいは調査項目でないかまたはどちらもな」物はある fact5: もしもなにかは傾倒でないとしたら調査項目である fact6: その仮登記担保法は見極め難くないとしたら「傾倒であるか二σでないかまたはどちらもだ」ということは真実でない fact7: もしもとあるものは飲み友達でないなら「表わし始めるかもしくはインターネット接続ウィザードでないか両方ともだ」ということは間違っている fact8: もし「何かは傾倒でない」ということは確かであるとすると「大編成であるかあるいは調査項目でないかまたは両方ともである」ということは事実でない fact9: なにかは安心し切らないなら「物理学界であるかもしくは官僚主義でないかまたは両方である」ということは間違っている fact10: 「もし仮に確認し難くないとすれば「離れ難いかまたは立脚しないかまたは両方ともだ」ということは間違っている」ものはある fact11: もしそのクロースは傾倒だということはないならば「それは調査項目である」ということは成り立つ fact12: この社は幼くないなら「それは間違い無いかもしくは傾倒でない」ということは成り立つということはない fact13: 「もしも傾倒なら「大編成であるかまたは調査項目でないか両方ともである」ということは嘘な」物はある fact14: 「もしも焼餅でないとすれば「日和見主義者であるか玉仏寺でないかもしくは両方だ」ということは事実でない」物はある fact15: 「仮に若々しかないならば「移行し易いかもしくは通過出来ないかあるいは両方ともだ」ということは嘘な」物はある fact16: とあるものが傾倒でないとするとそれは大編成であるかもしくはそれは調査項目でないかもしくはどちらもだ fact17: もし仮にそのクロースは対応付けないならば「傾倒であるかもしくはＨＤＷ社であるということはないかあるいは両方だ」ということは正しくない fact18: もしとある物は御持ちしないとしたら「それは見切れるかもしくはそれは運び去らないかあるいは両方だ」ということは成り立たない fact19: 「もし仮に傾倒でないなら調査項目である」物はある
fact8 -> int1: 「仮にそのクロースは傾倒でないとしたら「そのクロースは大編成であるかそれは調査項目でないかあるいはどちらもである」ということは成り立たない」ということは事実だ; int1 -> hypothesis;
$facts$ = fact1: もしもそのクロースは傾倒であるとしたら「それは大編成であるかあるいは調査項目でないか両方だ」ということは偽である fact2: もし仮にそのクロースが傾倒だということはないとしたら大編成であるか調査項目でない fact3: とあるものは傾倒ならば「それは大編成であるかもしくはそれは調査項目でないかもしくは両方ともだ」ということは事実と異なる fact4: 「仮に傾倒だということはないとすれば大編成であるかあるいは調査項目でないかまたはどちらもな」物はある fact5: もしもなにかは傾倒でないとしたら調査項目である fact6: その仮登記担保法は見極め難くないとしたら「傾倒であるか二σでないかまたはどちらもだ」ということは真実でない fact7: もしもとあるものは飲み友達でないなら「表わし始めるかもしくはインターネット接続ウィザードでないか両方ともだ」ということは間違っている fact8: もし「何かは傾倒でない」ということは確かであるとすると「大編成であるかあるいは調査項目でないかまたは両方ともである」ということは事実でない fact9: なにかは安心し切らないなら「物理学界であるかもしくは官僚主義でないかまたは両方である」ということは間違っている fact10: 「もし仮に確認し難くないとすれば「離れ難いかまたは立脚しないかまたは両方ともだ」ということは間違っている」ものはある fact11: もしそのクロースは傾倒だということはないならば「それは調査項目である」ということは成り立つ fact12: この社は幼くないなら「それは間違い無いかもしくは傾倒でない」ということは成り立つということはない fact13: 「もしも傾倒なら「大編成であるかまたは調査項目でないか両方ともである」ということは嘘な」物はある fact14: 「もしも焼餅でないとすれば「日和見主義者であるか玉仏寺でないかもしくは両方だ」ということは事実でない」物はある fact15: 「仮に若々しかないならば「移行し易いかもしくは通過出来ないかあるいは両方ともだ」ということは嘘な」物はある fact16: とあるものが傾倒でないとするとそれは大編成であるかもしくはそれは調査項目でないかもしくはどちらもだ fact17: もし仮にそのクロースは対応付けないならば「傾倒であるかもしくはＨＤＷ社であるということはないかあるいは両方だ」ということは正しくない fact18: もしとある物は御持ちしないとしたら「それは見切れるかもしくはそれは運び去らないかあるいは両方だ」ということは成り立たない fact19: 「もし仮に傾倒でないなら調査項目である」物はある ; $hypothesis$ = 「もし傾倒でないとしたら「大編成であるかもしくは調査項目でないかあるいはどちらもだ」ということは成り立たない」ものはある ; $proof$ = 
fact8 -> int1: 「仮にそのクロースは傾倒でないとしたら「そのクロースは大編成であるかそれは調査項目でないかあるいはどちらもである」ということは成り立たない」ということは事実だ; int1 -> hypothesis; __PROVED__
事実1: もしもそのクロースは傾倒であるとしたら「それは大編成であるかあるいは調査項目でないか両方だ」ということは偽である
事実2: もし仮にそのクロースが傾倒だということはないとしたら大編成であるか調査項目でない
事実3: とあるものは傾倒ならば「それは大編成であるかもしくはそれは調査項目でないかもしくは両方ともだ」ということは事実と異なる
事実4: 「仮に傾倒だということはないとすれば大編成であるかあるいは調査項目でないかまたはどちらもな」物はある
事実5: もしもなにかは傾倒でないとしたら調査項目である
事実6: その仮登記担保法は見極め難くないとしたら「傾倒であるか二σでないかまたはどちらもだ」ということは真実でない
事実7: もしもとあるものは飲み友達でないなら「表わし始めるかもしくはインターネット接続ウィザードでないか両方ともだ」ということは間違っている
事実8: もし「何かは傾倒でない」ということは確かであるとすると「大編成であるかあるいは調査項目でないかまたは両方ともである」ということは事実でない
事実9: なにかは安心し切らないなら「物理学界であるかもしくは官僚主義でないかまたは両方である」ということは間違っている
事実10: 「もし仮に確認し難くないとすれば「離れ難いかまたは立脚しないかまたは両方ともだ」ということは間違っている」ものはある
事実11: もしそのクロースは傾倒だということはないならば「それは調査項目である」ということは成り立つ
事実12: この社は幼くないなら「それは間違い無いかもしくは傾倒でない」ということは成り立つということはない
事実13: 「もしも傾倒なら「大編成であるかまたは調査項目でないか両方ともである」ということは嘘な」物はある
事実14: 「もしも焼餅でないとすれば「日和見主義者であるか玉仏寺でないかもしくは両方だ」ということは事実でない」物はある
事実15: 「仮に若々しかないならば「移行し易いかもしくは通過出来ないかあるいは両方ともだ」ということは嘘な」物はある
事実16: とあるものが傾倒でないとするとそれは大編成であるかもしくはそれは調査項目でないかもしくはどちらもだ
事実17: もし仮にそのクロースは対応付けないならば「傾倒であるかもしくはＨＤＷ社であるということはないかあるいは両方だ」ということは正しくない
事実18: もしとある物は御持ちしないとしたら「それは見切れるかもしくはそれは運び去らないかあるいは両方だ」ということは成り立たない
事実19: 「もし仮に傾倒でないなら調査項目である」物はある

仮説: 「もし傾倒でないとしたら「大編成であるかもしくは調査項目でないかあるいはどちらもだ」ということは成り立たない」ものはある
1. 事実8から、推論1: "「仮にそのクロースは傾倒でないとしたら「そのクロースは大編成であるかそれは調査項目でないかあるいはどちらもである」ということは成り立たない」ということは事実だ"が導かれる
2. 推論1から、仮説が導かれる

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