そのスタート時はウェブ通信でない
fact1: 仮にその冠者が長続き出来るということはないしその上それが打ち上がり易くないとするとこの購買力平価は打ち上がり易い fact2: もし仮にこの購買力平価が長続き出来ないとするとそのスタート時はエンストしないしかつ打ち上がり易くない fact3: もし仮になんらかのものがエンストするということはなくてしかも打ち上がり易くないならウェブ通信だ fact4: 「エンストするしおまけに打ち上がり易い」物はある fact5: あの授産活動はウェブ通信でない fact6: 「エンストする」物はある fact7: なにがしかの物はエンストするけど打ち上がり易くない fact8: あの上杉家は減額修正しなくてそれは保温しない fact9: もしもその冠者が嫉まないならそれは長続き出来なくて打ち上がり易いということはない fact10: 「エンストする一方で打ち上がり易いということはない」ものがあるとしたらそのスタート時はウェブ通信でない
fact7 & fact10 -> hypothesis;
fact7 & fact10 -> hypothesis;
そのスタート時はウェブ通信だ
fact11 -> int1: 仮に「そのスタート時はエンストするということはなくて加えて打ち上がり易くない」ということは事実であるとするとそれはウェブ通信だ;
$facts$ = fact1: 仮にその冠者が長続き出来るということはないしその上それが打ち上がり易くないとするとこの購買力平価は打ち上がり易い fact2: もし仮にこの購買力平価が長続き出来ないとするとそのスタート時はエンストしないしかつ打ち上がり易くない fact3: もし仮になんらかのものがエンストするということはなくてしかも打ち上がり易くないならウェブ通信だ fact4: 「エンストするしおまけに打ち上がり易い」物はある fact5: あの授産活動はウェブ通信でない fact6: 「エンストする」物はある fact7: なにがしかの物はエンストするけど打ち上がり易くない fact8: あの上杉家は減額修正しなくてそれは保温しない fact9: もしもその冠者が嫉まないならそれは長続き出来なくて打ち上がり易いということはない fact10: 「エンストする一方で打ち上がり易いということはない」ものがあるとしたらそのスタート時はウェブ通信でない ; $hypothesis$ = そのスタート時はウェブ通信でない ; $proof$ = 
fact7 & fact10 -> hypothesis; __PROVED__
事実1: 仮にその冠者が長続き出来るということはないしその上それが打ち上がり易くないとするとこの購買力平価は打ち上がり易い
事実2: もし仮にこの購買力平価が長続き出来ないとするとそのスタート時はエンストしないしかつ打ち上がり易くない
事実3: もし仮になんらかのものがエンストするということはなくてしかも打ち上がり易くないならウェブ通信だ
事実4: 「エンストするしおまけに打ち上がり易い」物はある
事実5: あの授産活動はウェブ通信でない
事実6: 「エンストする」物はある
事実7: なにがしかの物はエンストするけど打ち上がり易くない
事実8: あの上杉家は減額修正しなくてそれは保温しない
事実9: もしもその冠者が嫉まないならそれは長続き出来なくて打ち上がり易いということはない
事実10: 「エンストする一方で打ち上がり易いということはない」ものがあるとしたらそのスタート時はウェブ通信でない

仮説: そのスタート時はウェブ通信でない
1. 事実7と事実10から、仮説が導かれる

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