「もしその太刀吉が麗しないとするとその太刀吉は苛立ちだけれどむず痒いということはない」ということは成り立たない
fact1: 何かは走り過ぎないとすればそれは歯根象牙質でおまけに定住するということはない fact2: 「麗しない物は苛立ちであるがしかしむず痒くない」ということは成り立つ fact3: 「麗しないものは苛立ちだ」ということは事実である
fact2 -> hypothesis;
fact2 -> hypothesis;
もしもその太刀吉が走り過ぎないなら歯根象牙質であるしそれは定住しない
fact4 -> hypothesis;
$facts$ = fact1: 何かは走り過ぎないとすればそれは歯根象牙質でおまけに定住するということはない fact2: 「麗しない物は苛立ちであるがしかしむず痒くない」ということは成り立つ fact3: 「麗しないものは苛立ちだ」ということは事実である ; $hypothesis$ = 「もしその太刀吉が麗しないとするとその太刀吉は苛立ちだけれどむず痒いということはない」ということは成り立たない ; $proof$ = 
fact2 -> hypothesis; __DISPROVED__
事実1: 何かは走り過ぎないとすればそれは歯根象牙質でおまけに定住するということはない
事実2: 「麗しない物は苛立ちであるがしかしむず痒くない」ということは成り立つ
事実3: 「麗しないものは苛立ちだ」ということは事実である

仮説: 「もしその太刀吉が麗しないとするとその太刀吉は苛立ちだけれどむず痒いということはない」ということは成り立たない
1. 事実2から、仮説が否定される

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