このソフトボール大会は受け戻さない
fact1: なにがしかのものは共産党批判であるということはない fact2: 「受け戻す」物はある fact3: 「受け戻さない」ものはある fact4: なにかは彷徨しない fact5: もしも「気付かないが座標点な」物があればこのソフトボール大会は受け戻さない fact6: ある物は気付かない一方でそれは座標点だ
fact6 & fact5 -> hypothesis;
fact6 & fact5 -> hypothesis;
$facts$ = fact1: なにがしかのものは共産党批判であるということはない fact2: 「受け戻す」物はある fact3: 「受け戻さない」ものはある fact4: なにかは彷徨しない fact5: もしも「気付かないが座標点な」物があればこのソフトボール大会は受け戻さない fact6: ある物は気付かない一方でそれは座標点だ ; $hypothesis$ = このソフトボール大会は受け戻さない ; $proof$ = 
fact6 & fact5 -> hypothesis; __PROVED__
事実1: なにがしかのものは共産党批判であるということはない
事実2: 「受け戻す」物はある
事実3: 「受け戻さない」ものはある
事実4: なにかは彷徨しない
事実5: もしも「気付かないが座標点な」物があればこのソフトボール大会は受け戻さない
事実6: ある物は気付かない一方でそれは座標点だ

仮説: このソフトボール大会は受け戻さない
1. 事実6と事実5から、仮説が導かれる

よって、仮説が証明されました。