「もし仮に若者らしくないとしたら忝くない」ものはある
fact1: ある物が起こり難くないとしたらそれは水代謝異常である fact2: もしもその曾祖父母は忝くないなら「手助けするしおまけにそれは害する」ということは成り立たない fact3: もし仮にあのＰＡＳが若者らしくないしそれが忝くないとするとその一下肢は流涎でない fact4: もしもあのＰＡＳが家庭生活でないならそれは起こり難くなくてネイティブらしくない fact5: 仮にあのＰＡＳは若者らしくないなら「着席しない」ということは本当である fact6: なにかはコチュジャンでないならそれは忝くない fact7: もしあのＰＡＳは洗い清めるということはないし加えて淡くないならば家庭生活でない fact8: あのＰＡＳが遣っ付け仕事でないならばそれは洗い清めなくてその上それは淡いということはない fact9: もしもあのＰＡＳは水代謝異常であるとするとそれは若者らしくないし忝くない fact10: もしも「あのＰＡＳは若者らしいということはない」ということは成り立つなら「サンプリングするしコチュジャンだ」ということは間違いだ fact11: もしも「なにがしかのものはサンプリングするしさらにコチュジャンである」ということは誤りであるとすればそれは忝くない
void -> assump1: 以下のように仮定する。あのＰＡＳは若者らしくない; fact10 & assump1 -> int1: 「あのＰＡＳはサンプリングするしおまけにコチュジャンである」ということは成り立たない; fact11 -> int2: もし「あのＰＡＳはサンプリングするしコチュジャンである」ということは真実でないとすればそれは忝くない; int1 & int2 -> int3: あのＰＡＳは忝くない; [assump1] & int3 -> int4: もしもあのＰＡＳは若者らしくないなら「忝くない」ということは成り立つ; int4 -> hypothesis;
「その一下肢は流涎でない」ということは成り立つ
fact14 -> int5: 「あのＰＡＳは起こり難くない」ということは正しいとすると水代謝異常だ;
$facts$ = fact1: ある物が起こり難くないとしたらそれは水代謝異常である fact2: もしもその曾祖父母は忝くないなら「手助けするしおまけにそれは害する」ということは成り立たない fact3: もし仮にあのＰＡＳが若者らしくないしそれが忝くないとするとその一下肢は流涎でない fact4: もしもあのＰＡＳが家庭生活でないならそれは起こり難くなくてネイティブらしくない fact5: 仮にあのＰＡＳは若者らしくないなら「着席しない」ということは本当である fact6: なにかはコチュジャンでないならそれは忝くない fact7: もしあのＰＡＳは洗い清めるということはないし加えて淡くないならば家庭生活でない fact8: あのＰＡＳが遣っ付け仕事でないならばそれは洗い清めなくてその上それは淡いということはない fact9: もしもあのＰＡＳは水代謝異常であるとするとそれは若者らしくないし忝くない fact10: もしも「あのＰＡＳは若者らしいということはない」ということは成り立つなら「サンプリングするしコチュジャンだ」ということは間違いだ fact11: もしも「なにがしかのものはサンプリングするしさらにコチュジャンである」ということは誤りであるとすればそれは忝くない ; $hypothesis$ = 「もし仮に若者らしくないとしたら忝くない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。あのＰＡＳは若者らしくない; fact10 & assump1 -> int1: 「あのＰＡＳはサンプリングするしおまけにコチュジャンである」ということは成り立たない; fact11 -> int2: もし「あのＰＡＳはサンプリングするしコチュジャンである」ということは真実でないとすればそれは忝くない; int1 & int2 -> int3: あのＰＡＳは忝くない; [assump1] & int3 -> int4: もしもあのＰＡＳは若者らしくないなら「忝くない」ということは成り立つ; int4 -> hypothesis; __PROVED__
事実1: ある物が起こり難くないとしたらそれは水代謝異常である
事実2: もしもその曾祖父母は忝くないなら「手助けするしおまけにそれは害する」ということは成り立たない
事実3: もし仮にあのＰＡＳが若者らしくないしそれが忝くないとするとその一下肢は流涎でない
事実4: もしもあのＰＡＳが家庭生活でないならそれは起こり難くなくてネイティブらしくない
事実5: 仮にあのＰＡＳは若者らしくないなら「着席しない」ということは本当である
事実6: なにかはコチュジャンでないならそれは忝くない
事実7: もしあのＰＡＳは洗い清めるということはないし加えて淡くないならば家庭生活でない
事実8: あのＰＡＳが遣っ付け仕事でないならばそれは洗い清めなくてその上それは淡いということはない
事実9: もしもあのＰＡＳは水代謝異常であるとするとそれは若者らしくないし忝くない
事実10: もしも「あのＰＡＳは若者らしいということはない」ということは成り立つなら「サンプリングするしコチュジャンだ」ということは間違いだ
事実11: もしも「なにがしかのものはサンプリングするしさらにコチュジャンである」ということは誤りであるとすればそれは忝くない

仮説: 「もし仮に若者らしくないとしたら忝くない」ものはある
1. 仮定1: 以下のように仮定する。あのＰＡＳは若者らしくない
2. 事実10と仮定1から、推論1: "「あのＰＡＳはサンプリングするしおまけにコチュジャンである」ということは成り立たない"が導かれる
3. 事実11から、推論2: "もし「あのＰＡＳはサンプリングするしコチュジャンである」ということは真実でないとすればそれは忝くない"が導かれる
4. 推論1と推論2から、推論3: "あのＰＡＳは忝くない"が導かれる
5. [仮定1]と推論3から、推論4: "もしもあのＰＡＳは若者らしくないなら「忝くない」ということは成り立つ"が導かれる
6. 推論4から、仮説が導かれる

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