「あの手術治療は捕獲中心でない」ということは成り立つ
fact1: 「この個々人は寡占市場だ」ということは成り立つ fact2: もしその分娩開始が酸化し難いということはなくて更にそれがごわごわしないとしたらあの手術治療は捕獲中心でない fact3: あの手術治療は村元達であるということはないし加えて配当金額でない fact4: この個々人は寡占市場なら「食盛でなくて未遂罪でない」ということは事実と異なる fact5: 全ては酸化し難くないしその上ごわごわするない fact6: すべてのものはぎごちなくなくて五裂しない fact7: もしもこのＪＳＬが酸化し難いならあの手術治療は捕獲中心である fact8: その分娩開始はごわごわしない fact9: どれもこれもは間に合うということはない fact10: もしあの手術治療が届き易いならあの付属形式はごわごわしないけどそれは捕獲中心である fact11: 「もしも「「この個々人は食盛でないしさらに未遂罪だということはない」ということは事実だ」ということは成り立たないとしたらこの捜査機関は農民でない」ということは確かである fact12: このＪＳＬが華々しいとしたらあの手術治療は届き易い fact13: その分娩開始は捕獲中心でなくてそれはごわごわしない fact14: あの手術治療は骨盤入り口だということはない fact15: 「あの手術治療はごわごわしない」ということは成り立つ
fact5 -> int1: その分娩開始は酸化し難くないしごわごわしない; int1 & fact2 -> hypothesis;
fact5 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 & fact2 -> hypothesis;
あの付属形式は酸化し難くないし合わせ易くない
fact18 & fact19 -> int2: 「この個々人は食盛でなくて加えて未遂罪でない」ということは嘘である; fact17 & int2 -> int3: この捜査機関は農民でない; int3 -> int4: 「なんらかのものは農民でない」ということは成り立つ;
$facts$ = fact1: 「この個々人は寡占市場だ」ということは成り立つ fact2: もしその分娩開始が酸化し難いということはなくて更にそれがごわごわしないとしたらあの手術治療は捕獲中心でない fact3: あの手術治療は村元達であるということはないし加えて配当金額でない fact4: この個々人は寡占市場なら「食盛でなくて未遂罪でない」ということは事実と異なる fact5: 全ては酸化し難くないしその上ごわごわするない fact6: すべてのものはぎごちなくなくて五裂しない fact7: もしもこのＪＳＬが酸化し難いならあの手術治療は捕獲中心である fact8: その分娩開始はごわごわしない fact9: どれもこれもは間に合うということはない fact10: もしあの手術治療が届き易いならあの付属形式はごわごわしないけどそれは捕獲中心である fact11: 「もしも「「この個々人は食盛でないしさらに未遂罪だということはない」ということは事実だ」ということは成り立たないとしたらこの捜査機関は農民でない」ということは確かである fact12: このＪＳＬが華々しいとしたらあの手術治療は届き易い fact13: その分娩開始は捕獲中心でなくてそれはごわごわしない fact14: あの手術治療は骨盤入り口だということはない fact15: 「あの手術治療はごわごわしない」ということは成り立つ ; $hypothesis$ = 「あの手術治療は捕獲中心でない」ということは成り立つ ; $proof$ = 
fact5 -> int1: その分娩開始は酸化し難くないしごわごわしない; int1 & fact2 -> hypothesis; __PROVED__
事実1: 「この個々人は寡占市場だ」ということは成り立つ
事実2: もしその分娩開始が酸化し難いということはなくて更にそれがごわごわしないとしたらあの手術治療は捕獲中心でない
事実3: あの手術治療は村元達であるということはないし加えて配当金額でない
事実4: この個々人は寡占市場なら「食盛でなくて未遂罪でない」ということは事実と異なる
事実5: 全ては酸化し難くないしその上ごわごわするない
事実6: すべてのものはぎごちなくなくて五裂しない
事実7: もしもこのＪＳＬが酸化し難いならあの手術治療は捕獲中心である
事実8: その分娩開始はごわごわしない
事実9: どれもこれもは間に合うということはない
事実10: もしあの手術治療が届き易いならあの付属形式はごわごわしないけどそれは捕獲中心である
事実11: 「もしも「「この個々人は食盛でないしさらに未遂罪だということはない」ということは事実だ」ということは成り立たないとしたらこの捜査機関は農民でない」ということは確かである
事実12: このＪＳＬが華々しいとしたらあの手術治療は届き易い
事実13: その分娩開始は捕獲中心でなくてそれはごわごわしない
事実14: あの手術治療は骨盤入り口だということはない
事実15: 「あの手術治療はごわごわしない」ということは成り立つ

仮説: 「あの手術治療は捕獲中心でない」ということは成り立つ
1. 事実5から、推論1: "その分娩開始は酸化し難くないしごわごわしない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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