「この色鉛筆は新しないかあるいはそれは予約する」ということは成り立たない
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: あのホットスポット・トラックは予約するということはない
void -> assump1: 以下のように仮定する。この色鉛筆は完工する; assump1 & fact4 -> int1: この色鉛筆は完工するしすばしっこい; int1 & fact19 -> int2: あのホットスポット・トラックは取り除かない; fact11 & fact24 -> int3: あのホットスポット・トラックは取り除く; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この色鉛筆は完工しない; int5 & fact12 -> hypothesis;
この色鉛筆は新しないかもしくは予約するかあるいは両方だ
fact30 -> int6: もし仮にこの郡奉行が取り除くならすばしっこくないけど完工する; fact32 -> int7: そのラメは民事訴訟法学であるかチョイスするかどちらもであるとすると一代記であるということはない; fact34 -> int8: そのラメはチョイスする; int8 -> int9: そのラメは民事訴訟法学であるかもしくはチョイスする; int7 & int9 -> int10: そのラメは一代記でない; fact36 & int10 -> int11: その知的財産基本法は伝え難くない; int11 -> int12: なにがしかのものは伝え難くない; int12 & fact37 -> int13: あの領得罪はディベロッパーであるかあるいは憎たらしいかどちらもだ;
$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: あのホットスポット・トラックは予約するということはない ; $hypothesis$ = 「この色鉛筆は新しないかあるいはそれは予約する」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この色鉛筆は完工する; assump1 & fact4 -> int1: この色鉛筆は完工するしすばしっこい; int1 & fact19 -> int2: あのホットスポット・トラックは取り除かない; fact11 & fact24 -> int3: あのホットスポット・トラックは取り除く; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この色鉛筆は完工しない; int5 & fact12 -> 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: あのホットスポット・トラックは予約するということはない

仮説: 「この色鉛筆は新しないかあるいはそれは予約する」ということは成り立たない
1. 仮定1: 以下のように仮定する。この色鉛筆は完工する
2. 仮定1と事実4から、推論1: "この色鉛筆は完工するしすばしっこい"が導かれる
3. 推論1と事実19から、推論2: "あのホットスポット・トラックは取り除かない"が導かれる
4. 事実11と事実24から、推論3: "あのホットスポット・トラックは取り除く"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この色鉛筆は完工しない"が導かれる
7. 推論5と事実12から、仮説が導かれる

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