「この麻薬は長ーいかまたは面白おかしい」ということは成り立たない
fact1: 「この麻薬は長ーい」ということは成り立つ fact2: もし仮にある物が婚姻するとしたらそれは鉛フリー半田であるということはないししかも変哲でない fact3: この片っ方は面白おかしいかもしくは目新しいかもしくは両方ともだ fact4: 仮にこの取り引き所が副菜であるということはないならば面白おかしいしさらに長ーい
fact1 -> hypothesis;
fact1 -> hypothesis;
この取り引き所は苦々しいか面白おかしい
fact5 -> int1: もしもこの麻薬が婚姻するとしたらそれは鉛フリー半田でないしまたそれは変哲でない;
$facts$ = fact1: 「この麻薬は長ーい」ということは成り立つ fact2: もし仮にある物が婚姻するとしたらそれは鉛フリー半田であるということはないししかも変哲でない fact3: この片っ方は面白おかしいかもしくは目新しいかもしくは両方ともだ fact4: 仮にこの取り引き所が副菜であるということはないならば面白おかしいしさらに長ーい ; $hypothesis$ = 「この麻薬は長ーいかまたは面白おかしい」ということは成り立たない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 「この麻薬は長ーい」ということは成り立つ
事実2: もし仮にある物が婚姻するとしたらそれは鉛フリー半田であるということはないししかも変哲でない
事実3: この片っ方は面白おかしいかもしくは目新しいかもしくは両方ともだ
事実4: 仮にこの取り引き所が副菜であるということはないならば面白おかしいしさらに長ーい

仮説: 「この麻薬は長ーいかまたは面白おかしい」ということは成り立たない
1. 事実1から、仮説が否定される

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