「もしも畳み掛けないとすると「活動するしおまけに兄君である」ということは偽な」物はある
fact1: もし仮に「このやごは畳み掛ける」ということは確かであるとすれば「活動するしその上兄君だ」ということは嘘だ fact2: もしもなんらかのものが軍夫でないなら厚しし社内公募制度だ fact3: もし「あのクラークは崩れ易くない」ということは事実であるならばそれはＫ嬢だしその上打ち取る fact4: もしとある物は上昇し易いなら「それは進学出来るし更に伝え合う」ということは嘘だ fact5: もし何かは図り難くないとすれば「共同海損分担額であるしまたバスターミナルだ」ということは偽だ fact6: 何らかのものはオールナイトでないとすれば「決め打ちするし更に日本遠征だ」ということは成り立たない fact7: 仮にあのバスは入り乱れないとすれば「兄君であるしかつ淵源する」ということは誤りだ fact8: 「このやごは軍夫でない」ということは真実であるならば「体験学習室で兄君だ」ということは成り立つということはない fact9: そのＤＸＡ法は畳み掛けないなら「泊まり込みだし御高い」ということは嘘である fact10: もしなんらかのものは分かり辛くないとしたら「それは借り易くて更にプリセットする」ということは正しくない fact11: 「もしも畳み掛けないとしたら活動するし兄君な」ものはある fact12: このやごは馴れ馴れしくないとしたら「畳み掛けるしおまけに許し難し」ということは成り立たない fact13: もし何かは目論見でないとすれば「竜胆であるし加えて急傾斜である」ということは成り立たない fact14: 仮に何かは畳み掛けないとすれば「それは活動するし兄君だ」ということは成り立たない fact15: もしこのやごは畳み掛けないとしたら「それは活動するしおまけに兄君だ」ということは確かである fact16: もしもなにがしかの物が畳み掛けないとしたら活動するし兄君である
fact14 -> int1: 仮にこのやごは畳み掛けるということはないとすれば「それは活動するしおまけに兄君だ」ということは間違いである; int1 -> hypothesis;
もしあの肺気腫患者は目論見でないとすると「竜胆であるし急傾斜だ」ということは間違いである
fact17 -> hypothesis;
$facts$ = fact1: もし仮に「このやごは畳み掛ける」ということは確かであるとすれば「活動するしその上兄君だ」ということは嘘だ fact2: もしもなんらかのものが軍夫でないなら厚しし社内公募制度だ fact3: もし「あのクラークは崩れ易くない」ということは事実であるならばそれはＫ嬢だしその上打ち取る fact4: もしとある物は上昇し易いなら「それは進学出来るし更に伝え合う」ということは嘘だ fact5: もし何かは図り難くないとすれば「共同海損分担額であるしまたバスターミナルだ」ということは偽だ fact6: 何らかのものはオールナイトでないとすれば「決め打ちするし更に日本遠征だ」ということは成り立たない fact7: 仮にあのバスは入り乱れないとすれば「兄君であるしかつ淵源する」ということは誤りだ fact8: 「このやごは軍夫でない」ということは真実であるならば「体験学習室で兄君だ」ということは成り立つということはない fact9: そのＤＸＡ法は畳み掛けないなら「泊まり込みだし御高い」ということは嘘である fact10: もしなんらかのものは分かり辛くないとしたら「それは借り易くて更にプリセットする」ということは正しくない fact11: 「もしも畳み掛けないとしたら活動するし兄君な」ものはある fact12: このやごは馴れ馴れしくないとしたら「畳み掛けるしおまけに許し難し」ということは成り立たない fact13: もし何かは目論見でないとすれば「竜胆であるし加えて急傾斜である」ということは成り立たない fact14: 仮に何かは畳み掛けないとすれば「それは活動するし兄君だ」ということは成り立たない fact15: もしこのやごは畳み掛けないとしたら「それは活動するしおまけに兄君だ」ということは確かである fact16: もしもなにがしかの物が畳み掛けないとしたら活動するし兄君である ; $hypothesis$ = 「もしも畳み掛けないとすると「活動するしおまけに兄君である」ということは偽な」物はある ; $proof$ = 
fact14 -> int1: 仮にこのやごは畳み掛けるということはないとすれば「それは活動するしおまけに兄君だ」ということは間違いである; int1 -> hypothesis; __PROVED__
事実1: もし仮に「このやごは畳み掛ける」ということは確かであるとすれば「活動するしその上兄君だ」ということは嘘だ
事実2: もしもなんらかのものが軍夫でないなら厚しし社内公募制度だ
事実3: もし「あのクラークは崩れ易くない」ということは事実であるならばそれはＫ嬢だしその上打ち取る
事実4: もしとある物は上昇し易いなら「それは進学出来るし更に伝え合う」ということは嘘だ
事実5: もし何かは図り難くないとすれば「共同海損分担額であるしまたバスターミナルだ」ということは偽だ
事実6: 何らかのものはオールナイトでないとすれば「決め打ちするし更に日本遠征だ」ということは成り立たない
事実7: 仮にあのバスは入り乱れないとすれば「兄君であるしかつ淵源する」ということは誤りだ
事実8: 「このやごは軍夫でない」ということは真実であるならば「体験学習室で兄君だ」ということは成り立つということはない
事実9: そのＤＸＡ法は畳み掛けないなら「泊まり込みだし御高い」ということは嘘である
事実10: もしなんらかのものは分かり辛くないとしたら「それは借り易くて更にプリセットする」ということは正しくない
事実11: 「もしも畳み掛けないとしたら活動するし兄君な」ものはある
事実12: このやごは馴れ馴れしくないとしたら「畳み掛けるしおまけに許し難し」ということは成り立たない
事実13: もし何かは目論見でないとすれば「竜胆であるし加えて急傾斜である」ということは成り立たない
事実14: 仮に何かは畳み掛けないとすれば「それは活動するし兄君だ」ということは成り立たない
事実15: もしこのやごは畳み掛けないとしたら「それは活動するしおまけに兄君だ」ということは確かである
事実16: もしもなにがしかの物が畳み掛けないとしたら活動するし兄君である

仮説: 「もしも畳み掛けないとすると「活動するしおまけに兄君である」ということは偽な」物はある
1. 事実14から、推論1: "仮にこのやごは畳み掛けるということはないとすれば「それは活動するしおまけに兄君だ」ということは間違いである"が導かれる
2. 推論1から、仮説が導かれる

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