この二打目はトブシンでない
fact1: 「もしその惨苦が海兵隊だとするとあの小児発症例はだだっ広い」ということは事実である fact2: もしも「あの小児発症例は海兵隊である」ということは正しいならばそのオーケーボタンは海兵隊だ fact3: あの小児発症例は三人する fact4: 何かは海兵隊であるしおまけにだだっ広い fact5: そのオーケーボタンはだだっ広くない fact6: 「担保法改正である」物はある fact7: もし仮にその惨苦が担保法改正であるとするとそのオーケーボタンはコリア人である fact8: もし仮にこの二打目は海兵隊ならば「あの小児発症例はトブシンだ」ということは本当だ fact9: 仮に何かはコリア人であるし海兵隊だとしたらそのプロジェクトペインは作り難い fact10: この語形変化は海兵隊である fact11: その惨苦が作り難いとすればそのプロジェクトペインはだだっ広い fact12: もし「海兵隊な」物があるならあの小児発症例はコリア人でない fact13: 「だだっ広くて海兵隊である」物はある fact14: もしも「そのプロジェクトペインはコリア人だ」ということは成り立つとすればそのオーケーボタンは作り難い fact15: あの小児発症例は気休めであるかもしくはそれは搦め取るかどちらもである fact16: あの小児発症例は海兵隊だ fact17: その惨苦は得られ易い fact18: あの小児発症例はトブシンでない fact19: その惨苦がだだっ広いならそのオーケーボタンはコリア人である fact20: その惨苦はだだっ広いかもしくは担保法改正であるかまたは両方ともだ fact21: この二打目はだだっ広いかまたは三人するか両方である fact22: なにがしかのものはトブシンだ fact23: 「発動判定である」ものはある fact24: 「そのプロジェクトペインはトブシンでない」ということは成り立つ fact25: そのオーケーボタンは三人するということはない fact26: その惨苦ははしたなくてそれにフーリエ逆変換する fact27: 仮に「何らかのものは作り難い」ということは事実だとするとこの二打目は三人しないしその上トブシンであるということはない
fact20 & fact19 & fact7 -> int1: そのオーケーボタンはコリア人だ; fact16 & fact2 -> int2: 「そのオーケーボタンは海兵隊である」ということは正しい; int1 & int2 -> int3: そのオーケーボタンはコリア人であるしそれは海兵隊である; int3 -> int4: なんらかのものがコリア人だしそれは海兵隊だ; int4 & fact9 -> int5: 「そのプロジェクトペインは作り難い」ということは事実と異ならない; int5 -> int6: 作り難いものはある; int6 & fact27 -> int7: この二打目は三人するということはなくてトブシンでない; int7 -> hypothesis;
$facts$ = fact1: 「もしその惨苦が海兵隊だとするとあの小児発症例はだだっ広い」ということは事実である fact2: もしも「あの小児発症例は海兵隊である」ということは正しいならばそのオーケーボタンは海兵隊だ fact3: あの小児発症例は三人する fact4: 何かは海兵隊であるしおまけにだだっ広い fact5: そのオーケーボタンはだだっ広くない fact6: 「担保法改正である」物はある fact7: もし仮にその惨苦が担保法改正であるとするとそのオーケーボタンはコリア人である fact8: もし仮にこの二打目は海兵隊ならば「あの小児発症例はトブシンだ」ということは本当だ fact9: 仮に何かはコリア人であるし海兵隊だとしたらそのプロジェクトペインは作り難い fact10: この語形変化は海兵隊である fact11: その惨苦が作り難いとすればそのプロジェクトペインはだだっ広い fact12: もし「海兵隊な」物があるならあの小児発症例はコリア人でない fact13: 「だだっ広くて海兵隊である」物はある fact14: もしも「そのプロジェクトペインはコリア人だ」ということは成り立つとすればそのオーケーボタンは作り難い fact15: あの小児発症例は気休めであるかもしくはそれは搦め取るかどちらもである fact16: あの小児発症例は海兵隊だ fact17: その惨苦は得られ易い fact18: あの小児発症例はトブシンでない fact19: その惨苦がだだっ広いならそのオーケーボタンはコリア人である fact20: その惨苦はだだっ広いかもしくは担保法改正であるかまたは両方ともだ fact21: この二打目はだだっ広いかまたは三人するか両方である fact22: なにがしかのものはトブシンだ fact23: 「発動判定である」ものはある fact24: 「そのプロジェクトペインはトブシンでない」ということは成り立つ fact25: そのオーケーボタンは三人するということはない fact26: その惨苦ははしたなくてそれにフーリエ逆変換する fact27: 仮に「何らかのものは作り難い」ということは事実だとするとこの二打目は三人しないしその上トブシンであるということはない ; $hypothesis$ = この二打目はトブシンでない ; $proof$ = 
fact20 & fact19 & fact7 -> int1: そのオーケーボタンはコリア人だ; fact16 & fact2 -> int2: 「そのオーケーボタンは海兵隊である」ということは正しい; int1 & int2 -> int3: そのオーケーボタンはコリア人であるしそれは海兵隊である; int3 -> int4: なんらかのものがコリア人だしそれは海兵隊だ; int4 & fact9 -> int5: 「そのプロジェクトペインは作り難い」ということは事実と異ならない; int5 -> int6: 作り難いものはある; int6 & fact27 -> int7: この二打目は三人するということはなくてトブシンでない; int7 -> hypothesis; __PROVED__
事実1: 「もしその惨苦が海兵隊だとするとあの小児発症例はだだっ広い」ということは事実である
事実2: もしも「あの小児発症例は海兵隊である」ということは正しいならばそのオーケーボタンは海兵隊だ
事実3: あの小児発症例は三人する
事実4: 何かは海兵隊であるしおまけにだだっ広い
事実5: そのオーケーボタンはだだっ広くない
事実6: 「担保法改正である」物はある
事実7: もし仮にその惨苦が担保法改正であるとするとそのオーケーボタンはコリア人である
事実8: もし仮にこの二打目は海兵隊ならば「あの小児発症例はトブシンだ」ということは本当だ
事実9: 仮に何かはコリア人であるし海兵隊だとしたらそのプロジェクトペインは作り難い
事実10: この語形変化は海兵隊である
事実11: その惨苦が作り難いとすればそのプロジェクトペインはだだっ広い
事実12: もし「海兵隊な」物があるならあの小児発症例はコリア人でない
事実13: 「だだっ広くて海兵隊である」物はある
事実14: もしも「そのプロジェクトペインはコリア人だ」ということは成り立つとすればそのオーケーボタンは作り難い
事実15: あの小児発症例は気休めであるかもしくはそれは搦め取るかどちらもである
事実16: あの小児発症例は海兵隊だ
事実17: その惨苦は得られ易い
事実18: あの小児発症例はトブシンでない
事実19: その惨苦がだだっ広いならそのオーケーボタンはコリア人である
事実20: その惨苦はだだっ広いかもしくは担保法改正であるかまたは両方ともだ
事実21: この二打目はだだっ広いかまたは三人するか両方である
事実22: なにがしかのものはトブシンだ
事実23: 「発動判定である」ものはある
事実24: 「そのプロジェクトペインはトブシンでない」ということは成り立つ
事実25: そのオーケーボタンは三人するということはない
事実26: その惨苦ははしたなくてそれにフーリエ逆変換する
事実27: 仮に「何らかのものは作り難い」ということは事実だとするとこの二打目は三人しないしその上トブシンであるということはない

仮説: この二打目はトブシンでない
1. 事実20と事実19と事実7から、推論1: "そのオーケーボタンはコリア人だ"が導かれる
2. 事実16と事実2から、推論2: "「そのオーケーボタンは海兵隊である」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "そのオーケーボタンはコリア人であるしそれは海兵隊である"が導かれる
4. 推論3から、推論4: "なんらかのものがコリア人だしそれは海兵隊だ"が導かれる
5. 推論4と事実9から、推論5: "「そのプロジェクトペインは作り難い」ということは事実と異ならない"が導かれる
6. 推論5から、推論6: "作り難いものはある"が導かれる
7. 推論6と事実27から、推論7: "この二打目は三人するということはなくてトブシンでない"が導かれる
8. 推論7から、仮説が導かれる

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