「「サドル部でないなら近医でない」物はある」ということは成り立たない
fact1: あの体操服はサドル部でないならばそれは近医である fact2: 「仮にサドル部だとしたら近医でない」ものはある fact3: もし仮にあの体操服がサドル部なら近医でない fact4: もしもあの体操服はサドル部であるということはないとすると近医でない fact5: 「仕事らしくない物はリザードマン達でない」ということは真実である fact6: 「もしも塗り分けないならば厳くない」物はある fact7: 「もしも「走り出ない」ということは真実ならば厳くない」ものはある fact8: 「もしアッシュでないとすれば塗り分けない」ものはある fact9: 「もし成人男性でないなら「伸筋でない」ということは成り立つ」物はある fact10: 「「もし「日暮れない」ということは本当であるとすると「発揮出来ない」ということは真実である」ものはある」ということは確かだ fact11: 「仮にサドル部だということはないなら「近医だ」ということは成り立つ」物はある
fact4 -> hypothesis;
「もし仕事らしくないとしたらリザードマン達でない」ものはある
fact12 -> int1: 仮にその繊毛が仕事らしくないとすればリザードマン達でない; int1 -> hypothesis;
$facts$ = fact1: あの体操服はサドル部でないならばそれは近医である fact2: 「仮にサドル部だとしたら近医でない」ものはある fact3: もし仮にあの体操服がサドル部なら近医でない fact4: もしもあの体操服はサドル部であるということはないとすると近医でない fact5: 「仕事らしくない物はリザードマン達でない」ということは真実である fact6: 「もしも塗り分けないならば厳くない」物はある fact7: 「もしも「走り出ない」ということは真実ならば厳くない」ものはある fact8: 「もしアッシュでないとすれば塗り分けない」ものはある fact9: 「もし成人男性でないなら「伸筋でない」ということは成り立つ」物はある fact10: 「「もし「日暮れない」ということは本当であるとすると「発揮出来ない」ということは真実である」ものはある」ということは確かだ fact11: 「仮にサドル部だということはないなら「近医だ」ということは成り立つ」物はある ; $hypothesis$ = 「「サドル部でないなら近医でない」物はある」ということは成り立たない ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: あの体操服はサドル部でないならばそれは近医である
事実2: 「仮にサドル部だとしたら近医でない」ものはある
事実3: もし仮にあの体操服がサドル部なら近医でない
事実4: もしもあの体操服はサドル部であるということはないとすると近医でない
事実5: 「仕事らしくない物はリザードマン達でない」ということは真実である
事実6: 「もしも塗り分けないならば厳くない」物はある
事実7: 「もしも「走り出ない」ということは真実ならば厳くない」ものはある
事実8: 「もしアッシュでないとすれば塗り分けない」ものはある
事実9: 「もし成人男性でないなら「伸筋でない」ということは成り立つ」物はある
事実10: 「「もし「日暮れない」ということは本当であるとすると「発揮出来ない」ということは真実である」ものはある」ということは確かだ
事実11: 「仮にサドル部だということはないなら「近医だ」ということは成り立つ」物はある

仮説: 「「サドル部でないなら近医でない」物はある」ということは成り立たない
1. 事実4から、仮説が否定される

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