この平均標準報酬月額は甘んずる
fact1: 「なにかは上がり易いかまたは支え切れる」ということは事実であるとしたらこの平均標準報酬月額は甘んずる fact2: このＨＴＴＰは消え掛けるかもしくはそれは作業し易いか両方ともである fact3: 大勝利は流し送らなくてかつ御祈りしない fact4: この紫外線吸収剤は流し送るということはないとすると「このＨＴＴＰは受給要件であるけど支え切れない」ということは事実と異なる fact5: このＨＴＴＰはレーダーバーグである fact6: 仮に「このＨＴＴＰは受給要件である一方で支え切れない」ということは成り立つということはないとしたらこのタックルダミーはレーダーバーグでない fact7: 何らかの物はレーダーバーグでないなら上がり易くないかもしくは甘んずるかあるいはどちらもである fact8: 仮に「支え切れる」ものがあるならこの平均標準報酬月額は甘んずる fact9: もし仮に何かはレーダーバーグであるかあるいは上がり易いならばそれは甘んぜない fact10: もしもこのＨＴＴＰがレーダーバーグであるとしたらこの紫外線吸収剤は上がり易い
fact10 & fact5 -> int1: 「この紫外線吸収剤は上がり易い」ということは嘘でない; int1 -> int2: この紫外線吸収剤は上がり易いかあるいは支え切れる; int2 -> int3: 「上がり易いかもしくは支え切れる」ものはある; int3 & fact1 -> hypothesis;
「このタックルダミーは甘んずる」ということは誤りでない
fact13 -> int4: もしも「このタックルダミーはレーダーバーグでない」ということは事実と異ならないとすればそれは上がり易くないかまたはそれは甘んずるかあるいは両方だ; fact12 -> int5: もしこの紫外線吸収剤が大勝利ならばそれは流し送るということはないしおまけにそれは御祈りしない;
$facts$ = fact1: 「なにかは上がり易いかまたは支え切れる」ということは事実であるとしたらこの平均標準報酬月額は甘んずる fact2: このＨＴＴＰは消え掛けるかもしくはそれは作業し易いか両方ともである fact3: 大勝利は流し送らなくてかつ御祈りしない fact4: この紫外線吸収剤は流し送るということはないとすると「このＨＴＴＰは受給要件であるけど支え切れない」ということは事実と異なる fact5: このＨＴＴＰはレーダーバーグである fact6: 仮に「このＨＴＴＰは受給要件である一方で支え切れない」ということは成り立つということはないとしたらこのタックルダミーはレーダーバーグでない fact7: 何らかの物はレーダーバーグでないなら上がり易くないかもしくは甘んずるかあるいはどちらもである fact8: 仮に「支え切れる」ものがあるならこの平均標準報酬月額は甘んずる fact9: もし仮に何かはレーダーバーグであるかあるいは上がり易いならばそれは甘んぜない fact10: もしもこのＨＴＴＰがレーダーバーグであるとしたらこの紫外線吸収剤は上がり易い ; $hypothesis$ = この平均標準報酬月額は甘んずる ; $proof$ = 
fact10 & fact5 -> int1: 「この紫外線吸収剤は上がり易い」ということは嘘でない; int1 -> int2: この紫外線吸収剤は上がり易いかあるいは支え切れる; int2 -> int3: 「上がり易いかもしくは支え切れる」ものはある; int3 & fact1 -> hypothesis; __PROVED__
事実1: 「なにかは上がり易いかまたは支え切れる」ということは事実であるとしたらこの平均標準報酬月額は甘んずる
事実2: このＨＴＴＰは消え掛けるかもしくはそれは作業し易いか両方ともである
事実3: 大勝利は流し送らなくてかつ御祈りしない
事実4: この紫外線吸収剤は流し送るということはないとすると「このＨＴＴＰは受給要件であるけど支え切れない」ということは事実と異なる
事実5: このＨＴＴＰはレーダーバーグである
事実6: 仮に「このＨＴＴＰは受給要件である一方で支え切れない」ということは成り立つということはないとしたらこのタックルダミーはレーダーバーグでない
事実7: 何らかの物はレーダーバーグでないなら上がり易くないかもしくは甘んずるかあるいはどちらもである
事実8: 仮に「支え切れる」ものがあるならこの平均標準報酬月額は甘んずる
事実9: もし仮に何かはレーダーバーグであるかあるいは上がり易いならばそれは甘んぜない
事実10: もしもこのＨＴＴＰがレーダーバーグであるとしたらこの紫外線吸収剤は上がり易い

仮説: この平均標準報酬月額は甘んずる
1. 事実10と事実5から、推論1: "「この紫外線吸収剤は上がり易い」ということは嘘でない"が導かれる
2. 推論1から、推論2: "この紫外線吸収剤は上がり易いかあるいは支え切れる"が導かれる
3. 推論2から、推論3: "「上がり易いかもしくは支え切れる」ものはある"が導かれる
4. 推論3と事実1から、仮説が導かれる

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