この調査対象は異見でない
fact1: もしも何らかのものは黴びるなら「異見でないしそれはボトルシップだ」ということは成り立つということはない fact2: 仮にあのアトリウムが仄白くないならその全重量は売買帳であるししかも黴びる fact3: 「ボトルシップであるしその上黴びる」ものはある fact4: もしボトルシップが黴びるとしたらこの調査対象は異見でない fact5: もし仮に「なんらかの物は異見でないがボトルシップである」ということは成り立たないとすればそれは異見である fact6: 仮に「その全重量は黴びる」ということは本当であるとしたらこの調査対象は黴びる
fact3 & fact4 -> hypothesis;
fact3 & fact4 -> hypothesis;
この調査対象は異見である
fact7 -> int1: もしも「この調査対象は異見でない一方でボトルシップである」ということは成り立たないとするとそれは異見だ; fact8 -> int2: もしこの調査対象は黴びるとすると「異見であるということはないがボトルシップだ」ということは真実だということはない;
$facts$ = fact1: もしも何らかのものは黴びるなら「異見でないしそれはボトルシップだ」ということは成り立つということはない fact2: 仮にあのアトリウムが仄白くないならその全重量は売買帳であるししかも黴びる fact3: 「ボトルシップであるしその上黴びる」ものはある fact4: もしボトルシップが黴びるとしたらこの調査対象は異見でない fact5: もし仮に「なんらかの物は異見でないがボトルシップである」ということは成り立たないとすればそれは異見である fact6: 仮に「その全重量は黴びる」ということは本当であるとしたらこの調査対象は黴びる ; $hypothesis$ = この調査対象は異見でない ; $proof$ = 
fact3 & fact4 -> hypothesis; __PROVED__
事実1: もしも何らかのものは黴びるなら「異見でないしそれはボトルシップだ」ということは成り立つということはない
事実2: 仮にあのアトリウムが仄白くないならその全重量は売買帳であるししかも黴びる
事実3: 「ボトルシップであるしその上黴びる」ものはある
事実4: もしボトルシップが黴びるとしたらこの調査対象は異見でない
事実5: もし仮に「なんらかの物は異見でないがボトルシップである」ということは成り立たないとすればそれは異見である
事実6: 仮に「その全重量は黴びる」ということは本当であるとしたらこの調査対象は黴びる

仮説: この調査対象は異見でない
1. 事実3と事実4から、仮説が導かれる

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