「もし「吹き飛ばさないしおまけに必需的時間だ」ということは間違っているなら「錆び付く」ということは嘘でない」ものはある
fact1: 「仮に「とある物は二段階金利型でないけど熟練労働である」ということは誤りであるとしたらアクセスし易い」ということは成り立つ fact2: もし「ある物は吹き飛ばすし更にそれは必需的時間だ」ということは間違いであるとすれば錆び付く fact3: 何らかのものは吹き飛ばさないけれど必需的時間だとしたら錆び付く fact4: もしあるものは必需的時間でないならばそれは錆び付く fact5: もしも「何らかのものはしぶとくないけど跳梁跋扈する」ということは成り立たないとするとＴＳＨ全血だ fact6: 仮に「とあるものは吹き飛ばさないがしかし必需的時間である」ということは偽だとするとそれは錆び付く fact7: 「あの御掃除は吹き飛ばすし加えて必需的時間である」ということは本当でないならば錆び付く fact8: あの御掃除は必需的時間でないならば錆び付く fact9: 「必需的時間でないならば錆び付く」物はある fact10: 「もし仮に「吹き飛ばすしまた必需的時間である」ということは間違っているとしたら錆び付く」ものはある fact11: もしあの御掃除が吹き飛ばさないがしかしそれは必需的時間であるとすると「それは錆び付く」ということは成り立つ fact12: 「もし仮に吹き飛ばさないし更に必需的時間なら錆び付く」物はある fact13: もしも「あるものは名残惜しいということはないがしかし擽ったい」ということは成り立たないとしたら厚ぼったい
fact6 -> int1: 「あの御掃除は吹き飛ばさない一方で必需的時間である」ということは成り立たないとすると錆び付く; int1 -> hypothesis;
fact6 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 「仮に「とある物は二段階金利型でないけど熟練労働である」ということは誤りであるとしたらアクセスし易い」ということは成り立つ fact2: もし「ある物は吹き飛ばすし更にそれは必需的時間だ」ということは間違いであるとすれば錆び付く fact3: 何らかのものは吹き飛ばさないけれど必需的時間だとしたら錆び付く fact4: もしあるものは必需的時間でないならばそれは錆び付く fact5: もしも「何らかのものはしぶとくないけど跳梁跋扈する」ということは成り立たないとするとＴＳＨ全血だ fact6: 仮に「とあるものは吹き飛ばさないがしかし必需的時間である」ということは偽だとするとそれは錆び付く fact7: 「あの御掃除は吹き飛ばすし加えて必需的時間である」ということは本当でないならば錆び付く fact8: あの御掃除は必需的時間でないならば錆び付く fact9: 「必需的時間でないならば錆び付く」物はある fact10: 「もし仮に「吹き飛ばすしまた必需的時間である」ということは間違っているとしたら錆び付く」ものはある fact11: もしあの御掃除が吹き飛ばさないがしかしそれは必需的時間であるとすると「それは錆び付く」ということは成り立つ fact12: 「もし仮に吹き飛ばさないし更に必需的時間なら錆び付く」物はある fact13: もしも「あるものは名残惜しいということはないがしかし擽ったい」ということは成り立たないとしたら厚ぼったい ; $hypothesis$ = 「もし「吹き飛ばさないしおまけに必需的時間だ」ということは間違っているなら「錆び付く」ということは嘘でない」ものはある ; $proof$ = 
fact6 -> int1: 「あの御掃除は吹き飛ばさない一方で必需的時間である」ということは成り立たないとすると錆び付く; int1 -> hypothesis; __PROVED__
事実1: 「仮に「とある物は二段階金利型でないけど熟練労働である」ということは誤りであるとしたらアクセスし易い」ということは成り立つ
事実2: もし「ある物は吹き飛ばすし更にそれは必需的時間だ」ということは間違いであるとすれば錆び付く
事実3: 何らかのものは吹き飛ばさないけれど必需的時間だとしたら錆び付く
事実4: もしあるものは必需的時間でないならばそれは錆び付く
事実5: もしも「何らかのものはしぶとくないけど跳梁跋扈する」ということは成り立たないとするとＴＳＨ全血だ
事実6: 仮に「とあるものは吹き飛ばさないがしかし必需的時間である」ということは偽だとするとそれは錆び付く
事実7: 「あの御掃除は吹き飛ばすし加えて必需的時間である」ということは本当でないならば錆び付く
事実8: あの御掃除は必需的時間でないならば錆び付く
事実9: 「必需的時間でないならば錆び付く」物はある
事実10: 「もし仮に「吹き飛ばすしまた必需的時間である」ということは間違っているとしたら錆び付く」ものはある
事実11: もしあの御掃除が吹き飛ばさないがしかしそれは必需的時間であるとすると「それは錆び付く」ということは成り立つ
事実12: 「もし仮に吹き飛ばさないし更に必需的時間なら錆び付く」物はある
事実13: もしも「あるものは名残惜しいということはないがしかし擽ったい」ということは成り立たないとしたら厚ぼったい

仮説: 「もし「吹き飛ばさないしおまけに必需的時間だ」ということは間違っているなら「錆び付く」ということは嘘でない」ものはある
1. 事実6から、推論1: "「あの御掃除は吹き飛ばさない一方で必需的時間である」ということは成り立たないとすると錆び付く"が導かれる
2. 推論1から、仮説が導かれる

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