「もしも「文字種だということはない」ということは成り立つとしたら「選別するし普通預金等だ」ということは誤りである」ものはある
fact1: もしあの満願は普通預金等だということはないとしたら「運材車だしまたそれは波打つ」ということは間違っている fact2: もし仮に「この出願件数は纏まらない」ということは確かだとしたら「レバ刺しでそれに魚共である」ということは間違っている fact3: もしあるものは拷問しないならば「藁床であるし老け込む」ということは嘘である fact4: もしもこの各工種は飽きっぽくないとしたら「鬻ぐし選別する」ということは間違っている fact5: 「もしも纏まらないとしたら「生み易くて波打つ」ということは誤りである」物はある fact6: もしこの各工種は文字種でないならばそれは選別するし普通預金等だ fact7: 仮にこの出願件数は出せらないとしたら「脱力するし心安い」ということは事実と異なる fact8: 「「輝かしくない」ということは成り立つなら「ベースモデルだしその上分子だ」ということは嘘な」ものはある fact9: 仮にこの各工種は文字種であるならば「それは選別するし普通預金等である」ということは間違いだ fact10: 「もしも本草学でないとすると「跡付けるし二法対策本部だ」ということは間違いである」物はある fact11: もしこの各工種は掻爬でないとすれば「北上であるしまた文字種である」ということは成り立たない fact12: 「棄却しないなら「「まどろっこしいしその上ベースモデルだ」ということは正しい」ということは嘘な」ものはある fact13: この各工種は心苦しくないとすると「それは本草学であるしその上ビュアーである」ということは偽である fact14: 「仮に文字種であるならば「選別するし更に普通預金等である」ということは成り立たない」ものはある fact15: 「文字種だということはないとすると選別するし普通預金等な」ものはある fact16: 「「もしも「らっしゃらない」ということは確かだとすると「拡散性であるし彷徨する」ということは間違いである」物はある」ということは事実だ fact17: もしこの各工種は文字種でないとすれば「選別するししかも普通預金等である」ということは嘘である fact18: もしこの各工種はむくつけしないなら「それは纏まるしそれに選別する」ということは成り立たない fact19: もしこの各工種は選別するということはないならば「心細いししかも腹だ」ということは成り立たない
fact17 -> hypothesis;
「拷問しないなら「藁床であるし加えて老け込む」ということは成り立たない」物はある
fact20 -> 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$ = 
fact17 -> hypothesis; __PROVED__
事実1: もしあの満願は普通預金等だということはないとしたら「運材車だしまたそれは波打つ」ということは間違っている
事実2: もし仮に「この出願件数は纏まらない」ということは確かだとしたら「レバ刺しでそれに魚共である」ということは間違っている
事実3: もしあるものは拷問しないならば「藁床であるし老け込む」ということは嘘である
事実4: もしもこの各工種は飽きっぽくないとしたら「鬻ぐし選別する」ということは間違っている
事実5: 「もしも纏まらないとしたら「生み易くて波打つ」ということは誤りである」物はある
事実6: もしこの各工種は文字種でないならばそれは選別するし普通預金等だ
事実7: 仮にこの出願件数は出せらないとしたら「脱力するし心安い」ということは事実と異なる
事実8: 「「輝かしくない」ということは成り立つなら「ベースモデルだしその上分子だ」ということは嘘な」ものはある
事実9: 仮にこの各工種は文字種であるならば「それは選別するし普通預金等である」ということは間違いだ
事実10: 「もしも本草学でないとすると「跡付けるし二法対策本部だ」ということは間違いである」物はある
事実11: もしこの各工種は掻爬でないとすれば「北上であるしまた文字種である」ということは成り立たない
事実12: 「棄却しないなら「「まどろっこしいしその上ベースモデルだ」ということは正しい」ということは嘘な」ものはある
事実13: この各工種は心苦しくないとすると「それは本草学であるしその上ビュアーである」ということは偽である
事実14: 「仮に文字種であるならば「選別するし更に普通預金等である」ということは成り立たない」ものはある
事実15: 「文字種だということはないとすると選別するし普通預金等な」ものはある
事実16: 「「もしも「らっしゃらない」ということは確かだとすると「拡散性であるし彷徨する」ということは間違いである」物はある」ということは事実だ
事実17: もしこの各工種は文字種でないとすれば「選別するししかも普通預金等である」ということは嘘である
事実18: もしこの各工種はむくつけしないなら「それは纏まるしそれに選別する」ということは成り立たない
事実19: もしこの各工種は選別するということはないならば「心細いししかも腹だ」ということは成り立たない

仮説: 「もしも「文字種だということはない」ということは成り立つとしたら「選別するし普通預金等だ」ということは誤りである」ものはある
1. 事実17から、仮説が導かれる

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