その最晩年は炎症局所だけれどプロポーションでない
fact1: その作用関係は対抗し得る fact2: もしもあの淫肉が化膿すればあの他業種は化膿する fact3: あの他業種は対抗し得るがしかしそれは都市基盤整備公団でない fact4: なんらかの物が化膿するとしたらそれは差し直す fact5: もし仮にとある物は冠動脈バイパス手術でないなら化膿するししかも思い出深い fact6: その言表行為はプロポーションでない fact7: 仮にあの他業種が差し直さないならばあの淫肉は対抗し得る fact8: あの他業種は差し直さない fact9: その地公法は区分であるかそれは順守するかあるいは両方ともである fact10: あのリバーバレー・パートナーズは差し直さない fact11: 仮にあの淫肉がプロポーションならその最晩年は炎症局所であるけどそれはプロポーションでない fact12: その最晩年は弛緩する fact13: あの淫肉は対抗し得る fact14: 「あの他業種は対抗し得る」ということは正しい fact15: その最晩年は炎症局所だ一方で差し直さない fact16: もし仮にあの淫肉がプロポーションでないならばその最晩年は炎症局所であるしおまけにそれは対抗し得る fact17: あの淫肉は先導するし炎症局所だ fact18: もしもあの淫肉がプロポーションであるとするとその最晩年は炎症局所だ fact19: 仮にあの他業種が差し直さないとするとあの淫肉は対抗し得るしプロポーションである fact20: その最晩年は炎症局所だ fact21: もしもあの他業種が化膿するとすればそれは差し直す fact22: もしなにがしかの物が差し直すとするとプロポーションだ fact23: もしあの他業種がプロポーションだとするとその国立競技場はプロポーションでない
fact19 & fact8 -> int1: あの淫肉は対抗し得るし加えてプロポーションである; int1 -> int2: あの淫肉はプロポーションだ; int2 & fact11 -> hypothesis;
fact19 & fact8 -> int1: ({AA}{b} & {AB}{b}); int1 -> int2: {AB}{b}; int2 & fact11 -> hypothesis;
その国立競技場はプロポーションでない
fact26 -> int3: もしもあの他業種は差し直すなら「プロポーションだ」ということは事実だ; 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$ = 
fact19 & fact8 -> int1: あの淫肉は対抗し得るし加えてプロポーションである; int1 -> int2: あの淫肉はプロポーションだ; int2 & fact11 -> 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. 事実19と事実8から、推論1: "あの淫肉は対抗し得るし加えてプロポーションである"が導かれる
2. 推論1から、推論2: "あの淫肉はプロポーションだ"が導かれる
3. 推論2と事実11から、仮説が導かれる

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