「この暗号メールは集め易いし加えて分かり易い」ということは事実でない
fact1: もし「個別化するということはない」物があるとすればあの暗号メールは集め易くて分かり易い fact2: 何らかの物は個別化する fact3: 「この暗号メールは集め易い」ということは成り立つ fact4: なんらかの物は個別化しない fact5: 仮に「個別化しない」ものはあるなら「この暗号メールは集め易い」ということは確かだ fact6: 仮にあるものは個別化しないならば「集め易くてそれは分かり易い」ということは間違っている fact7: この御大尽は集め易いしかつそれは満遍無い
fact4 & fact1 -> hypothesis;
「この暗号メールは集め易いし分かり易い」ということは成り立たない
fact8 -> int1: この暗号メールは個別化しないなら「それは集め易いしそれにそれは分かり易い」ということは成り立つということはない;
$facts$ = fact1: もし「個別化するということはない」物があるとすればあの暗号メールは集め易くて分かり易い fact2: 何らかの物は個別化する fact3: 「この暗号メールは集め易い」ということは成り立つ fact4: なんらかの物は個別化しない fact5: 仮に「個別化しない」ものはあるなら「この暗号メールは集め易い」ということは確かだ fact6: 仮にあるものは個別化しないならば「集め易くてそれは分かり易い」ということは間違っている fact7: この御大尽は集め易いしかつそれは満遍無い ; $hypothesis$ = 「この暗号メールは集め易いし加えて分かり易い」ということは事実でない ; $proof$ = 
fact4 & fact1 -> hypothesis; __DISPROVED__
事実1: もし「個別化するということはない」物があるとすればあの暗号メールは集め易くて分かり易い
事実2: 何らかの物は個別化する
事実3: 「この暗号メールは集め易い」ということは成り立つ
事実4: なんらかの物は個別化しない
事実5: 仮に「個別化しない」ものはあるなら「この暗号メールは集め易い」ということは確かだ
事実6: 仮にあるものは個別化しないならば「集め易くてそれは分かり易い」ということは間違っている
事実7: この御大尽は集め易いしかつそれは満遍無い

仮説: 「この暗号メールは集め易いし加えて分かり易い」ということは事実でない
1. 事実4と事実1から、仮説が否定される

よって、仮説が否定されました。