あの工業構造は渡来する
fact1: もしもあの工業構造が三等分するならその浦東開発は渡来する fact2: そのセクション上は渡来する fact3: あの工業構造はやばい fact4: 仮にその浦東開発が渡来するならばあの工業構造は見え辛い fact5: その浦東開発は渡来する fact6: 「その浦東開発は見え辛くなくて三等分しない」ということは事実と異なる fact7: 仮にあの工業構造が見え辛いとするとその浦東開発は渡来する fact8: その浦東開発は対流圏である fact9: その浦東開発は唐獅子牡丹である fact10: この画策は渡来する fact11: その浦東開発が三等分するならそれは混同し易い fact12: 「その浦東開発は混同し易くないしまた生白くない」ということは成り立たない fact13: 「その浦東開発は御寂しくないしさらに混同し易くない」ということは成り立たない fact14: もし「その浦東開発は三等分するということはないしそれは混同し易くない」ということは誤っているとすると渡来する fact15: もしもその浦東開発が混同し易いとすればそれは渡来する fact16: 仮にあの工業構造が混同し易いとすればその浦東開発は渡来する fact17: もし「その浦東開発は見え辛いということはなくておまけにそれは三等分しない」ということは成り立たないなら混同し易い fact18: あの工業構造は混同し易い fact19: 「その紀行文は物憂くなくておまけにそれは切れ込まない」ということは成り立たない fact20: 仮にその浦東開発が混同し易いとしたらあの工業構造は渡来する fact21: 「その浦東開発は見え辛くないけどそれは三等分する」ということは偽である
fact17 & fact6 -> int1: その浦東開発は混同し易い; int1 & fact20 -> hypothesis;
fact17 & fact6 -> int1: {B}{a}; int1 & fact20 -> hypothesis;
$facts$ = fact1: もしもあの工業構造が三等分するならその浦東開発は渡来する fact2: そのセクション上は渡来する fact3: あの工業構造はやばい fact4: 仮にその浦東開発が渡来するならばあの工業構造は見え辛い fact5: その浦東開発は渡来する fact6: 「その浦東開発は見え辛くなくて三等分しない」ということは事実と異なる fact7: 仮にあの工業構造が見え辛いとするとその浦東開発は渡来する fact8: その浦東開発は対流圏である fact9: その浦東開発は唐獅子牡丹である fact10: この画策は渡来する fact11: その浦東開発が三等分するならそれは混同し易い fact12: 「その浦東開発は混同し易くないしまた生白くない」ということは成り立たない fact13: 「その浦東開発は御寂しくないしさらに混同し易くない」ということは成り立たない fact14: もし「その浦東開発は三等分するということはないしそれは混同し易くない」ということは誤っているとすると渡来する fact15: もしもその浦東開発が混同し易いとすればそれは渡来する fact16: 仮にあの工業構造が混同し易いとすればその浦東開発は渡来する fact17: もし「その浦東開発は見え辛いということはなくておまけにそれは三等分しない」ということは成り立たないなら混同し易い fact18: あの工業構造は混同し易い fact19: 「その紀行文は物憂くなくておまけにそれは切れ込まない」ということは成り立たない fact20: 仮にその浦東開発が混同し易いとしたらあの工業構造は渡来する fact21: 「その浦東開発は見え辛くないけどそれは三等分する」ということは偽である ; $hypothesis$ = あの工業構造は渡来する ; $proof$ = 
fact17 & fact6 -> int1: その浦東開発は混同し易い; int1 & fact20 -> hypothesis; __PROVED__
事実1: もしもあの工業構造が三等分するならその浦東開発は渡来する
事実2: そのセクション上は渡来する
事実3: あの工業構造はやばい
事実4: 仮にその浦東開発が渡来するならばあの工業構造は見え辛い
事実5: その浦東開発は渡来する
事実6: 「その浦東開発は見え辛くなくて三等分しない」ということは事実と異なる
事実7: 仮にあの工業構造が見え辛いとするとその浦東開発は渡来する
事実8: その浦東開発は対流圏である
事実9: その浦東開発は唐獅子牡丹である
事実10: この画策は渡来する
事実11: その浦東開発が三等分するならそれは混同し易い
事実12: 「その浦東開発は混同し易くないしまた生白くない」ということは成り立たない
事実13: 「その浦東開発は御寂しくないしさらに混同し易くない」ということは成り立たない
事実14: もし「その浦東開発は三等分するということはないしそれは混同し易くない」ということは誤っているとすると渡来する
事実15: もしもその浦東開発が混同し易いとすればそれは渡来する
事実16: 仮にあの工業構造が混同し易いとすればその浦東開発は渡来する
事実17: もし「その浦東開発は見え辛いということはなくておまけにそれは三等分しない」ということは成り立たないなら混同し易い
事実18: あの工業構造は混同し易い
事実19: 「その紀行文は物憂くなくておまけにそれは切れ込まない」ということは成り立たない
事実20: 仮にその浦東開発が混同し易いとしたらあの工業構造は渡来する
事実21: 「その浦東開発は見え辛くないけどそれは三等分する」ということは偽である

仮説: あの工業構造は渡来する
1. 事実17と事実6から、推論1: "その浦東開発は混同し易い"が導かれる
2. 推論1と事実20から、仮説が導かれる

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