この絶頂は判別し易い
fact1: 「ＴＭＳは判別し易い」ということは正しい fact2: この絶頂は判別し易いということはない fact3: 仮に何かはＴＭＳでないとすれば「串縫いするしまたそれは判別し易い」ということは成り立たない fact4: もし仮に「この絶頂は串縫いするしかつ判別し易い」ということは成り立たないとすればこのＡＡは判別し易くない
fact2 -> hypothesis;
fact2 -> hypothesis;
「この絶頂は判別し易い」ということは確かである
fact5 -> int1: もしこの絶頂はＴＭＳであるならそれは判別し易い;
$facts$ = fact1: 「ＴＭＳは判別し易い」ということは正しい fact2: この絶頂は判別し易いということはない fact3: 仮に何かはＴＭＳでないとすれば「串縫いするしまたそれは判別し易い」ということは成り立たない fact4: もし仮に「この絶頂は串縫いするしかつ判別し易い」ということは成り立たないとすればこのＡＡは判別し易くない ; $hypothesis$ = この絶頂は判別し易い ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 「ＴＭＳは判別し易い」ということは正しい
事実2: この絶頂は判別し易いということはない
事実3: 仮に何かはＴＭＳでないとすれば「串縫いするしまたそれは判別し易い」ということは成り立たない
事実4: もし仮に「この絶頂は串縫いするしかつ判別し易い」ということは成り立たないとすればこのＡＡは判別し易くない

仮説: この絶頂は判別し易い
1. 事実2から、仮説が否定される

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