この六Ｆはしゃがみ込む
fact1: 「あのルビ付きは骨折するしそれに恥ずかしい」ということは誤りである fact2: この六Ｆは一ホールである fact3: もしもなにかは恨めしいということはないならばあの保健学習は聞き惚れる fact4: 「「しゃがみ込むしかつ競い合う」ということは誤っている」物はある fact5: その消費税分は申し出る fact6: 仮になにがしかの物が首尾良くないとするとその消費税分は下ろし易い fact7: 「その消費税分は競い合うし更に一ホールだ」ということは誤りだ fact8: その消費税分は書き易い fact9: もし「「競い合うししかも一ホールである」ということは間違っている」ものがあるとすればこの六Ｆはしゃがみ込む fact10: もしもこの周辺図形が編纂方針でなくてしかもしゃがみ込まないとすればこの六Ｆはしゃがみ込まない
fact7 -> int1: 「「競い合うし一ホールである」ということは事実と異なる」ものはある; int1 & fact9 -> hypothesis;
この六Ｆはしゃがみ込まない
$facts$ = fact1: 「あのルビ付きは骨折するしそれに恥ずかしい」ということは誤りである fact2: この六Ｆは一ホールである fact3: もしもなにかは恨めしいということはないならばあの保健学習は聞き惚れる fact4: 「「しゃがみ込むしかつ競い合う」ということは誤っている」物はある fact5: その消費税分は申し出る fact6: 仮になにがしかの物が首尾良くないとするとその消費税分は下ろし易い fact7: 「その消費税分は競い合うし更に一ホールだ」ということは誤りだ fact8: その消費税分は書き易い fact9: もし「「競い合うししかも一ホールである」ということは間違っている」ものがあるとすればこの六Ｆはしゃがみ込む fact10: もしもこの周辺図形が編纂方針でなくてしかもしゃがみ込まないとすればこの六Ｆはしゃがみ込まない ; $hypothesis$ = この六Ｆはしゃがみ込む ; $proof$ = 
fact7 -> int1: 「「競い合うし一ホールである」ということは事実と異なる」ものはある; int1 & fact9 -> hypothesis; __PROVED__
事実1: 「あのルビ付きは骨折するしそれに恥ずかしい」ということは誤りである
事実2: この六Ｆは一ホールである
事実3: もしもなにかは恨めしいということはないならばあの保健学習は聞き惚れる
事実4: 「「しゃがみ込むしかつ競い合う」ということは誤っている」物はある
事実5: その消費税分は申し出る
事実6: 仮になにがしかの物が首尾良くないとするとその消費税分は下ろし易い
事実7: 「その消費税分は競い合うし更に一ホールだ」ということは誤りだ
事実8: その消費税分は書き易い
事実9: もし「「競い合うししかも一ホールである」ということは間違っている」ものがあるとすればこの六Ｆはしゃがみ込む
事実10: もしもこの周辺図形が編纂方針でなくてしかもしゃがみ込まないとすればこの六Ｆはしゃがみ込まない

仮説: この六Ｆはしゃがみ込む
1. 事実7から、推論1: "「「競い合うし一ホールである」ということは事実と異なる」ものはある"が導かれる
2. 推論1と事実9から、仮説が導かれる

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