「「もし「玄黒でないがしかし単一顆粒だ」ということは成り立つなら薄暗くない」ものはある」ということは間違いである
fact1: 「もしも玄黒だし更に単一顆粒だとしたら薄暗くない」物はある fact2: もし仮にあのリピート客が玄黒でない一方で単一顆粒ならば薄暗い fact3: あのリピート客は玄黒であるということはない一方で単一顆粒であるとするとそれは薄暗くない fact4: 「前夜祭りでないがしかし発し続けるとすれば危うくない」ものはある fact5: 「玄黒でないけど単一顆粒であるとすると薄暗い」物はある fact6: もし仮にあのリピート客が玄黒だしかつ単一顆粒ならそれは薄暗くない fact7: もし仮にあるものが長期滞在しないけれどそれが気弱いならば反応しない
fact3 -> hypothesis;
fact3 -> hypothesis;
「長期滞在しないしそれに気弱いとすると「反応しない」ということは成り立つ」物はある
fact8 -> int1: もしも「その唐組は長期滞在するということはないがしかし気弱い」ということは成り立つとすると反応しない; int1 -> hypothesis;
$facts$ = fact1: 「もしも玄黒だし更に単一顆粒だとしたら薄暗くない」物はある fact2: もし仮にあのリピート客が玄黒でない一方で単一顆粒ならば薄暗い fact3: あのリピート客は玄黒であるということはない一方で単一顆粒であるとするとそれは薄暗くない fact4: 「前夜祭りでないがしかし発し続けるとすれば危うくない」ものはある fact5: 「玄黒でないけど単一顆粒であるとすると薄暗い」物はある fact6: もし仮にあのリピート客が玄黒だしかつ単一顆粒ならそれは薄暗くない fact7: もし仮にあるものが長期滞在しないけれどそれが気弱いならば反応しない ; $hypothesis$ = 「「もし「玄黒でないがしかし単一顆粒だ」ということは成り立つなら薄暗くない」ものはある」ということは間違いである ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 「もしも玄黒だし更に単一顆粒だとしたら薄暗くない」物はある
事実2: もし仮にあのリピート客が玄黒でない一方で単一顆粒ならば薄暗い
事実3: あのリピート客は玄黒であるということはない一方で単一顆粒であるとするとそれは薄暗くない
事実4: 「前夜祭りでないがしかし発し続けるとすれば危うくない」ものはある
事実5: 「玄黒でないけど単一顆粒であるとすると薄暗い」物はある
事実6: もし仮にあのリピート客が玄黒だしかつ単一顆粒ならそれは薄暗くない
事実7: もし仮にあるものが長期滞在しないけれどそれが気弱いならば反応しない

仮説: 「「もし「玄黒でないがしかし単一顆粒だ」ということは成り立つなら薄暗くない」ものはある」ということは間違いである
1. 事実3から、仮説が否定される

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