あの大食いは吹き荒む
fact1: もしあの低侵襲が吹き荒むならあの大食いは忍び難い fact2: もしあの低侵襲が殴り返すとすればこの情報環境は忍び難い fact3: もしあの低侵襲が殴り返すならばあの情報環境はＰＬ法だ fact4: 仮にあの大食いが忍び難いならばあの低侵襲はＰＬ法である fact5: もし仮にあの大食いが殴り返すならこの情報環境は吹き荒む fact6: あの大食いは修復す fact7: 仮に「あの単車は疲れ易い」ということは事実だとすると「忍び難い」ということは真実である fact8: 仮にとある物が忍び難いとするとそれはＰＬ法である fact9: もしもあの低侵襲が愛くるしくないならばそれはＰＬ法でない fact10: 認め難い物は恥ずかしい fact11: もしこの情報環境が殴り返すとするとあの低侵襲は忍び難い fact12: この情報環境が吹き荒まないしそれにそれが殴り返さないとするとあの大食いは吹き荒まない fact13: もしある物が忍び難くないとすればそれは吹き荒まないしそれにそれは殴り返さない fact14: この鰈は吹き荒む fact15: もしあの大食いがＰＬ法ならばあの低侵襲は吹き荒む fact16: この検屍は殴り返す fact17: この情報環境は殴り返す fact18: あの低侵襲がＰＬ法ならあの大食いは吹き荒む fact19: もしあの低侵襲が吹き荒むとすればあの大食いはＰＬ法である fact20: あの低侵襲は紛れ込む fact21: ＰＬ法は殴り返す fact22: あの低侵襲は企画審査委員会である fact23: 「その終戦はＰＬ法でない」ということは間違いだ
fact11 & fact17 -> int1: あの低侵襲は忍び難い; fact8 -> int2: あの低侵襲が忍び難いならばそれはＰＬ法である; int1 & int2 -> int3: あの低侵襲はＰＬ法だ; int3 & fact18 -> hypothesis;
fact11 & fact17 -> int1: {B}{b}; fact8 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; int3 & fact18 -> hypothesis;
あの大食いは吹き荒まない
fact25 -> int4: 仮にこの情報環境が忍び難くないとするとそれは吹き荒まないしさらに殴り返さない;
$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$ = 
fact11 & fact17 -> int1: あの低侵襲は忍び難い; fact8 -> int2: あの低侵襲が忍び難いならばそれはＰＬ法である; int1 & int2 -> int3: あの低侵襲はＰＬ法だ; int3 & fact18 -> 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. 事実11と事実17から、推論1: "あの低侵襲は忍び難い"が導かれる
2. 事実8から、推論2: "あの低侵襲が忍び難いならばそれはＰＬ法である"が導かれる
3. 推論1と推論2から、推論3: "あの低侵襲はＰＬ法だ"が導かれる
4. 推論3と事実18から、仮説が導かれる

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