その一年終了は東京市政調査会で湿っぽい
fact1: その一年終了は湿っぽい fact2: その一年終了は三国干渉である fact3: その一年終了は東京市政調査会である fact4: あるものは油っぽくないならば「それは東京市政調査会でまたそれは湿っぽい」ということは成り立たない fact5: あのクラウンは東京市政調査会である fact6: もし油っぽくないものが湿っぽいとするとそれは東京市政調査会だということはない fact7: その一年終了が詳しくないとすればそれは油っぽくないが湿っぽい
fact3 & fact1 -> hypothesis;
fact3 & fact1 -> hypothesis;
「その一年終了は東京市政調査会でそれは湿っぽい」ということは間違っている
fact8 -> int1: もしその一年終了は油っぽくないとしたら「それは東京市政調査会だしさらに湿っぽい」ということは間違っている;
$facts$ = fact1: その一年終了は湿っぽい fact2: その一年終了は三国干渉である fact3: その一年終了は東京市政調査会である fact4: あるものは油っぽくないならば「それは東京市政調査会でまたそれは湿っぽい」ということは成り立たない fact5: あのクラウンは東京市政調査会である fact6: もし油っぽくないものが湿っぽいとするとそれは東京市政調査会だということはない fact7: その一年終了が詳しくないとすればそれは油っぽくないが湿っぽい ; $hypothesis$ = その一年終了は東京市政調査会で湿っぽい ; $proof$ = 
fact3 & fact1 -> hypothesis; __PROVED__
事実1: その一年終了は湿っぽい
事実2: その一年終了は三国干渉である
事実3: その一年終了は東京市政調査会である
事実4: あるものは油っぽくないならば「それは東京市政調査会でまたそれは湿っぽい」ということは成り立たない
事実5: あのクラウンは東京市政調査会である
事実6: もし油っぽくないものが湿っぽいとするとそれは東京市政調査会だということはない
事実7: その一年終了が詳しくないとすればそれは油っぽくないが湿っぽい

仮説: その一年終了は東京市政調査会で湿っぽい
1. 事実3と事実1から、仮説が導かれる

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