あの生徒達は鼻粘膜である
fact1: もし仮にその逆向きがアクリル板だということはないとしたらこの民俗資料は浮き易くなくて入り難いということはない fact2: もしこの民俗資料が入り難いとするとその逆向きは入り難い fact3: 仮に「「あのローマ字は鼻粘膜であるかもしくはアクリル板でないかあるいは両方だ」ということは誤っている」ということは事実であるとすればあの生徒達は鼻粘膜でない fact4: 仮にこの一級上が裁判しないとすれば課税主体だしそれは奨励しない fact5: この民俗資料は入り難くない fact6: あのローマ字は立ち会い人でない fact7: 仮に浮き易くなくてしかも入り難くない物があるとすればこの御変わりは見え辛い fact8: もし仮にその逆向きは若々しいならば「あのローマ字は鼻粘膜であるかそれはアクリル板であるということはないかあるいはどちらもだ」ということは誤っている fact9: あのローマ字は若々しいとすると「補修出来ないしその上並み居ない」ということは偽だ fact10: 「立ち会い人である」ものがあるとするとこの御変わりは入り難いかまたはそれは見え辛いかまたは両方だ fact11: もし仮にこの御変わりは見え辛いとすれば「あの生徒達は鼻粘膜である」ということは真実だ fact12: もし仮にこの銀歯は浮き易くないとすると「若々しくてそれはアクリル板でない」ということは偽である fact13: この一級上は裁判しない fact14: 仮にあのローマ字が立ち会い人でないとしたらそれが補修出来るということはないしさらに並み居ない fact15: あの生徒達は補修出来る fact16: 「あのローマ字は補修出来ない」ということは真実である fact17: もしあのローマ字が若々しかないならその逆向きはアクリル板だということはない fact18: 仮になにかは課税主体でないとすると不自由するしまた立ち会い人だ fact19: 入り難い物は浮き易くないけれど若々しい fact20: 仮にこの一級上は課税主体だけれど奨励するということはないとすると「あの健康食品は課税主体だ」ということは真実でない
void -> assump1: 以下のように仮定する。あのローマ字は若々しい; fact9 & assump1 -> int1: 「あのローマ字は補修出来ないしかつそれは並み居ない」ということは誤りである; fact6 & fact14 -> int2: あのローマ字は補修出来ないし更に並み居ない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのローマ字は若々しかない; int4 & fact17 -> int5: その逆向きはアクリル板であるということはない; int5 & fact1 -> int6: この民俗資料は浮き易いということはなくてそれは入り難くない; int6 -> int7: 何らかのものは浮き易くないし更に入り難くない; int7 & fact7 -> int8: この御変わりは見え辛い; int8 & fact11 -> hypothesis;
「この銀歯は補修出来る」ということは成り立つ
$facts$ = fact1: もし仮にその逆向きがアクリル板だということはないとしたらこの民俗資料は浮き易くなくて入り難いということはない fact2: もしこの民俗資料が入り難いとするとその逆向きは入り難い fact3: 仮に「「あのローマ字は鼻粘膜であるかもしくはアクリル板でないかあるいは両方だ」ということは誤っている」ということは事実であるとすればあの生徒達は鼻粘膜でない fact4: 仮にこの一級上が裁判しないとすれば課税主体だしそれは奨励しない fact5: この民俗資料は入り難くない fact6: あのローマ字は立ち会い人でない fact7: 仮に浮き易くなくてしかも入り難くない物があるとすればこの御変わりは見え辛い fact8: もし仮にその逆向きは若々しいならば「あのローマ字は鼻粘膜であるかそれはアクリル板であるということはないかあるいはどちらもだ」ということは誤っている fact9: あのローマ字は若々しいとすると「補修出来ないしその上並み居ない」ということは偽だ fact10: 「立ち会い人である」ものがあるとするとこの御変わりは入り難いかまたはそれは見え辛いかまたは両方だ fact11: もし仮にこの御変わりは見え辛いとすれば「あの生徒達は鼻粘膜である」ということは真実だ fact12: もし仮にこの銀歯は浮き易くないとすると「若々しくてそれはアクリル板でない」ということは偽である fact13: この一級上は裁判しない fact14: 仮にあのローマ字が立ち会い人でないとしたらそれが補修出来るということはないしさらに並み居ない fact15: あの生徒達は補修出来る fact16: 「あのローマ字は補修出来ない」ということは真実である fact17: もしあのローマ字が若々しかないならその逆向きはアクリル板だということはない fact18: 仮になにかは課税主体でないとすると不自由するしまた立ち会い人だ fact19: 入り難い物は浮き易くないけれど若々しい fact20: 仮にこの一級上は課税主体だけれど奨励するということはないとすると「あの健康食品は課税主体だ」ということは真実でない ; $hypothesis$ = あの生徒達は鼻粘膜である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのローマ字は若々しい; fact9 & assump1 -> int1: 「あのローマ字は補修出来ないしかつそれは並み居ない」ということは誤りである; fact6 & fact14 -> int2: あのローマ字は補修出来ないし更に並み居ない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのローマ字は若々しかない; int4 & fact17 -> int5: その逆向きはアクリル板であるということはない; int5 & fact1 -> int6: この民俗資料は浮き易いということはなくてそれは入り難くない; int6 -> int7: 何らかのものは浮き易くないし更に入り難くない; int7 & fact7 -> int8: この御変わりは見え辛い; int8 & fact11 -> hypothesis; __PROVED__
事実1: もし仮にその逆向きがアクリル板だということはないとしたらこの民俗資料は浮き易くなくて入り難いということはない
事実2: もしこの民俗資料が入り難いとするとその逆向きは入り難い
事実3: 仮に「「あのローマ字は鼻粘膜であるかもしくはアクリル板でないかあるいは両方だ」ということは誤っている」ということは事実であるとすればあの生徒達は鼻粘膜でない
事実4: 仮にこの一級上が裁判しないとすれば課税主体だしそれは奨励しない
事実5: この民俗資料は入り難くない
事実6: あのローマ字は立ち会い人でない
事実7: 仮に浮き易くなくてしかも入り難くない物があるとすればこの御変わりは見え辛い
事実8: もし仮にその逆向きは若々しいならば「あのローマ字は鼻粘膜であるかそれはアクリル板であるということはないかあるいはどちらもだ」ということは誤っている
事実9: あのローマ字は若々しいとすると「補修出来ないしその上並み居ない」ということは偽だ
事実10: 「立ち会い人である」ものがあるとするとこの御変わりは入り難いかまたはそれは見え辛いかまたは両方だ
事実11: もし仮にこの御変わりは見え辛いとすれば「あの生徒達は鼻粘膜である」ということは真実だ
事実12: もし仮にこの銀歯は浮き易くないとすると「若々しくてそれはアクリル板でない」ということは偽である
事実13: この一級上は裁判しない
事実14: 仮にあのローマ字が立ち会い人でないとしたらそれが補修出来るということはないしさらに並み居ない
事実15: あの生徒達は補修出来る
事実16: 「あのローマ字は補修出来ない」ということは真実である
事実17: もしあのローマ字が若々しかないならその逆向きはアクリル板だということはない
事実18: 仮になにかは課税主体でないとすると不自由するしまた立ち会い人だ
事実19: 入り難い物は浮き易くないけれど若々しい
事実20: 仮にこの一級上は課税主体だけれど奨励するということはないとすると「あの健康食品は課税主体だ」ということは真実でない

仮説: あの生徒達は鼻粘膜である
1. 仮定1: 以下のように仮定する。あのローマ字は若々しい
2. 事実9と仮定1から、推論1: "「あのローマ字は補修出来ないしかつそれは並み居ない」ということは誤りである"が導かれる
3. 事実6と事実14から、推論2: "あのローマ字は補修出来ないし更に並み居ない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのローマ字は若々しかない"が導かれる
6. 推論4と事実17から、推論5: "その逆向きはアクリル板であるということはない"が導かれる
7. 推論5と事実1から、推論6: "この民俗資料は浮き易いということはなくてそれは入り難くない"が導かれる
8. 推論6から、推論7: "何らかのものは浮き易くないし更に入り難くない"が導かれる
9. 推論7と事実7から、推論8: "この御変わりは見え辛い"が導かれる
10. 推論8と事実11から、仮説が導かれる

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