あの的中率は電話等だ
fact1: 「あの的中率は舐る」ということは本当だ fact2: 全てのものは間違い無くない fact3: もし仮にあの出願料が割れ易いとすればこのアスワンダムは紳士らしい fact4: あのエクセルは象るがしかし電話等でない fact5: 仮に「なんらかのものは目敏いが電話等でない」ということは成り立たないならば「それは電話等である」ということは成り立つ fact6: あの的中率は舐る一方でそれは電話等でない fact7: もし「何らかの物は目敏くないけど電話等である」ということは成り立つということはないとしたら電話等でない fact8: もしあの的中率が間違い無くないとするとバイト列構造であるかもしくは割れ易くないかまたは両方だ fact9: あの的中率は間違い無いということはない fact10: 仮になにかは紳士らしいとするとそれは舐る fact11: 間違い無くないものは割れ易くておまけにバイト列構造だ
fact6 -> hypothesis;
fact6 -> hypothesis;
あのざまあは電話等でない
fact12 -> int1: もし仮に「あのざまあは目敏くないが電話等である」ということは偽だとすればそれは電話等でない; fact14 -> int2: もしあのざまあは紳士らしいなら「それは舐る」ということは成り立つ; fact15 & fact13 -> int3: あの的中率はバイト列構造であるかもしくはそれは割れ易くない; int3 -> int4: 「バイト列構造であるか割れ易くない」ものはある;
$facts$ = fact1: 「あの的中率は舐る」ということは本当だ fact2: 全てのものは間違い無くない fact3: もし仮にあの出願料が割れ易いとすればこのアスワンダムは紳士らしい fact4: あのエクセルは象るがしかし電話等でない fact5: 仮に「なんらかのものは目敏いが電話等でない」ということは成り立たないならば「それは電話等である」ということは成り立つ fact6: あの的中率は舐る一方でそれは電話等でない fact7: もし「何らかの物は目敏くないけど電話等である」ということは成り立つということはないとしたら電話等でない fact8: もしあの的中率が間違い無くないとするとバイト列構造であるかもしくは割れ易くないかまたは両方だ fact9: あの的中率は間違い無いということはない fact10: 仮になにかは紳士らしいとするとそれは舐る fact11: 間違い無くないものは割れ易くておまけにバイト列構造だ ; $hypothesis$ = あの的中率は電話等だ ; $proof$ = 
fact6 -> hypothesis; __DISPROVED__
事実1: 「あの的中率は舐る」ということは本当だ
事実2: 全てのものは間違い無くない
事実3: もし仮にあの出願料が割れ易いとすればこのアスワンダムは紳士らしい
事実4: あのエクセルは象るがしかし電話等でない
事実5: 仮に「なんらかのものは目敏いが電話等でない」ということは成り立たないならば「それは電話等である」ということは成り立つ
事実6: あの的中率は舐る一方でそれは電話等でない
事実7: もし「何らかの物は目敏くないけど電話等である」ということは成り立つということはないとしたら電話等でない
事実8: もしあの的中率が間違い無くないとするとバイト列構造であるかもしくは割れ易くないかまたは両方だ
事実9: あの的中率は間違い無いということはない
事実10: 仮になにかは紳士らしいとするとそれは舐る
事実11: 間違い無くないものは割れ易くておまけにバイト列構造だ

仮説: あの的中率は電話等だ
1. 事実6から、仮説が否定される

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