この守備陣は突っ切る
fact1: 「あの天然調味料は生臭くないし加えて消化し難くない」ということは成り立つならばあの守備陣は突っ切らない fact2: もしも「何らかの物は攻略するということはないけれどプレビューする」ということは成り立たないとすればそれは得度しない fact3: もしあの敵機動部隊は得度しないとしたら「あの天然調味料は黒点であるしおまけに伝わる」ということは誤りである fact4: 「あの天然調味料は付着し易いしそれに御見せ出来る」ということは成り立たない fact5: あの敵機動部隊は類例でないとすると「それは攻略しないしおまけにそれはプレビューする」ということは間違いである fact6: 仮にあるものが消化し難くないし生臭くないとすればあの花屋は黒点だ fact7: 「ある物は黒点でなくてまた得度しない」ということは事実だということはないならそれは伝わる fact8: もし「「何らかの物は黒点であるしそれに伝わる」ということは成り立つ」ということは偽であるなら「それは黒点だということはない」ということは事実だ fact9: あの敵機動部隊は生臭いということはないがしかしプレビューする fact10: もしもあの敵機動部隊が消化し難いとすればあの天然調味料は消化し難い fact11: もし仮になにかは得度するなら黒点であるかもしくは伝わらないかまたは両方だ fact12: あの敵機動部隊は付着し易い fact13: 「その花屋が類例だし地下深い」ということは成り立つということはないならばあの敵機動部隊は類例でない fact14: 「あの天然調味料は付着し易いが御見せ出来ない」ということは事実と異なる fact15: 仮にその花屋は得度するとしたら「この守備陣は得度するけれど黒点でない」ということは成り立たない fact16: もしも「何らかの物は減損する」ということは成り立てば汚れ難い fact17: この守備陣は消化し難くない fact18: 「あの天然調味料は遺棄するがしかし御見せ出来ない」ということは成り立たない fact19: もしもその花屋は黒点であるとすれば「この守備陣は黒点でないし得度しない」ということは成り立たない fact20: もしもあの天然調味料が消化し難いとすればこの守備陣は生臭い fact21: 「あの天然調味料は伝わる」ということは成り立つ fact22: 「あの天然調味料は付着し易いが御見せ出来るということはない」ということは誤りだとしたらあの敵機動部隊は消化し難くない fact23: 仮になにかは伝われば突っ切る
fact22 & fact14 -> int1: あの敵機動部隊は消化し難くない; fact9 -> int2: あの敵機動部隊は生臭くない; int1 & int2 -> int3: あの敵機動部隊は消化し難くないししかもそれは生臭くない; int3 -> int4: 「消化し難くないし生臭くない」物はある; int4 & fact6 -> int5: その花屋は黒点である; int5 & fact19 -> int6: 「この守備陣は黒点でなくて得度しない」ということは成り立たない; fact7 -> int7: 仮に「この守備陣は黒点でないし得度するということはない」ということは成り立たないとしたら「それは伝わる」ということは成り立つ; int6 & int7 -> int8: この守備陣は伝わる; fact23 -> int9: もしこの守備陣が伝わるとしたらそれは突っ切る; int8 & int9 -> hypothesis;
この守備陣は突っ切らない
fact27 -> int10: もしも「あの天然調味料は黒点であるしおまけに伝わる」ということは嘘であるとしたら「それは黒点でない」ということは偽でない; fact25 -> int11: もしも「あの敵機動部隊は攻略しないけどプレビューする」ということは本当でないとすればそれは得度しない;
$facts$ = fact1: 「あの天然調味料は生臭くないし加えて消化し難くない」ということは成り立つならばあの守備陣は突っ切らない fact2: もしも「何らかの物は攻略するということはないけれどプレビューする」ということは成り立たないとすればそれは得度しない fact3: もしあの敵機動部隊は得度しないとしたら「あの天然調味料は黒点であるしおまけに伝わる」ということは誤りである fact4: 「あの天然調味料は付着し易いしそれに御見せ出来る」ということは成り立たない fact5: あの敵機動部隊は類例でないとすると「それは攻略しないしおまけにそれはプレビューする」ということは間違いである fact6: 仮にあるものが消化し難くないし生臭くないとすればあの花屋は黒点だ fact7: 「ある物は黒点でなくてまた得度しない」ということは事実だということはないならそれは伝わる fact8: もし「「何らかの物は黒点であるしそれに伝わる」ということは成り立つ」ということは偽であるなら「それは黒点だということはない」ということは事実だ fact9: あの敵機動部隊は生臭いということはないがしかしプレビューする fact10: もしもあの敵機動部隊が消化し難いとすればあの天然調味料は消化し難い fact11: もし仮になにかは得度するなら黒点であるかもしくは伝わらないかまたは両方だ fact12: あの敵機動部隊は付着し易い fact13: 「その花屋が類例だし地下深い」ということは成り立つということはないならばあの敵機動部隊は類例でない fact14: 「あの天然調味料は付着し易いが御見せ出来ない」ということは事実と異なる fact15: 仮にその花屋は得度するとしたら「この守備陣は得度するけれど黒点でない」ということは成り立たない fact16: もしも「何らかの物は減損する」ということは成り立てば汚れ難い fact17: この守備陣は消化し難くない fact18: 「あの天然調味料は遺棄するがしかし御見せ出来ない」ということは成り立たない fact19: もしもその花屋は黒点であるとすれば「この守備陣は黒点でないし得度しない」ということは成り立たない fact20: もしもあの天然調味料が消化し難いとすればこの守備陣は生臭い fact21: 「あの天然調味料は伝わる」ということは成り立つ fact22: 「あの天然調味料は付着し易いが御見せ出来るということはない」ということは誤りだとしたらあの敵機動部隊は消化し難くない fact23: 仮になにかは伝われば突っ切る ; $hypothesis$ = この守備陣は突っ切る ; $proof$ = 
fact22 & fact14 -> int1: あの敵機動部隊は消化し難くない; fact9 -> int2: あの敵機動部隊は生臭くない; int1 & int2 -> int3: あの敵機動部隊は消化し難くないししかもそれは生臭くない; int3 -> int4: 「消化し難くないし生臭くない」物はある; int4 & fact6 -> int5: その花屋は黒点である; int5 & fact19 -> int6: 「この守備陣は黒点でなくて得度しない」ということは成り立たない; fact7 -> int7: 仮に「この守備陣は黒点でないし得度するということはない」ということは成り立たないとしたら「それは伝わる」ということは成り立つ; int6 & int7 -> int8: この守備陣は伝わる; fact23 -> int9: もしこの守備陣が伝わるとしたらそれは突っ切る; int8 & int9 -> 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: 仮になにかは伝われば突っ切る

仮説: この守備陣は突っ切る
1. 事実22と事実14から、推論1: "あの敵機動部隊は消化し難くない"が導かれる
2. 事実9から、推論2: "あの敵機動部隊は生臭くない"が導かれる
3. 推論1と推論2から、推論3: "あの敵機動部隊は消化し難くないししかもそれは生臭くない"が導かれる
4. 推論3から、推論4: "「消化し難くないし生臭くない」物はある"が導かれる
5. 推論4と事実6から、推論5: "その花屋は黒点である"が導かれる
6. 推論5と事実19から、推論6: "「この守備陣は黒点でなくて得度しない」ということは成り立たない"が導かれる
7. 事実7から、推論7: "仮に「この守備陣は黒点でないし得度するということはない」ということは成り立たないとしたら「それは伝わる」ということは成り立つ"が導かれる
8. 推論6と推論7から、推論8: "この守備陣は伝わる"が導かれる
9. 事実23から、推論9: "もしこの守備陣が伝わるとしたらそれは突っ切る"が導かれる
10. 推論8と推論9から、仮説が導かれる

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