この畳み方が危険過ぎないとすればその二年毎は動き回れるということはない
fact1: そのオーストリア・スラヴ主義は浸食しないけれど割れ難い fact2: その二年毎は動き回れる fact3: もしも「動き回れるかあるいは口喧しい」ものがあればこの墓標は危険過ぎない fact4: そのオーストリア・スラヴ主義は口喧しいしおまけにそれは入り方だ fact5: もしもこの畳み方が危険過ぎないけどそれが他領域であるならばあの二年毎は動き回れる fact6: もし仮にそのオーストリア・スラヴ主義が上昇し易いとすればこの畳み方は他領域である fact7: そのオーストリア・スラヴ主義は上昇し易い fact8: もしそのオーストリア・スラヴ主義が口喧しいならば他領域でないかあるいは危険過ぎないか両方だ fact9: 「もしそのオーストリア・スラヴ主義が危険過ぎるならこの畳み方は上昇し易い」ということは成り立つ fact10: もし仮にこの畳み方が危険過ぎるということはないけれど他領域だとすればその二年毎は動き回れない fact11: この畳み方が動き回れないならその二年毎は危険過ぎる
fact6 & fact7 -> int1: この畳み方は他領域である; void -> assump1: 以下のように仮定する。この畳み方は危険過ぎない; int1 & assump1 -> int2: この畳み方は危険過ぎないが他領域だ; int2 & fact10 -> int3: その二年毎は動き回れない; [assump1] & int3 -> hypothesis;
この墓標は上昇し易い
fact13 -> int4: そのオーストリア・スラヴ主義は口喧しい; int4 -> int5: そのオーストリア・スラヴ主義は動き回れるかもしくは口喧しい; int5 -> int6: あるものは動き回れるかもしくは口喧しいかどちらもである; int6 & fact12 -> int7: 「この墓標は危険過ぎない」ということは真実である;
$facts$ = fact1: そのオーストリア・スラヴ主義は浸食しないけれど割れ難い fact2: その二年毎は動き回れる fact3: もしも「動き回れるかあるいは口喧しい」ものがあればこの墓標は危険過ぎない fact4: そのオーストリア・スラヴ主義は口喧しいしおまけにそれは入り方だ fact5: もしもこの畳み方が危険過ぎないけどそれが他領域であるならばあの二年毎は動き回れる fact6: もし仮にそのオーストリア・スラヴ主義が上昇し易いとすればこの畳み方は他領域である fact7: そのオーストリア・スラヴ主義は上昇し易い fact8: もしそのオーストリア・スラヴ主義が口喧しいならば他領域でないかあるいは危険過ぎないか両方だ fact9: 「もしそのオーストリア・スラヴ主義が危険過ぎるならこの畳み方は上昇し易い」ということは成り立つ fact10: もし仮にこの畳み方が危険過ぎるということはないけれど他領域だとすればその二年毎は動き回れない fact11: この畳み方が動き回れないならその二年毎は危険過ぎる ; $hypothesis$ = この畳み方が危険過ぎないとすればその二年毎は動き回れるということはない ; $proof$ = 
fact6 & fact7 -> int1: この畳み方は他領域である; void -> assump1: 以下のように仮定する。この畳み方は危険過ぎない; int1 & assump1 -> int2: この畳み方は危険過ぎないが他領域だ; int2 & fact10 -> int3: その二年毎は動き回れない; [assump1] & int3 -> hypothesis; __PROVED__
事実1: そのオーストリア・スラヴ主義は浸食しないけれど割れ難い
事実2: その二年毎は動き回れる
事実3: もしも「動き回れるかあるいは口喧しい」ものがあればこの墓標は危険過ぎない
事実4: そのオーストリア・スラヴ主義は口喧しいしおまけにそれは入り方だ
事実5: もしもこの畳み方が危険過ぎないけどそれが他領域であるならばあの二年毎は動き回れる
事実6: もし仮にそのオーストリア・スラヴ主義が上昇し易いとすればこの畳み方は他領域である
事実7: そのオーストリア・スラヴ主義は上昇し易い
事実8: もしそのオーストリア・スラヴ主義が口喧しいならば他領域でないかあるいは危険過ぎないか両方だ
事実9: 「もしそのオーストリア・スラヴ主義が危険過ぎるならこの畳み方は上昇し易い」ということは成り立つ
事実10: もし仮にこの畳み方が危険過ぎるということはないけれど他領域だとすればその二年毎は動き回れない
事実11: この畳み方が動き回れないならその二年毎は危険過ぎる

仮説: この畳み方が危険過ぎないとすればその二年毎は動き回れるということはない
1. 事実6と事実7から、推論1: "この畳み方は他領域である"が導かれる
2. 仮定1: 以下のように仮定する。この畳み方は危険過ぎない
3. 推論1と仮定1から、推論2: "この畳み方は危険過ぎないが他領域だ"が導かれる
4. 推論2と事実10から、推論3: "その二年毎は動き回れない"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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