そのインターレグは対座するししかも持たす
fact1: 仮にこの変換速度が弱くないとすればあのインターレグは持たす fact2: もしもこの変換速度が弱いということはないならばそのインターレグは対座するしそれに持たす fact3: もし仮にそのインターレグが弱くないとしたらこの変換速度は対座する fact4: そのインターレグは弱いしその上持たす fact5: もし仮にこの変換速度が対座しないならばあのインターレグは弱い fact6: そのインターレグが弱くないとすればこの変換速度は対座するし持たす fact7: この変換速度が登用するしその上それは引き易い fact8: そのインターレグは弱いし更にそれはゴングである fact9: 「そのインターレグは弱くない」ということは成り立てば「この変換速度は持たす」ということは本当である fact10: そのインターレグは持たす fact11: もしそのフィユティーヌが接合するならあの同族関係者は挺しない fact12: もしそのインターレグが持たさないならばこの変換速度は対座する fact13: この媚態は持たす fact14: この変換速度は弱くない fact15: もし仮にそのインターレグはぶら下がればその浪費家は迷い難い fact16: あの卵膜は持たさない fact17: 「この変換速度はいじらしくないが弱い」ということは誤っている fact18: そのインターレグは飛行機らしい fact19: 「「いじらしいということはないけど弱い」ということは間違っている」ものがあるとしたらその浪費家はいじらしい fact20: もしもそのインターレグが持たさないならばこの変換速度は対座するし弱い
fact2 & fact14 -> hypothesis;
fact2 & fact14 -> hypothesis;
その浪費家はいじらしいししかも迷い難い
fact23 -> int1: 「「「いじらしくないがしかし弱い」ということは本当だ」ということは成り立たない」ものはある; int1 & fact21 -> int2: その浪費家はいじらしい;
$facts$ = fact1: 仮にこの変換速度が弱くないとすればあのインターレグは持たす fact2: もしもこの変換速度が弱いということはないならばそのインターレグは対座するしそれに持たす fact3: もし仮にそのインターレグが弱くないとしたらこの変換速度は対座する fact4: そのインターレグは弱いしその上持たす fact5: もし仮にこの変換速度が対座しないならばあのインターレグは弱い fact6: そのインターレグが弱くないとすればこの変換速度は対座するし持たす fact7: この変換速度が登用するしその上それは引き易い fact8: そのインターレグは弱いし更にそれはゴングである fact9: 「そのインターレグは弱くない」ということは成り立てば「この変換速度は持たす」ということは本当である fact10: そのインターレグは持たす fact11: もしそのフィユティーヌが接合するならあの同族関係者は挺しない fact12: もしそのインターレグが持たさないならばこの変換速度は対座する fact13: この媚態は持たす fact14: この変換速度は弱くない fact15: もし仮にそのインターレグはぶら下がればその浪費家は迷い難い fact16: あの卵膜は持たさない fact17: 「この変換速度はいじらしくないが弱い」ということは誤っている fact18: そのインターレグは飛行機らしい fact19: 「「いじらしいということはないけど弱い」ということは間違っている」ものがあるとしたらその浪費家はいじらしい fact20: もしもそのインターレグが持たさないならばこの変換速度は対座するし弱い ; $hypothesis$ = そのインターレグは対座するししかも持たす ; $proof$ = 
fact2 & fact14 -> hypothesis; __PROVED__
事実1: 仮にこの変換速度が弱くないとすればあのインターレグは持たす
事実2: もしもこの変換速度が弱いということはないならばそのインターレグは対座するしそれに持たす
事実3: もし仮にそのインターレグが弱くないとしたらこの変換速度は対座する
事実4: そのインターレグは弱いしその上持たす
事実5: もし仮にこの変換速度が対座しないならばあのインターレグは弱い
事実6: そのインターレグが弱くないとすればこの変換速度は対座するし持たす
事実7: この変換速度が登用するしその上それは引き易い
事実8: そのインターレグは弱いし更にそれはゴングである
事実9: 「そのインターレグは弱くない」ということは成り立てば「この変換速度は持たす」ということは本当である
事実10: そのインターレグは持たす
事実11: もしそのフィユティーヌが接合するならあの同族関係者は挺しない
事実12: もしそのインターレグが持たさないならばこの変換速度は対座する
事実13: この媚態は持たす
事実14: この変換速度は弱くない
事実15: もし仮にそのインターレグはぶら下がればその浪費家は迷い難い
事実16: あの卵膜は持たさない
事実17: 「この変換速度はいじらしくないが弱い」ということは誤っている
事実18: そのインターレグは飛行機らしい
事実19: 「「いじらしいということはないけど弱い」ということは間違っている」ものがあるとしたらその浪費家はいじらしい
事実20: もしもそのインターレグが持たさないならばこの変換速度は対座するし弱い

仮説: そのインターレグは対座するししかも持たす
1. 事実2と事実14から、仮説が導かれる

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