「当たり易いとしたらリード出来るけど残り半分でない」ものはある
fact1: もしあのセルＧが粗いとしたらそれが味方だしさらに当たり易くない fact2: 「もしも街らしいとすれば「下命する」ということは本当である」ものはある fact3: もし「あのセルＧは当たり易い」ということは確かであるならリード出来るししかも残り半分でない fact4: あのセルＧは残り半分であるとするとそれはしぶとくてかつ拡散反射面だ fact5: あのセルＧが入れ難いとすると射竦めるけれど入党しない fact6: 「もし「当たり易い」ということは本当であるならばリード出来る」ものはある
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: もしあのセルＧが粗いとしたらそれが味方だしさらに当たり易くない fact2: 「もしも街らしいとすれば「下命する」ということは本当である」ものはある fact3: もし「あのセルＧは当たり易い」ということは確かであるならリード出来るししかも残り半分でない fact4: あのセルＧは残り半分であるとするとそれはしぶとくてかつ拡散反射面だ fact5: あのセルＧが入れ難いとすると射竦めるけれど入党しない fact6: 「もし「当たり易い」ということは本当であるならばリード出来る」ものはある ; $hypothesis$ = 「当たり易いとしたらリード出来るけど残り半分でない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしあのセルＧが粗いとしたらそれが味方だしさらに当たり易くない
事実2: 「もしも街らしいとすれば「下命する」ということは本当である」ものはある
事実3: もし「あのセルＧは当たり易い」ということは確かであるならリード出来るししかも残り半分でない
事実4: あのセルＧは残り半分であるとするとそれはしぶとくてかつ拡散反射面だ
事実5: あのセルＧが入れ難いとすると射竦めるけれど入党しない
事実6: 「もし「当たり易い」ということは本当であるならばリード出来る」ものはある

仮説: 「当たり易いとしたらリード出来るけど残り半分でない」ものはある
1. 事実3から、仮説が導かれる

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