あの会計課員は完了する
fact1: もしもその地方結核・感染症情報センターが申し込み手続きならその点滴治療は合体する fact2: その愛読者は欲深くない fact3: 圧搾は仕舞い易い fact4: あの会計課員は欲深い fact5: 仮に「あの上記問題は申し込み手続きでないがしかし対空電探だ」ということは成り立つということはないとすればその地方結核・感染症情報センターは申し込み手続きである fact6: もしもあの会計課員が欲深くないとしたらその御虎さんは変わり始める fact7: その金融機能強化法はＴＶアニメであるしまた活動出来る fact8: 仮に「「その金融機能強化法は俗っぽいということはないしおまけに読み始めない」ということは成り立つ」ということは成り立つということはないならばこの発明特定事項は対空電探だということはない fact9: 仮にその金融機能強化法が正当化しないとすれば圧搾でおまけに退所する fact10: もし「その御虎さんは変わり始めない」ということは本当だとするとあの会計課員は完了する fact11: 仮にその金融機能強化法がＴＶアニメだしそれが活動出来るならそれは正当化しない fact12: もし仮に「何らかの物は変わり始めないが完了する」ということは誤りであるならそれは完了しない fact13: もしも「その御虎さんは欲深くないがしかしダウンロードする」ということは事実と異なるとすればあの会計課員は欲深い fact14: 「もしもあの会計課員が変わり始めるということはないとするとその御虎さんは完了する」ということは真実だ fact15: その御虎さんは思しくない fact16: 仮にその点滴治療は合体するなら「その御虎さんは欲深くないけどそれはダウンロードする」ということは偽である fact17: その御虎さんは欲深くない fact18: もしその御虎さんが欲深くないとしたらそれは変わり始めない fact19: その御虎さんは合体するということはないとすると「あの会計課員は欲深いということはないかもしくは変わり始めるかあるいは両方ともだ」ということは間違っている fact20: 仮に「何かは仕舞い易い」ということは成り立てば「俗っぽくないし更に読み始めない」ということは成り立たない fact21: もしもとあるものが合体しないかもしくは申し込み手続きであるかもしくはどちらもだとしたら合体しない
fact18 & fact17 -> int1: その御虎さんは変わり始めない; int1 & fact10 -> hypothesis;
fact18 & fact17 -> int1: ¬{B}{a}; int1 & fact10 -> hypothesis;
あの会計課員は完了しない
fact23 -> int2: もしその御虎さんは合体しないかまたは申し込み手続きであるかあるいはどちらもであるならば合体しない;
$facts$ = fact1: もしもその地方結核・感染症情報センターが申し込み手続きならその点滴治療は合体する fact2: その愛読者は欲深くない fact3: 圧搾は仕舞い易い fact4: あの会計課員は欲深い fact5: 仮に「あの上記問題は申し込み手続きでないがしかし対空電探だ」ということは成り立つということはないとすればその地方結核・感染症情報センターは申し込み手続きである fact6: もしもあの会計課員が欲深くないとしたらその御虎さんは変わり始める fact7: その金融機能強化法はＴＶアニメであるしまた活動出来る fact8: 仮に「「その金融機能強化法は俗っぽいということはないしおまけに読み始めない」ということは成り立つ」ということは成り立つということはないならばこの発明特定事項は対空電探だということはない fact9: 仮にその金融機能強化法が正当化しないとすれば圧搾でおまけに退所する fact10: もし「その御虎さんは変わり始めない」ということは本当だとするとあの会計課員は完了する fact11: 仮にその金融機能強化法がＴＶアニメだしそれが活動出来るならそれは正当化しない fact12: もし仮に「何らかの物は変わり始めないが完了する」ということは誤りであるならそれは完了しない fact13: もしも「その御虎さんは欲深くないがしかしダウンロードする」ということは事実と異なるとすればあの会計課員は欲深い fact14: 「もしもあの会計課員が変わり始めるということはないとするとその御虎さんは完了する」ということは真実だ fact15: その御虎さんは思しくない fact16: 仮にその点滴治療は合体するなら「その御虎さんは欲深くないけどそれはダウンロードする」ということは偽である fact17: その御虎さんは欲深くない fact18: もしその御虎さんが欲深くないとしたらそれは変わり始めない fact19: その御虎さんは合体するということはないとすると「あの会計課員は欲深いということはないかもしくは変わり始めるかあるいは両方ともだ」ということは間違っている fact20: 仮に「何かは仕舞い易い」ということは成り立てば「俗っぽくないし更に読み始めない」ということは成り立たない fact21: もしもとあるものが合体しないかもしくは申し込み手続きであるかもしくはどちらもだとしたら合体しない ; $hypothesis$ = あの会計課員は完了する ; $proof$ = 
fact18 & fact17 -> int1: その御虎さんは変わり始めない; int1 & fact10 -> hypothesis; __PROVED__
事実1: もしもその地方結核・感染症情報センターが申し込み手続きならその点滴治療は合体する
事実2: その愛読者は欲深くない
事実3: 圧搾は仕舞い易い
事実4: あの会計課員は欲深い
事実5: 仮に「あの上記問題は申し込み手続きでないがしかし対空電探だ」ということは成り立つということはないとすればその地方結核・感染症情報センターは申し込み手続きである
事実6: もしもあの会計課員が欲深くないとしたらその御虎さんは変わり始める
事実7: その金融機能強化法はＴＶアニメであるしまた活動出来る
事実8: 仮に「「その金融機能強化法は俗っぽいということはないしおまけに読み始めない」ということは成り立つ」ということは成り立つということはないならばこの発明特定事項は対空電探だということはない
事実9: 仮にその金融機能強化法が正当化しないとすれば圧搾でおまけに退所する
事実10: もし「その御虎さんは変わり始めない」ということは本当だとするとあの会計課員は完了する
事実11: 仮にその金融機能強化法がＴＶアニメだしそれが活動出来るならそれは正当化しない
事実12: もし仮に「何らかの物は変わり始めないが完了する」ということは誤りであるならそれは完了しない
事実13: もしも「その御虎さんは欲深くないがしかしダウンロードする」ということは事実と異なるとすればあの会計課員は欲深い
事実14: 「もしもあの会計課員が変わり始めるということはないとするとその御虎さんは完了する」ということは真実だ
事実15: その御虎さんは思しくない
事実16: 仮にその点滴治療は合体するなら「その御虎さんは欲深くないけどそれはダウンロードする」ということは偽である
事実17: その御虎さんは欲深くない
事実18: もしその御虎さんが欲深くないとしたらそれは変わり始めない
事実19: その御虎さんは合体するということはないとすると「あの会計課員は欲深いということはないかもしくは変わり始めるかあるいは両方ともだ」ということは間違っている
事実20: 仮に「何かは仕舞い易い」ということは成り立てば「俗っぽくないし更に読み始めない」ということは成り立たない
事実21: もしもとあるものが合体しないかもしくは申し込み手続きであるかもしくはどちらもだとしたら合体しない

仮説: あの会計課員は完了する
1. 事実18と事実17から、推論1: "その御虎さんは変わり始めない"が導かれる
2. 推論1と事実10から、仮説が導かれる

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