この薄地は推賞するということはない
fact1: この薄地はＦさんだということはないかまたは推賞しないかまたはどちらもである fact2: あの権力者は指導出来る fact3: 仮にそのスポーツスターが推賞しないとしたらこの薄地は指導出来る fact4: そのスポーツスターは指導出来ないかもしくはＦさんであるということはないか両方だ fact5: この薄地は指導出来るということはないかもしくはそれは推賞しないかまたは両方ともだ fact6: もしも「この薄地は指導出来ない」ということは成り立つならそのスポーツスターは推賞する fact7: 仮にそのスポーツスターが指導出来ないならばあの薄地はＦさんだ fact8: 「そのスポーツスターはＦさんであるということはない」ということは事実であるとしたらこの薄地は推賞する fact9: もしもそのスポーツスターが指導出来るしそれがＦさんであるとすればあの薄地は推賞しない fact10: もしもそのスポーツスターが指導出来ないとしたらこの薄地は推賞する
fact4 & fact10 & fact8 -> hypothesis;
fact4 & fact10 & fact8 -> hypothesis;
この薄地は推賞しない
$facts$ = fact1: この薄地はＦさんだということはないかまたは推賞しないかまたはどちらもである fact2: あの権力者は指導出来る fact3: 仮にそのスポーツスターが推賞しないとしたらこの薄地は指導出来る fact4: そのスポーツスターは指導出来ないかもしくはＦさんであるということはないか両方だ fact5: この薄地は指導出来るということはないかもしくはそれは推賞しないかまたは両方ともだ fact6: もしも「この薄地は指導出来ない」ということは成り立つならそのスポーツスターは推賞する fact7: 仮にそのスポーツスターが指導出来ないならばあの薄地はＦさんだ fact8: 「そのスポーツスターはＦさんであるということはない」ということは事実であるとしたらこの薄地は推賞する fact9: もしもそのスポーツスターが指導出来るしそれがＦさんであるとすればあの薄地は推賞しない fact10: もしもそのスポーツスターが指導出来ないとしたらこの薄地は推賞する ; $hypothesis$ = この薄地は推賞するということはない ; $proof$ = 
fact4 & fact10 & fact8 -> hypothesis; __DISPROVED__
事実1: この薄地はＦさんだということはないかまたは推賞しないかまたはどちらもである
事実2: あの権力者は指導出来る
事実3: 仮にそのスポーツスターが推賞しないとしたらこの薄地は指導出来る
事実4: そのスポーツスターは指導出来ないかもしくはＦさんであるということはないか両方だ
事実5: この薄地は指導出来るということはないかもしくはそれは推賞しないかまたは両方ともだ
事実6: もしも「この薄地は指導出来ない」ということは成り立つならそのスポーツスターは推賞する
事実7: 仮にそのスポーツスターが指導出来ないならばあの薄地はＦさんだ
事実8: 「そのスポーツスターはＦさんであるということはない」ということは事実であるとしたらこの薄地は推賞する
事実9: もしもそのスポーツスターが指導出来るしそれがＦさんであるとすればあの薄地は推賞しない
事実10: もしもそのスポーツスターが指導出来ないとしたらこの薄地は推賞する

仮説: この薄地は推賞するということはない
1. 事実4と事実10と事実8から、仮説が否定される

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