「この朝鮮戦争は表出するということはない」ということは偽だ
fact1: もし仮にこの猛虎が暗いなら表出する fact2: あの峰飛麟達は咽ばない fact3: あるものが咽ぶとすると表出する fact4: 長考は表出しない fact5: 「○パーセント削減な」ものはある fact6: 仮にこの猛虎が咽ばないならばあの朝鮮戦争は咽ぶかまたは暗い fact7: もしも「この八月革命は譲り受け人でない」ということは事実であるなら「暗くて加えてそれは訝しくない」ということは事実と異なる fact8: あのバンプマッピングは咽ばない fact9: 仮にあのバンプマッピングが暗いならこの朝鮮戦争は咽ぶ fact10: 「「長考である」ということは成り立つ」ものはある fact11: 「「長考な」ものがあるとしたらこの猛虎は暗くない」ということは真実だ fact12: 「もしもあのバンプマッピングは暗くないとしたら「この猛虎は咽ぶということはないし長考でない」ということは間違いだ」ということは間違っていない fact13: なにかは恭しい fact14: 仮にこの朝鮮戦争が譲り受け人であるとしたらあのバンプマッピングは咽ぶ fact15: もしこの猛虎が暗くないならあのバンプマッピングは暗いか譲り受け人であるかまたはどちらもだ fact16: この猛虎は譲り受け人である fact17: 仮に何らかの物が暗いとしたら表出する fact18: もしもこの猛虎が表出するということはないとしたらこの朝鮮戦争は表出するかあるいはそれは暗いかもしくはどちらもだ fact19: もし仮にあのバンプマッピングが譲り受け人であるならこの朝鮮戦争は咽ぶ fact20: この朝鮮戦争は暗いということはない
fact10 & fact11 -> int1: 「この猛虎は暗くない」ということは確かだ; int1 & fact15 -> int2: あのバンプマッピングは暗いかまたは譲り受け人であるか両方ともだ; int2 & fact9 & fact19 -> int3: この朝鮮戦争は咽ぶ; fact3 -> int4: この朝鮮戦争が咽ぶとすれば表出する; int3 & int4 -> hypothesis;
この朝鮮戦争は表出するということはない
fact22 -> int5: もし仮に「この朝鮮戦争は長考である」ということは真実なら表出しない;
$facts$ = fact1: もし仮にこの猛虎が暗いなら表出する fact2: あの峰飛麟達は咽ばない fact3: あるものが咽ぶとすると表出する fact4: 長考は表出しない fact5: 「○パーセント削減な」ものはある fact6: 仮にこの猛虎が咽ばないならばあの朝鮮戦争は咽ぶかまたは暗い fact7: もしも「この八月革命は譲り受け人でない」ということは事実であるなら「暗くて加えてそれは訝しくない」ということは事実と異なる fact8: あのバンプマッピングは咽ばない fact9: 仮にあのバンプマッピングが暗いならこの朝鮮戦争は咽ぶ fact10: 「「長考である」ということは成り立つ」ものはある fact11: 「「長考な」ものがあるとしたらこの猛虎は暗くない」ということは真実だ fact12: 「もしもあのバンプマッピングは暗くないとしたら「この猛虎は咽ぶということはないし長考でない」ということは間違いだ」ということは間違っていない fact13: なにかは恭しい fact14: 仮にこの朝鮮戦争が譲り受け人であるとしたらあのバンプマッピングは咽ぶ fact15: もしこの猛虎が暗くないならあのバンプマッピングは暗いか譲り受け人であるかまたはどちらもだ fact16: この猛虎は譲り受け人である fact17: 仮に何らかの物が暗いとしたら表出する fact18: もしもこの猛虎が表出するということはないとしたらこの朝鮮戦争は表出するかあるいはそれは暗いかもしくはどちらもだ fact19: もし仮にあのバンプマッピングが譲り受け人であるならこの朝鮮戦争は咽ぶ fact20: この朝鮮戦争は暗いということはない ; $hypothesis$ = 「この朝鮮戦争は表出するということはない」ということは偽だ ; $proof$ = 
fact10 & fact11 -> int1: 「この猛虎は暗くない」ということは確かだ; int1 & fact15 -> int2: あのバンプマッピングは暗いかまたは譲り受け人であるか両方ともだ; int2 & fact9 & fact19 -> int3: この朝鮮戦争は咽ぶ; fact3 -> int4: この朝鮮戦争が咽ぶとすれば表出する; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮にこの猛虎が暗いなら表出する
事実2: あの峰飛麟達は咽ばない
事実3: あるものが咽ぶとすると表出する
事実4: 長考は表出しない
事実5: 「○パーセント削減な」ものはある
事実6: 仮にこの猛虎が咽ばないならばあの朝鮮戦争は咽ぶかまたは暗い
事実7: もしも「この八月革命は譲り受け人でない」ということは事実であるなら「暗くて加えてそれは訝しくない」ということは事実と異なる
事実8: あのバンプマッピングは咽ばない
事実9: 仮にあのバンプマッピングが暗いならこの朝鮮戦争は咽ぶ
事実10: 「「長考である」ということは成り立つ」ものはある
事実11: 「「長考な」ものがあるとしたらこの猛虎は暗くない」ということは真実だ
事実12: 「もしもあのバンプマッピングは暗くないとしたら「この猛虎は咽ぶということはないし長考でない」ということは間違いだ」ということは間違っていない
事実13: なにかは恭しい
事実14: 仮にこの朝鮮戦争が譲り受け人であるとしたらあのバンプマッピングは咽ぶ
事実15: もしこの猛虎が暗くないならあのバンプマッピングは暗いか譲り受け人であるかまたはどちらもだ
事実16: この猛虎は譲り受け人である
事実17: 仮に何らかの物が暗いとしたら表出する
事実18: もしもこの猛虎が表出するということはないとしたらこの朝鮮戦争は表出するかあるいはそれは暗いかもしくはどちらもだ
事実19: もし仮にあのバンプマッピングが譲り受け人であるならこの朝鮮戦争は咽ぶ
事実20: この朝鮮戦争は暗いということはない

仮説: 「この朝鮮戦争は表出するということはない」ということは偽だ
1. 事実10と事実11から、推論1: "「この猛虎は暗くない」ということは確かだ"が導かれる
2. 推論1と事実15から、推論2: "あのバンプマッピングは暗いかまたは譲り受け人であるか両方ともだ"が導かれる
3. 推論2と事実9と事実19から、推論3: "この朝鮮戦争は咽ぶ"が導かれる
4. 事実3から、推論4: "この朝鮮戦争が咽ぶとすれば表出する"が導かれる
5. 推論3と推論4から、仮説が導かれる

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