「「賭するとすれば「訓示しないけど軟禁状態である」ということは誤っている」物はある」ということは成り立つ
fact1: 「仮に賭するとしたら「訓示するしまた軟禁状態である」ということは確かでない」ものはある fact2: その固定長期適合率は賭するとしたら「それは捕らわれ易くないがしかしバードウォッチングだ」ということは成り立たない fact3: 「もし仮に「取り合わせる」ということは真実であるとすると「乗り味でないしまた聞き入れる」ということは誤りである」物はある fact4: もし仮にこの特定支出は賭するとすると「それは訓示するということはない一方で軟禁状態だ」ということは成り立たない fact5: 「もし賭するなら訓示しないしかつ軟禁状態な」ものはある fact6: 「「もしもいじらしいとすると「折れ易くないしおまけに思考する」ということは成り立たない」物はある」ということは成り立つ fact7: 「もし操作し易いならば「見分け難くないし権威失墜だ」ということは成り立つということはない」ものはある fact8: 「もし寡占すれば「言い様だということはないがしかし出会い易い」ということは誤っている」物はある fact9: 「もし仮に打ち捨てるとすると「怒液でないしまた薄汚い」ということは成り立たない」物はある fact10: この特定支出が賭するとしたら訓示するということはない一方で軟禁状態である fact11: 「もし仮にバードウォッチングだとすると「囁き交わさない一方で頻る」ということは成り立たない」物はある fact12: もしもあの勢揃いは賭するとすると「伝え易くないが近寄れる」ということは誤っている fact13: 「もし罪深いなら「反ユダヤ主義でない一方で標準搭載する」ということは成り立たない」物はある fact14: もしあの自然倫理は詩選であるならば「ちゃわない一方で捕らえ難い」ということは間違いである fact15: もしもあの管理地区は近寄れるなら「それは訓示しないし弁解がましい」ということは間違っている fact16: 「「もし「得難し」ということは真実であるならば「温くないけどＺウイルスである」ということは成り立たない」物はある」ということは成り立つ fact17: とある物は興奮し過ぎるとすれば「「服務すらなくてまたそれは仕入れる」ということは嘘でない」ということは成り立たない fact18: 「もし「貯留する」ということは本当だとすると「遅くないしかつフランス人らしい」ということは成り立たない」物はある fact19: もしもこの特定支出は賭するなら「それは訓示するしそれに軟禁状態である」ということは成り立たない fact20: 「もしも特別製だとすれば「伝え切れない一方で受理・不受理である」ということは成り立たない」物はある fact21: 「もし仮に標準搭載すれば「電子密度でなくて雇用保険事業である」ということは誤りな」ものはある
fact4 -> hypothesis;
もしそのオーバーコートは興奮し過ぎるとすると「それは服務すということはないししかも仕入れる」ということは確かでない
fact22 -> hypothesis;
$facts$ = fact1: 「仮に賭するとしたら「訓示するしまた軟禁状態である」ということは確かでない」ものはある fact2: その固定長期適合率は賭するとしたら「それは捕らわれ易くないがしかしバードウォッチングだ」ということは成り立たない fact3: 「もし仮に「取り合わせる」ということは真実であるとすると「乗り味でないしまた聞き入れる」ということは誤りである」物はある fact4: もし仮にこの特定支出は賭するとすると「それは訓示するということはない一方で軟禁状態だ」ということは成り立たない fact5: 「もし賭するなら訓示しないしかつ軟禁状態な」ものはある fact6: 「「もしもいじらしいとすると「折れ易くないしおまけに思考する」ということは成り立たない」物はある」ということは成り立つ fact7: 「もし操作し易いならば「見分け難くないし権威失墜だ」ということは成り立つということはない」ものはある fact8: 「もし寡占すれば「言い様だということはないがしかし出会い易い」ということは誤っている」物はある fact9: 「もし仮に打ち捨てるとすると「怒液でないしまた薄汚い」ということは成り立たない」物はある fact10: この特定支出が賭するとしたら訓示するということはない一方で軟禁状態である fact11: 「もし仮にバードウォッチングだとすると「囁き交わさない一方で頻る」ということは成り立たない」物はある fact12: もしもあの勢揃いは賭するとすると「伝え易くないが近寄れる」ということは誤っている fact13: 「もし罪深いなら「反ユダヤ主義でない一方で標準搭載する」ということは成り立たない」物はある fact14: もしあの自然倫理は詩選であるならば「ちゃわない一方で捕らえ難い」ということは間違いである fact15: もしもあの管理地区は近寄れるなら「それは訓示しないし弁解がましい」ということは間違っている fact16: 「「もし「得難し」ということは真実であるならば「温くないけどＺウイルスである」ということは成り立たない」物はある」ということは成り立つ fact17: とある物は興奮し過ぎるとすれば「「服務すらなくてまたそれは仕入れる」ということは嘘でない」ということは成り立たない fact18: 「もし「貯留する」ということは本当だとすると「遅くないしかつフランス人らしい」ということは成り立たない」物はある fact19: もしもこの特定支出は賭するなら「それは訓示するしそれに軟禁状態である」ということは成り立たない fact20: 「もしも特別製だとすれば「伝え切れない一方で受理・不受理である」ということは成り立たない」物はある fact21: 「もし仮に標準搭載すれば「電子密度でなくて雇用保険事業である」ということは誤りな」ものはある ; $hypothesis$ = 「「賭するとすれば「訓示しないけど軟禁状態である」ということは誤っている」物はある」ということは成り立つ ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「仮に賭するとしたら「訓示するしまた軟禁状態である」ということは確かでない」ものはある
事実2: その固定長期適合率は賭するとしたら「それは捕らわれ易くないがしかしバードウォッチングだ」ということは成り立たない
事実3: 「もし仮に「取り合わせる」ということは真実であるとすると「乗り味でないしまた聞き入れる」ということは誤りである」物はある
事実4: もし仮にこの特定支出は賭するとすると「それは訓示するということはない一方で軟禁状態だ」ということは成り立たない
事実5: 「もし賭するなら訓示しないしかつ軟禁状態な」ものはある
事実6: 「「もしもいじらしいとすると「折れ易くないしおまけに思考する」ということは成り立たない」物はある」ということは成り立つ
事実7: 「もし操作し易いならば「見分け難くないし権威失墜だ」ということは成り立つということはない」ものはある
事実8: 「もし寡占すれば「言い様だということはないがしかし出会い易い」ということは誤っている」物はある
事実9: 「もし仮に打ち捨てるとすると「怒液でないしまた薄汚い」ということは成り立たない」物はある
事実10: この特定支出が賭するとしたら訓示するということはない一方で軟禁状態である
事実11: 「もし仮にバードウォッチングだとすると「囁き交わさない一方で頻る」ということは成り立たない」物はある
事実12: もしもあの勢揃いは賭するとすると「伝え易くないが近寄れる」ということは誤っている
事実13: 「もし罪深いなら「反ユダヤ主義でない一方で標準搭載する」ということは成り立たない」物はある
事実14: もしあの自然倫理は詩選であるならば「ちゃわない一方で捕らえ難い」ということは間違いである
事実15: もしもあの管理地区は近寄れるなら「それは訓示しないし弁解がましい」ということは間違っている
事実16: 「「もし「得難し」ということは真実であるならば「温くないけどＺウイルスである」ということは成り立たない」物はある」ということは成り立つ
事実17: とある物は興奮し過ぎるとすれば「「服務すらなくてまたそれは仕入れる」ということは嘘でない」ということは成り立たない
事実18: 「もし「貯留する」ということは本当だとすると「遅くないしかつフランス人らしい」ということは成り立たない」物はある
事実19: もしもこの特定支出は賭するなら「それは訓示するしそれに軟禁状態である」ということは成り立たない
事実20: 「もしも特別製だとすれば「伝え切れない一方で受理・不受理である」ということは成り立たない」物はある
事実21: 「もし仮に標準搭載すれば「電子密度でなくて雇用保険事業である」ということは誤りな」ものはある

仮説: 「「賭するとすれば「訓示しないけど軟禁状態である」ということは誤っている」物はある」ということは成り立つ
1. 事実4から、仮説が導かれる

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