あの同伴競技者は番人である
fact1: もしもその三十分頃は地方出身であるなら「「このコンペはタキソールである一方で勝負出来ない」ということは成り立つ」ということは事実と異なる fact2: もし仮にあの同伴競技者は微笑まないとすれば「それは会話らしいし更にそれは形成され易い」ということは偽だ fact3: 「タキソールでなくてしかも勝負出来ない」物はある fact4: もし仮に「「タキソールでないしかつ勝負出来ない」ということは事実と異なる」ものがあるとすればあの同伴競技者は番人でない fact5: もしも「タキソールな」物があるとしたらあの同伴競技者は番人でない fact6: 「「タキソールだということはないが勝負出来る」ということは間違いな」物はある fact7: もし仮に「「あの同伴競技者は会話らしいし形成され易い」ということは本当だ」ということは成り立たないとすればそれは成され易くない fact8: あの同伴競技者は微笑まない fact9: 仮にあの同伴競技者が成され易くないとしたらそれは突き動かさない fact10: 仮にとあるものは正常範囲内でないとすると「番人でないが地方出身だ」ということは成り立たない fact11: その三十分頃は地方出身であるなら「このコンペはタキソールでなくてそれは勝負出来ない」ということは誤っている fact12: その三十分頃は地方出身である fact13: 「あの同伴競技者は番人でないけど地方出身である」ということは間違いであるとすればあのコンペは地方出身でない fact14: もしもとある物は突き動かすということはないとしたら「正常範囲内であるしさらに借り換える」ということは成り立たない fact15: もし「なにがしかのものは正常範囲内だし借り換える」ということは誤りだとすればそれは正常範囲内でない
fact11 & fact12 -> int1: 「このコンペはタキソールであるということはないしさらに勝負出来ない」ということは間違っている; int1 -> int2: 「「タキソールでなくて勝負出来ない」ということは誤りな」物はある; int2 & fact4 -> hypothesis;
「「当期一般正味財産増減額でなくてその上投光照明でない」ということは間違いな」ものはある
fact18 -> int3: もし「あの同伴競技者は正常範囲内でない」ということは成り立つとすれば「番人でなくてそれは地方出身である」ということは事実と異なる; fact19 -> int4: もし仮に「あの同伴競技者が正常範囲内だし借り換える」ということは間違いであるならばそれは正常範囲内だということはない; fact17 -> int5: あの同伴競技者は突き動かさないとしたら「それが正常範囲内だししかもそれは借り換える」ということは成り立たない; fact21 & fact23 -> int6: 「あの同伴競技者は会話らしいし形成され易い」ということは間違っている; fact16 & int6 -> int7: あの同伴競技者は成され易くない; fact22 & int7 -> int8: あの同伴競技者は突き動かすということはない; int5 & int8 -> int9: 「あの同伴競技者は正常範囲内でおまけに借り換える」ということは誤りである; int4 & int9 -> int10: あの同伴競技者は正常範囲内だということはない; int3 & int10 -> int11: 「「あの同伴競技者は番人でない一方で地方出身である」ということは確かだ」ということは成り立たない; fact20 & int11 -> int12: このコンペは地方出身であるということはない; int12 -> int13: とあるものは地方出身でない;
$facts$ = fact1: もしもその三十分頃は地方出身であるなら「「このコンペはタキソールである一方で勝負出来ない」ということは成り立つ」ということは事実と異なる fact2: もし仮にあの同伴競技者は微笑まないとすれば「それは会話らしいし更にそれは形成され易い」ということは偽だ fact3: 「タキソールでなくてしかも勝負出来ない」物はある fact4: もし仮に「「タキソールでないしかつ勝負出来ない」ということは事実と異なる」ものがあるとすればあの同伴競技者は番人でない fact5: もしも「タキソールな」物があるとしたらあの同伴競技者は番人でない fact6: 「「タキソールだということはないが勝負出来る」ということは間違いな」物はある fact7: もし仮に「「あの同伴競技者は会話らしいし形成され易い」ということは本当だ」ということは成り立たないとすればそれは成され易くない fact8: あの同伴競技者は微笑まない fact9: 仮にあの同伴競技者が成され易くないとしたらそれは突き動かさない fact10: 仮にとあるものは正常範囲内でないとすると「番人でないが地方出身だ」ということは成り立たない fact11: その三十分頃は地方出身であるなら「このコンペはタキソールでなくてそれは勝負出来ない」ということは誤っている fact12: その三十分頃は地方出身である fact13: 「あの同伴競技者は番人でないけど地方出身である」ということは間違いであるとすればあのコンペは地方出身でない fact14: もしもとある物は突き動かすということはないとしたら「正常範囲内であるしさらに借り換える」ということは成り立たない fact15: もし「なにがしかのものは正常範囲内だし借り換える」ということは誤りだとすればそれは正常範囲内でない ; $hypothesis$ = あの同伴競技者は番人である ; $proof$ = 
fact11 & fact12 -> int1: 「このコンペはタキソールであるということはないしさらに勝負出来ない」ということは間違っている; int1 -> int2: 「「タキソールでなくて勝負出来ない」ということは誤りな」物はある; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: もしもその三十分頃は地方出身であるなら「「このコンペはタキソールである一方で勝負出来ない」ということは成り立つ」ということは事実と異なる
事実2: もし仮にあの同伴競技者は微笑まないとすれば「それは会話らしいし更にそれは形成され易い」ということは偽だ
事実3: 「タキソールでなくてしかも勝負出来ない」物はある
事実4: もし仮に「「タキソールでないしかつ勝負出来ない」ということは事実と異なる」ものがあるとすればあの同伴競技者は番人でない
事実5: もしも「タキソールな」物があるとしたらあの同伴競技者は番人でない
事実6: 「「タキソールだということはないが勝負出来る」ということは間違いな」物はある
事実7: もし仮に「「あの同伴競技者は会話らしいし形成され易い」ということは本当だ」ということは成り立たないとすればそれは成され易くない
事実8: あの同伴競技者は微笑まない
事実9: 仮にあの同伴競技者が成され易くないとしたらそれは突き動かさない
事実10: 仮にとあるものは正常範囲内でないとすると「番人でないが地方出身だ」ということは成り立たない
事実11: その三十分頃は地方出身であるなら「このコンペはタキソールでなくてそれは勝負出来ない」ということは誤っている
事実12: その三十分頃は地方出身である
事実13: 「あの同伴競技者は番人でないけど地方出身である」ということは間違いであるとすればあのコンペは地方出身でない
事実14: もしもとある物は突き動かすということはないとしたら「正常範囲内であるしさらに借り換える」ということは成り立たない
事実15: もし「なにがしかのものは正常範囲内だし借り換える」ということは誤りだとすればそれは正常範囲内でない

仮説: あの同伴競技者は番人である
1. 事実11と事実12から、推論1: "「このコンペはタキソールであるということはないしさらに勝負出来ない」ということは間違っている"が導かれる
2. 推論1から、推論2: "「「タキソールでなくて勝負出来ない」ということは誤りな」物はある"が導かれる
3. 推論2と事実4から、仮説が否定される

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