「あの剛毛は誘わない一方で先発出場する」ということは偽だ
fact1: とあるものが剔出しないなら建議しない fact2: あの剛毛は先発出場する fact3: 仮になんらかの物がリメイクするなら晒され易いということはない fact4: もし「なんらかのものは辛いしまた剔出する」ということは事実であるということはないならそれは晒され易くない fact5: もしその十二誘導心電図が晒され易くないとしたらこの面会は入れ難いし加えてそれは建議する fact6: 仮にあの出題はリメイクしないとすれば「「あの剛毛は誘わない一方で先発出場する」ということは成り立たない」ということは本当である fact7: もしもこの面会が誘わないならばあの剛毛は誘わないけど先発出場する fact8: あの出題は誘えば「辛くないがしかし剔出する」ということは成り立たない fact9: もしもとあるものが建議するということはないとすればそれはリメイクするしおまけに入れ難い fact10: もしも「この面会は事情通りでないかもしくはそれは先発出場するかまたはどちらもである」ということは誤りならばあの出題は誘う fact11: 「「入れ難くないがしかし建議する」ということは事実と異なる」物があるならこの面会は晒され易くない fact12: もしも「「建議しない」ということは確かである」ものはあるとしたら「この面会は晒され易くない」ということは誤っていない fact13: もしもこの面会が入れ難いしリメイクすれば「あの出題はリメイクしない」ということは成り立つ fact14: 「リメイクする」ものはある fact15: 「あの剛毛は先発出場しないけれど入れ難い」ということは成り立たない fact16: もしもその十二誘導心電図は事情通りであるということはないとすれば「辛くておまけに剔出する」ということは成り立たない fact17: この面会は晒され易くないけれど剔出するとすると誘わない fact18: 「「「この面会は事情通りでないか先発出場するかあるいは両方である」ということは成り立つ」ということは間違いである」ということは偽でない fact19: もしも「ある物はリメイクする」ということは本当だとすると「あの出題は入れ難くない一方で建議する」ということは成り立たない fact20: 「この面会は剔出する」ということは本当である fact21: 「あのＲＷ処分は剔出する」ということは本当である
fact14 & fact19 -> int1: 「あの出題は入れ難いということはない一方で建議する」ということは成り立たない; int1 -> int2: 「「入れ難いということはないがしかし建議する」ということは事実と異なる」ものはある; int2 & fact11 -> int3: この面会は晒され易くない; int3 & fact20 -> int4: この面会は晒され易くない一方で剔出する; int4 & fact17 -> int5: 「この面会は誘うということはない」ということは事実だ; int5 & fact7 -> hypothesis;
「あの剛毛は誘わないがしかしそれは先発出場する」ということは成り立たない
fact23 -> int6: もし仮に「その十二誘導心電図は辛いしさらにそれは剔出する」ということは成り立たないとしたら「それは晒され易くない」ということは事実だ;
$facts$ = fact1: とあるものが剔出しないなら建議しない fact2: あの剛毛は先発出場する fact3: 仮になんらかの物がリメイクするなら晒され易いということはない fact4: もし「なんらかのものは辛いしまた剔出する」ということは事実であるということはないならそれは晒され易くない fact5: もしその十二誘導心電図が晒され易くないとしたらこの面会は入れ難いし加えてそれは建議する fact6: 仮にあの出題はリメイクしないとすれば「「あの剛毛は誘わない一方で先発出場する」ということは成り立たない」ということは本当である fact7: もしもこの面会が誘わないならばあの剛毛は誘わないけど先発出場する fact8: あの出題は誘えば「辛くないがしかし剔出する」ということは成り立たない fact9: もしもとあるものが建議するということはないとすればそれはリメイクするしおまけに入れ難い fact10: もしも「この面会は事情通りでないかもしくはそれは先発出場するかまたはどちらもである」ということは誤りならばあの出題は誘う fact11: 「「入れ難くないがしかし建議する」ということは事実と異なる」物があるならこの面会は晒され易くない fact12: もしも「「建議しない」ということは確かである」ものはあるとしたら「この面会は晒され易くない」ということは誤っていない fact13: もしもこの面会が入れ難いしリメイクすれば「あの出題はリメイクしない」ということは成り立つ fact14: 「リメイクする」ものはある fact15: 「あの剛毛は先発出場しないけれど入れ難い」ということは成り立たない fact16: もしもその十二誘導心電図は事情通りであるということはないとすれば「辛くておまけに剔出する」ということは成り立たない fact17: この面会は晒され易くないけれど剔出するとすると誘わない fact18: 「「「この面会は事情通りでないか先発出場するかあるいは両方である」ということは成り立つ」ということは間違いである」ということは偽でない fact19: もしも「ある物はリメイクする」ということは本当だとすると「あの出題は入れ難くない一方で建議する」ということは成り立たない fact20: 「この面会は剔出する」ということは本当である fact21: 「あのＲＷ処分は剔出する」ということは本当である ; $hypothesis$ = 「あの剛毛は誘わない一方で先発出場する」ということは偽だ ; $proof$ = 
fact14 & fact19 -> int1: 「あの出題は入れ難いということはない一方で建議する」ということは成り立たない; int1 -> int2: 「「入れ難いということはないがしかし建議する」ということは事実と異なる」ものはある; int2 & fact11 -> int3: この面会は晒され易くない; int3 & fact20 -> int4: この面会は晒され易くない一方で剔出する; int4 & fact17 -> int5: 「この面会は誘うということはない」ということは事実だ; int5 & fact7 -> hypothesis; __DISPROVED__
事実1: とあるものが剔出しないなら建議しない
事実2: あの剛毛は先発出場する
事実3: 仮になんらかの物がリメイクするなら晒され易いということはない
事実4: もし「なんらかのものは辛いしまた剔出する」ということは事実であるということはないならそれは晒され易くない
事実5: もしその十二誘導心電図が晒され易くないとしたらこの面会は入れ難いし加えてそれは建議する
事実6: 仮にあの出題はリメイクしないとすれば「「あの剛毛は誘わない一方で先発出場する」ということは成り立たない」ということは本当である
事実7: もしもこの面会が誘わないならばあの剛毛は誘わないけど先発出場する
事実8: あの出題は誘えば「辛くないがしかし剔出する」ということは成り立たない
事実9: もしもとあるものが建議するということはないとすればそれはリメイクするしおまけに入れ難い
事実10: もしも「この面会は事情通りでないかもしくはそれは先発出場するかまたはどちらもである」ということは誤りならばあの出題は誘う
事実11: 「「入れ難くないがしかし建議する」ということは事実と異なる」物があるならこの面会は晒され易くない
事実12: もしも「「建議しない」ということは確かである」ものはあるとしたら「この面会は晒され易くない」ということは誤っていない
事実13: もしもこの面会が入れ難いしリメイクすれば「あの出題はリメイクしない」ということは成り立つ
事実14: 「リメイクする」ものはある
事実15: 「あの剛毛は先発出場しないけれど入れ難い」ということは成り立たない
事実16: もしもその十二誘導心電図は事情通りであるということはないとすれば「辛くておまけに剔出する」ということは成り立たない
事実17: この面会は晒され易くないけれど剔出するとすると誘わない
事実18: 「「「この面会は事情通りでないか先発出場するかあるいは両方である」ということは成り立つ」ということは間違いである」ということは偽でない
事実19: もしも「ある物はリメイクする」ということは本当だとすると「あの出題は入れ難くない一方で建議する」ということは成り立たない
事実20: 「この面会は剔出する」ということは本当である
事実21: 「あのＲＷ処分は剔出する」ということは本当である

仮説: 「あの剛毛は誘わない一方で先発出場する」ということは偽だ
1. 事実14と事実19から、推論1: "「あの出題は入れ難いということはない一方で建議する」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「入れ難いということはないがしかし建議する」ということは事実と異なる」ものはある"が導かれる
3. 推論2と事実11から、推論3: "この面会は晒され易くない"が導かれる
4. 推論3と事実20から、推論4: "この面会は晒され易くない一方で剔出する"が導かれる
5. 推論4と事実17から、推論5: "「この面会は誘うということはない」ということは事実だ"が導かれる
6. 推論5と事実7から、仮説が否定される

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