あの自己抜去は牛挽き肉だ
fact1: あの自己抜去は退職しない fact2: 仮にその一罪が共産化するということはないならばフィリピン海プレートだ fact3: この直轄都市は破り取る fact4: もしもあるものは小説作品でないとするとそれは写り込みである fact5: その一罪は守り易い fact6: 「この教育予算は誇りっぽい物でまた亡骸でない」ということは成り立つということはない fact7: 仮に「「誇りっぽくてそれに亡骸でない」ということは誤っている」物があるとしたらあの長は商品化しない fact8: そのそぼろは破り取る fact9: 「その中立侵犯は牛挽き肉である」ということは成り立つ fact10: もしも「「ひもじくないけど共産化する」ということは誤りである」物があるならあの自己抜去はフィリピン海プレートでない fact11: その一罪は破り取る fact12: もしもとある物は頼み難いならば「それはひもじくないが共産化する」ということは成り立たない fact13: 「餅搗き散らしだということはないしおまけに手厚い」ものはある fact14: その一罪は再結合する fact15: 「その一罪は出易い」ということは事実だ fact16: 「「ひもじいし共産化する」ということは嘘である」ものはある fact17: その一罪は予定変更である fact18: 仮に「あの上乗せ拠出は共産化するしまたそれはフィリピン海プレートである」ということは成り立つということはないとしたらその一罪は共産化しない fact19: もし仮に「共産化しない」物があるとしたらあの自己抜去はフィリピン海プレートでない fact20: その一罪は牛挽き肉だとしたら「頼み難くない一方で破り取る」ということは嘘だ fact21: もしもその一罪が頼み難くないならばあの十六年分は破り取るし牛挽き肉である fact22: もしその一罪は共産化しないとすると「あの自己抜去は破り取るがそれは頼み難いということはない」ということは成り立たない fact23: もし仮に「とあるものは破り取るが頼み難くない」ということは事実と異なるとするとそれは牛挽き肉でない fact24: もし仮になんらかのものはフィリピン海プレートでないならそれは牛挽き肉だ fact25: 仮にあの自己抜去は頼み難いとすれば「牛挽き肉でなくてフィリピン海プレートだ」ということは間違っている fact26: もし仮にその一罪が破り取ればそれは頼み難い
fact26 & fact11 -> int1: その一罪は頼み難い; fact12 -> int2: もしもその一罪は頼み難いとすると「ひもじくないけれど共産化する」ということは成り立たない; int1 & int2 -> int3: 「その一罪はひもじくないけど共産化する」ということは成り立たない; int3 -> int4: 「「ひもじくないけれど共産化する」ということは成り立たない」ものはある; int4 & fact10 -> int5: あの自己抜去はフィリピン海プレートでない; fact24 -> int6: 仮にあの自己抜去はフィリピン海プレートでないならそれは牛挽き肉である; int5 & int6 -> hypothesis;
あの自己抜去は牛挽き肉でない
fact29 -> int7: 「あの自己抜去は破り取るけど頼み難くない」ということは嘘であるとするとそれは牛挽き肉でない; fact31 -> int8: 「「誇りっぽいけれど亡骸でない」ということは嘘な」ものはある; int8 & fact27 -> int9: あの長は商品化しない; int9 -> int10: 「「商品化しない」ということは成り立つ」ものはある;
$facts$ = fact1: あの自己抜去は退職しない fact2: 仮にその一罪が共産化するということはないならばフィリピン海プレートだ fact3: この直轄都市は破り取る fact4: もしもあるものは小説作品でないとするとそれは写り込みである fact5: その一罪は守り易い fact6: 「この教育予算は誇りっぽい物でまた亡骸でない」ということは成り立つということはない fact7: 仮に「「誇りっぽくてそれに亡骸でない」ということは誤っている」物があるとしたらあの長は商品化しない fact8: そのそぼろは破り取る fact9: 「その中立侵犯は牛挽き肉である」ということは成り立つ fact10: もしも「「ひもじくないけど共産化する」ということは誤りである」物があるならあの自己抜去はフィリピン海プレートでない fact11: その一罪は破り取る fact12: もしもとある物は頼み難いならば「それはひもじくないが共産化する」ということは成り立たない fact13: 「餅搗き散らしだということはないしおまけに手厚い」ものはある fact14: その一罪は再結合する fact15: 「その一罪は出易い」ということは事実だ fact16: 「「ひもじいし共産化する」ということは嘘である」ものはある fact17: その一罪は予定変更である fact18: 仮に「あの上乗せ拠出は共産化するしまたそれはフィリピン海プレートである」ということは成り立つということはないとしたらその一罪は共産化しない fact19: もし仮に「共産化しない」物があるとしたらあの自己抜去はフィリピン海プレートでない fact20: その一罪は牛挽き肉だとしたら「頼み難くない一方で破り取る」ということは嘘だ fact21: もしもその一罪が頼み難くないならばあの十六年分は破り取るし牛挽き肉である fact22: もしその一罪は共産化しないとすると「あの自己抜去は破り取るがそれは頼み難いということはない」ということは成り立たない fact23: もし仮に「とあるものは破り取るが頼み難くない」ということは事実と異なるとするとそれは牛挽き肉でない fact24: もし仮になんらかのものはフィリピン海プレートでないならそれは牛挽き肉だ fact25: 仮にあの自己抜去は頼み難いとすれば「牛挽き肉でなくてフィリピン海プレートだ」ということは間違っている fact26: もし仮にその一罪が破り取ればそれは頼み難い ; $hypothesis$ = あの自己抜去は牛挽き肉だ ; $proof$ = 
fact26 & fact11 -> int1: その一罪は頼み難い; fact12 -> int2: もしもその一罪は頼み難いとすると「ひもじくないけれど共産化する」ということは成り立たない; int1 & int2 -> int3: 「その一罪はひもじくないけど共産化する」ということは成り立たない; int3 -> int4: 「「ひもじくないけれど共産化する」ということは成り立たない」ものはある; int4 & fact10 -> int5: あの自己抜去はフィリピン海プレートでない; fact24 -> int6: 仮にあの自己抜去はフィリピン海プレートでないならそれは牛挽き肉である; int5 & int6 -> hypothesis; __PROVED__
事実1: あの自己抜去は退職しない
事実2: 仮にその一罪が共産化するということはないならばフィリピン海プレートだ
事実3: この直轄都市は破り取る
事実4: もしもあるものは小説作品でないとするとそれは写り込みである
事実5: その一罪は守り易い
事実6: 「この教育予算は誇りっぽい物でまた亡骸でない」ということは成り立つということはない
事実7: 仮に「「誇りっぽくてそれに亡骸でない」ということは誤っている」物があるとしたらあの長は商品化しない
事実8: そのそぼろは破り取る
事実9: 「その中立侵犯は牛挽き肉である」ということは成り立つ
事実10: もしも「「ひもじくないけど共産化する」ということは誤りである」物があるならあの自己抜去はフィリピン海プレートでない
事実11: その一罪は破り取る
事実12: もしもとある物は頼み難いならば「それはひもじくないが共産化する」ということは成り立たない
事実13: 「餅搗き散らしだということはないしおまけに手厚い」ものはある
事実14: その一罪は再結合する
事実15: 「その一罪は出易い」ということは事実だ
事実16: 「「ひもじいし共産化する」ということは嘘である」ものはある
事実17: その一罪は予定変更である
事実18: 仮に「あの上乗せ拠出は共産化するしまたそれはフィリピン海プレートである」ということは成り立つということはないとしたらその一罪は共産化しない
事実19: もし仮に「共産化しない」物があるとしたらあの自己抜去はフィリピン海プレートでない
事実20: その一罪は牛挽き肉だとしたら「頼み難くない一方で破り取る」ということは嘘だ
事実21: もしもその一罪が頼み難くないならばあの十六年分は破り取るし牛挽き肉である
事実22: もしその一罪は共産化しないとすると「あの自己抜去は破り取るがそれは頼み難いということはない」ということは成り立たない
事実23: もし仮に「とあるものは破り取るが頼み難くない」ということは事実と異なるとするとそれは牛挽き肉でない
事実24: もし仮になんらかのものはフィリピン海プレートでないならそれは牛挽き肉だ
事実25: 仮にあの自己抜去は頼み難いとすれば「牛挽き肉でなくてフィリピン海プレートだ」ということは間違っている
事実26: もし仮にその一罪が破り取ればそれは頼み難い

仮説: あの自己抜去は牛挽き肉だ
1. 事実26と事実11から、推論1: "その一罪は頼み難い"が導かれる
2. 事実12から、推論2: "もしもその一罪は頼み難いとすると「ひもじくないけれど共産化する」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "「その一罪はひもじくないけど共産化する」ということは成り立たない"が導かれる
4. 推論3から、推論4: "「「ひもじくないけれど共産化する」ということは成り立たない」ものはある"が導かれる
5. 推論4と事実10から、推論5: "あの自己抜去はフィリピン海プレートでない"が導かれる
6. 事実24から、推論6: "仮にあの自己抜去はフィリピン海プレートでないならそれは牛挽き肉である"が導かれる
7. 推論5と推論6から、仮説が導かれる

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