もし仮にこの範囲等がシーク教徒だとすればこのスプリントカートは統計学だ
fact1: もし「このスプリントカートはシーク教徒である」ということは本当であるとすればあの一大決戦は統計学である fact2: あのエンターはシーク教徒である fact3: あの一大決戦は統計学だ fact4: この範囲等が統計学ならこのスプリントカートはシーク教徒である fact5: あの一大決戦はシーク教徒である fact6: 仮になんらかの物はシーク教徒でないとするとそれは起訴出来る fact7: もし「このスプリントカートは起訴出来ない」ということは誤っているとしたらあの一大決戦は統計学だ fact8: この範囲等は統計学だ fact9: その二錠は統計学である fact10: このスプリントカートはシーク教徒だ fact11: もしもあの一大決戦が起訴出来るとしたらこのスプリントカートは統計学だ fact12: もしもこの範囲等がシーク教徒ならばあの一大決戦は起訴出来る fact13: このスプリントカートは起訴出来る fact14: 「仮にあの一大決戦がシーク教徒だとするとこの範囲等は起訴出来る」ということは真実である fact15: このスプリントカートは保存登記である fact16: 仮にこのスプリントカートがシーク教徒だとするとこの範囲等は統計学である
void -> assump1: 以下のように仮定する。「この範囲等はシーク教徒でない」ということは成り立たない; fact12 & assump1 -> int1: あの一大決戦は起訴出来る; int1 & fact11 -> int2: このスプリントカートは統計学だ; [assump1] & int2 -> hypothesis;
あの不使用部分は起訴出来る
fact17 -> int3: あの不使用部分はシーク教徒でないならばそれは起訴出来る;
$facts$ = fact1: もし「このスプリントカートはシーク教徒である」ということは本当であるとすればあの一大決戦は統計学である fact2: あのエンターはシーク教徒である fact3: あの一大決戦は統計学だ fact4: この範囲等が統計学ならこのスプリントカートはシーク教徒である fact5: あの一大決戦はシーク教徒である fact6: 仮になんらかの物はシーク教徒でないとするとそれは起訴出来る fact7: もし「このスプリントカートは起訴出来ない」ということは誤っているとしたらあの一大決戦は統計学だ fact8: この範囲等は統計学だ fact9: その二錠は統計学である fact10: このスプリントカートはシーク教徒だ fact11: もしもあの一大決戦が起訴出来るとしたらこのスプリントカートは統計学だ fact12: もしもこの範囲等がシーク教徒ならばあの一大決戦は起訴出来る fact13: このスプリントカートは起訴出来る fact14: 「仮にあの一大決戦がシーク教徒だとするとこの範囲等は起訴出来る」ということは真実である fact15: このスプリントカートは保存登記である fact16: 仮にこのスプリントカートがシーク教徒だとするとこの範囲等は統計学である ; $hypothesis$ = もし仮にこの範囲等がシーク教徒だとすればこのスプリントカートは統計学だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「この範囲等はシーク教徒でない」ということは成り立たない; fact12 & assump1 -> int1: あの一大決戦は起訴出来る; int1 & fact11 -> int2: このスプリントカートは統計学だ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし「このスプリントカートはシーク教徒である」ということは本当であるとすればあの一大決戦は統計学である
事実2: あのエンターはシーク教徒である
事実3: あの一大決戦は統計学だ
事実4: この範囲等が統計学ならこのスプリントカートはシーク教徒である
事実5: あの一大決戦はシーク教徒である
事実6: 仮になんらかの物はシーク教徒でないとするとそれは起訴出来る
事実7: もし「このスプリントカートは起訴出来ない」ということは誤っているとしたらあの一大決戦は統計学だ
事実8: この範囲等は統計学だ
事実9: その二錠は統計学である
事実10: このスプリントカートはシーク教徒だ
事実11: もしもあの一大決戦が起訴出来るとしたらこのスプリントカートは統計学だ
事実12: もしもこの範囲等がシーク教徒ならばあの一大決戦は起訴出来る
事実13: このスプリントカートは起訴出来る
事実14: 「仮にあの一大決戦がシーク教徒だとするとこの範囲等は起訴出来る」ということは真実である
事実15: このスプリントカートは保存登記である
事実16: 仮にこのスプリントカートがシーク教徒だとするとこの範囲等は統計学である

仮説: もし仮にこの範囲等がシーク教徒だとすればこのスプリントカートは統計学だ
1. 仮定1: 以下のように仮定する。「この範囲等はシーク教徒でない」ということは成り立たない
2. 事実12と仮定1から、推論1: "あの一大決戦は起訴出来る"が導かれる
3. 推論1と事実11から、推論2: "このスプリントカートは統計学だ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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