あの可塑剤は止む無いということはない
fact1: 「その大手製造業は無権代理である」ということは成り立つ fact2: あの可塑剤が無権代理だということはないならばその大手製造業は止む無くない fact3: 仮にその大手製造業が無権代理でないとしたらあの可塑剤は婦人解放でない fact4: もし仮にその大手製造業が無声化し易くないけどそれが操縦するとすればあの可塑剤は婦人解放でない fact5: もし「その大手製造業は無権代理でない」ということは成り立つということはないとしたらそれは婦人解放であるということはない fact6: その大手製造業は大差無くない fact7: その金粉は止む無いということはない fact8: もしもあの可塑剤が婦人解放でないならばその大手製造業は止む無いということはない fact9: もしもその大手製造業が操縦するとすると成立し難くない fact10: もし仮にこの地球環境は保健性でないけれど心置き無いとしたら「それは見分け難くない」ということは成り立つ fact11: その北部同盟は無権代理でない fact12: もし何らかの物が婦人解放でないならそれが止む無いしその上それは無権代理だ fact13: あの可塑剤は無権代理だ fact14: あの睦月は止む無くない fact15: もし仮にその大手製造業が婦人解放でないとするとあの可塑剤は止む無くない fact16: この地球環境が見分け難くないとすればそれは後らしいし更に住める fact17: もしもあの可塑剤が無権代理でないならその大手製造業は婦人解放でない fact18: もしあの可塑剤は子供コーナーであるとしたら「それは自邸でない」ということは成り立つ fact19: あの可塑剤が婦人解放でないならばあの大手製造業は無権代理でない
fact5 & fact1 -> int1: その大手製造業は婦人解放でない; int1 & fact15 -> hypothesis;
fact5 & fact1 -> int1: ¬{B}{a}; int1 & fact15 -> hypothesis;
あの可塑剤は止む無い
fact22 -> int2: もしあの可塑剤は婦人解放でないとしたらそれは止む無いしさらに無権代理である;
$facts$ = fact1: 「その大手製造業は無権代理である」ということは成り立つ fact2: あの可塑剤が無権代理だということはないならばその大手製造業は止む無くない fact3: 仮にその大手製造業が無権代理でないとしたらあの可塑剤は婦人解放でない fact4: もし仮にその大手製造業が無声化し易くないけどそれが操縦するとすればあの可塑剤は婦人解放でない fact5: もし「その大手製造業は無権代理でない」ということは成り立つということはないとしたらそれは婦人解放であるということはない fact6: その大手製造業は大差無くない fact7: その金粉は止む無いということはない fact8: もしもあの可塑剤が婦人解放でないならばその大手製造業は止む無いということはない fact9: もしもその大手製造業が操縦するとすると成立し難くない fact10: もし仮にこの地球環境は保健性でないけれど心置き無いとしたら「それは見分け難くない」ということは成り立つ fact11: その北部同盟は無権代理でない fact12: もし何らかの物が婦人解放でないならそれが止む無いしその上それは無権代理だ fact13: あの可塑剤は無権代理だ fact14: あの睦月は止む無くない fact15: もし仮にその大手製造業が婦人解放でないとするとあの可塑剤は止む無くない fact16: この地球環境が見分け難くないとすればそれは後らしいし更に住める fact17: もしもあの可塑剤が無権代理でないならその大手製造業は婦人解放でない fact18: もしあの可塑剤は子供コーナーであるとしたら「それは自邸でない」ということは成り立つ fact19: あの可塑剤が婦人解放でないならばあの大手製造業は無権代理でない ; $hypothesis$ = あの可塑剤は止む無いということはない ; $proof$ = 
fact5 & fact1 -> int1: その大手製造業は婦人解放でない; int1 & fact15 -> hypothesis; __PROVED__
事実1: 「その大手製造業は無権代理である」ということは成り立つ
事実2: あの可塑剤が無権代理だということはないならばその大手製造業は止む無くない
事実3: 仮にその大手製造業が無権代理でないとしたらあの可塑剤は婦人解放でない
事実4: もし仮にその大手製造業が無声化し易くないけどそれが操縦するとすればあの可塑剤は婦人解放でない
事実5: もし「その大手製造業は無権代理でない」ということは成り立つということはないとしたらそれは婦人解放であるということはない
事実6: その大手製造業は大差無くない
事実7: その金粉は止む無いということはない
事実8: もしもあの可塑剤が婦人解放でないならばその大手製造業は止む無いということはない
事実9: もしもその大手製造業が操縦するとすると成立し難くない
事実10: もし仮にこの地球環境は保健性でないけれど心置き無いとしたら「それは見分け難くない」ということは成り立つ
事実11: その北部同盟は無権代理でない
事実12: もし何らかの物が婦人解放でないならそれが止む無いしその上それは無権代理だ
事実13: あの可塑剤は無権代理だ
事実14: あの睦月は止む無くない
事実15: もし仮にその大手製造業が婦人解放でないとするとあの可塑剤は止む無くない
事実16: この地球環境が見分け難くないとすればそれは後らしいし更に住める
事実17: もしもあの可塑剤が無権代理でないならその大手製造業は婦人解放でない
事実18: もしあの可塑剤は子供コーナーであるとしたら「それは自邸でない」ということは成り立つ
事実19: あの可塑剤が婦人解放でないならばあの大手製造業は無権代理でない

仮説: あの可塑剤は止む無いということはない
1. 事実5と事実1から、推論1: "その大手製造業は婦人解放でない"が導かれる
2. 推論1と事実15から、仮説が導かれる

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