「あの宣伝効果は言い訳する」ということは事実である
fact1: 長ったらしいものは書き易いけど工業全体でない fact2: もし仮に「なにかは長ったらしいかあるいはちょろいかもしくは両方である」ということは間違いだとしたら書き易くない fact3: もしなにがしかの物が引き手繰らないならばそれは言い訳しないかまたは奏請しないかまたは両方だ fact4: このスポーツシューズは言い訳する fact5: もしその猪口は赤面しないとすると「「その磯は狂おしくてそれは引き手繰る」ということは真実だ」ということは成り立つということはない fact6: 仮にその猪口が苦しとしたらその磯は長ったらしい fact7: もしも「その磯は奏請するということはない」ということは真実ならばあの宣伝効果は言い訳しない fact8: もしもそのＡＲモデルがちょろくないとしたらその猪口は苦しかそれは長ったらしい fact9: もし「「真白くないけれど狂おしい」ということは偽な」物があればあの宣伝効果は狂おしくない fact10: 仮に「その猪口は長ったらしい」ということは本当であるとしたらその磯は長ったらしい fact11: もしも「なんらかのものは苦しない」ということは成り立てば「それは長ったらしいかもしくはちょろい」ということは成り立たない fact12: あの宣伝効果は言い訳するがしかし奏請するということはない fact13: なにがしかのものは間断無いならば「それは符号化するがしかし計量器でない」ということは誤っている fact14: もしその磯は赤面しないならば「真白くないが狂おしい」ということは成り立たない fact15: あらゆるものは間断無い fact16: もしもあの宣伝効果が奏請しないかもしくはそれが引き手繰るとすればあの水郷は言い訳する fact17: もしその磯が言い訳しないとすればあの宣伝効果は言い訳しない fact18: もし何らかの物は工業全体であるということはないかもしくは真白くないかどちらもであるとすると赤面しない fact19: 「何らかのものは符号化する一方で計量器でない」ということは偽であるならちょろくない fact20: あの宣伝効果は奏請しない fact21: もし書き易いものは工業全体でないならば「それは赤面しない」ということは確かである
fact12 -> hypothesis;
fact12 -> hypothesis;
その水郷は言い訳する
fact24 -> int1: 仮にその磯は書き易いがしかし工業全体でないとすれば「それは赤面しない」ということは間違いでない; fact31 -> int2: もしその磯が長ったらしいとするとそれは書き易いがしかし工業全体でない; fact27 -> int3: あの攪乱要因は間断無いとすれば「符号化するしおまけに計量器だということはない」ということは間違いだ; fact22 -> int4: あの攪乱要因は間断無い; int3 & int4 -> int5: 「あの攪乱要因は符号化するけどそれは計量器でない」ということは間違っている; int5 -> int6: 符号化する一方で計量器でないというものはない; int6 -> int7: 「そのＡＲモデルは符号化するがそれは計量器でない」ということは間違っている; fact26 -> int8: もし「そのＡＲモデルは符号化するけれど計量器でない」ということは偽だとするとそれはちょろくない; int7 & int8 -> int9: そのＡＲモデルはちょろくない; int9 & fact23 -> int10: その猪口は苦しかそれは長ったらしいかあるいは両方だ; int10 & fact28 & fact29 -> int11: その磯は長ったらしい; int2 & int11 -> int12: その磯は書き易い一方で工業全体でない; int1 & int12 -> int13: その磯は赤面しない; int13 & fact30 -> int14: 「その磯は真白いということはないけれど狂おしい」ということは正しいということはない; int14 -> int15: 「「真白いということはないがしかし狂おしい」ということは正しくない」物はある; int15 & fact32 -> int16: あの宣伝効果は狂おしいということはない;
$facts$ = fact1: 長ったらしいものは書き易いけど工業全体でない fact2: もし仮に「なにかは長ったらしいかあるいはちょろいかもしくは両方である」ということは間違いだとしたら書き易くない fact3: もしなにがしかの物が引き手繰らないならばそれは言い訳しないかまたは奏請しないかまたは両方だ fact4: このスポーツシューズは言い訳する fact5: もしその猪口は赤面しないとすると「「その磯は狂おしくてそれは引き手繰る」ということは真実だ」ということは成り立つということはない fact6: 仮にその猪口が苦しとしたらその磯は長ったらしい fact7: もしも「その磯は奏請するということはない」ということは真実ならばあの宣伝効果は言い訳しない fact8: もしもそのＡＲモデルがちょろくないとしたらその猪口は苦しかそれは長ったらしい fact9: もし「「真白くないけれど狂おしい」ということは偽な」物があればあの宣伝効果は狂おしくない fact10: 仮に「その猪口は長ったらしい」ということは本当であるとしたらその磯は長ったらしい fact11: もしも「なんらかのものは苦しない」ということは成り立てば「それは長ったらしいかもしくはちょろい」ということは成り立たない fact12: あの宣伝効果は言い訳するがしかし奏請するということはない fact13: なにがしかのものは間断無いならば「それは符号化するがしかし計量器でない」ということは誤っている fact14: もしその磯は赤面しないならば「真白くないが狂おしい」ということは成り立たない fact15: あらゆるものは間断無い fact16: もしもあの宣伝効果が奏請しないかもしくはそれが引き手繰るとすればあの水郷は言い訳する fact17: もしその磯が言い訳しないとすればあの宣伝効果は言い訳しない fact18: もし何らかの物は工業全体であるということはないかもしくは真白くないかどちらもであるとすると赤面しない fact19: 「何らかのものは符号化する一方で計量器でない」ということは偽であるならちょろくない fact20: あの宣伝効果は奏請しない fact21: もし書き易いものは工業全体でないならば「それは赤面しない」ということは確かである ; $hypothesis$ = 「あの宣伝効果は言い訳する」ということは事実である ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: 長ったらしいものは書き易いけど工業全体でない
事実2: もし仮に「なにかは長ったらしいかあるいはちょろいかもしくは両方である」ということは間違いだとしたら書き易くない
事実3: もしなにがしかの物が引き手繰らないならばそれは言い訳しないかまたは奏請しないかまたは両方だ
事実4: このスポーツシューズは言い訳する
事実5: もしその猪口は赤面しないとすると「「その磯は狂おしくてそれは引き手繰る」ということは真実だ」ということは成り立つということはない
事実6: 仮にその猪口が苦しとしたらその磯は長ったらしい
事実7: もしも「その磯は奏請するということはない」ということは真実ならばあの宣伝効果は言い訳しない
事実8: もしもそのＡＲモデルがちょろくないとしたらその猪口は苦しかそれは長ったらしい
事実9: もし「「真白くないけれど狂おしい」ということは偽な」物があればあの宣伝効果は狂おしくない
事実10: 仮に「その猪口は長ったらしい」ということは本当であるとしたらその磯は長ったらしい
事実11: もしも「なんらかのものは苦しない」ということは成り立てば「それは長ったらしいかもしくはちょろい」ということは成り立たない
事実12: あの宣伝効果は言い訳するがしかし奏請するということはない
事実13: なにがしかのものは間断無いならば「それは符号化するがしかし計量器でない」ということは誤っている
事実14: もしその磯は赤面しないならば「真白くないが狂おしい」ということは成り立たない
事実15: あらゆるものは間断無い
事実16: もしもあの宣伝効果が奏請しないかもしくはそれが引き手繰るとすればあの水郷は言い訳する
事実17: もしその磯が言い訳しないとすればあの宣伝効果は言い訳しない
事実18: もし何らかの物は工業全体であるということはないかもしくは真白くないかどちらもであるとすると赤面しない
事実19: 「何らかのものは符号化する一方で計量器でない」ということは偽であるならちょろくない
事実20: あの宣伝効果は奏請しない
事実21: もし書き易いものは工業全体でないならば「それは赤面しない」ということは確かである

仮説: 「あの宣伝効果は言い訳する」ということは事実である
1. 事実12から、仮説が導かれる

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