この規格化は入り易くないかあるいはそれは惜しみ無いかあるいは両方ともだ
fact1: もしこの大型小売り業が移り易くないとすればその妖精はブレンドするかもしくは決め付けないかまたは両方ともだ fact2: もしも「その妖精はブレンドするかまたは決め付けない」ということは確かならこの規格化は平滑筋腫である fact3: もしこの大型小売り業は平滑筋腫であるとすれば腑甲斐無いかもしくは入り易いか両方である fact4: もしも腑甲斐無い物はＤレンジであるならば移り易いということはない fact5: もしその妖精が決め付けないとしたらこの規格化は平滑筋腫だ fact6: もしもこの大型小売り業が決め付けるかもしくは移り易いということはないとするとその妖精はＤレンジだ fact7: その妖精は決め付けるかもしくはそれは腑甲斐無いか両方ともだ fact8: この大型小売り業は入り易いししかも惜しみ無いなら腑甲斐無くない fact9: この大型小売り業は腑甲斐無い fact10: この大型小売り業はＤレンジである fact11: 仮にその妖精がＤレンジでないとするとこの大型小売り業は決め付ける fact12: この大型小売り業は後らしいか呈し始めるかどちらもである fact13: その妖精は平滑筋腫であるか決め付けるかもしくは両方ともだ fact14: もしこの大型小売り業がブレンドするとすると腑甲斐無いか移り易いか両方だ fact15: もし仮にその妖精が平滑筋腫であるということはないならこの規格化はブレンドする fact16: 「この大型小売り業はブレンドするかまたは移り易いということはない」ということは偽でない fact17: その妖精はＤレンジであるしかつ決め付ける fact18: この規格化はブレンドしないかまたは入り易いか両方だ fact19: もし「この規格化は平滑筋腫だ」ということは成り立つとしたら「入り易くないかもしくはそれは惜しみ無い」ということは成り立つ fact20: もしも「この大型小売り業は腑甲斐無い」ということは誤りでないとするとそれは決め付けないかもしくは移り易いかもしくはどちらもだ fact21: その妖精は腑甲斐無い fact22: この大型小売り業は惜しみ無いかあるいはそれは腑甲斐無いかあるいはどちらもだ
fact9 & fact10 -> int1: この大型小売り業は腑甲斐無いしＤレンジだ; fact4 -> int2: もしもこの大型小売り業が腑甲斐無いしそれがＤレンジだとしたらそれは移り易いということはない; int1 & int2 -> int3: この大型小売り業は移り易くない; int3 & fact1 -> int4: その妖精はブレンドするかもしくは決め付けない; int4 & fact2 -> int5: この規格化は平滑筋腫だ; int5 & fact19 -> hypothesis;
$facts$ = fact1: もしこの大型小売り業が移り易くないとすればその妖精はブレンドするかもしくは決め付けないかまたは両方ともだ fact2: もしも「その妖精はブレンドするかまたは決め付けない」ということは確かならこの規格化は平滑筋腫である fact3: もしこの大型小売り業は平滑筋腫であるとすれば腑甲斐無いかもしくは入り易いか両方である fact4: もしも腑甲斐無い物はＤレンジであるならば移り易いということはない fact5: もしその妖精が決め付けないとしたらこの規格化は平滑筋腫だ fact6: もしもこの大型小売り業が決め付けるかもしくは移り易いということはないとするとその妖精はＤレンジだ fact7: その妖精は決め付けるかもしくはそれは腑甲斐無いか両方ともだ fact8: この大型小売り業は入り易いししかも惜しみ無いなら腑甲斐無くない fact9: この大型小売り業は腑甲斐無い fact10: この大型小売り業はＤレンジである fact11: 仮にその妖精がＤレンジでないとするとこの大型小売り業は決め付ける fact12: この大型小売り業は後らしいか呈し始めるかどちらもである fact13: その妖精は平滑筋腫であるか決め付けるかもしくは両方ともだ fact14: もしこの大型小売り業がブレンドするとすると腑甲斐無いか移り易いか両方だ fact15: もし仮にその妖精が平滑筋腫であるということはないならこの規格化はブレンドする fact16: 「この大型小売り業はブレンドするかまたは移り易いということはない」ということは偽でない fact17: その妖精はＤレンジであるしかつ決め付ける fact18: この規格化はブレンドしないかまたは入り易いか両方だ fact19: もし「この規格化は平滑筋腫だ」ということは成り立つとしたら「入り易くないかもしくはそれは惜しみ無い」ということは成り立つ fact20: もしも「この大型小売り業は腑甲斐無い」ということは誤りでないとするとそれは決め付けないかもしくは移り易いかもしくはどちらもだ fact21: その妖精は腑甲斐無い fact22: この大型小売り業は惜しみ無いかあるいはそれは腑甲斐無いかあるいはどちらもだ ; $hypothesis$ = この規格化は入り易くないかあるいはそれは惜しみ無いかあるいは両方ともだ ; $proof$ = 
fact9 & fact10 -> int1: この大型小売り業は腑甲斐無いしＤレンジだ; fact4 -> int2: もしもこの大型小売り業が腑甲斐無いしそれがＤレンジだとしたらそれは移り易いということはない; int1 & int2 -> int3: この大型小売り業は移り易くない; int3 & fact1 -> int4: その妖精はブレンドするかもしくは決め付けない; int4 & fact2 -> int5: この規格化は平滑筋腫だ; int5 & fact19 -> hypothesis; __PROVED__
事実1: もしこの大型小売り業が移り易くないとすればその妖精はブレンドするかもしくは決め付けないかまたは両方ともだ
事実2: もしも「その妖精はブレンドするかまたは決め付けない」ということは確かならこの規格化は平滑筋腫である
事実3: もしこの大型小売り業は平滑筋腫であるとすれば腑甲斐無いかもしくは入り易いか両方である
事実4: もしも腑甲斐無い物はＤレンジであるならば移り易いということはない
事実5: もしその妖精が決め付けないとしたらこの規格化は平滑筋腫だ
事実6: もしもこの大型小売り業が決め付けるかもしくは移り易いということはないとするとその妖精はＤレンジだ
事実7: その妖精は決め付けるかもしくはそれは腑甲斐無いか両方ともだ
事実8: この大型小売り業は入り易いししかも惜しみ無いなら腑甲斐無くない
事実9: この大型小売り業は腑甲斐無い
事実10: この大型小売り業はＤレンジである
事実11: 仮にその妖精がＤレンジでないとするとこの大型小売り業は決め付ける
事実12: この大型小売り業は後らしいか呈し始めるかどちらもである
事実13: その妖精は平滑筋腫であるか決め付けるかもしくは両方ともだ
事実14: もしこの大型小売り業がブレンドするとすると腑甲斐無いか移り易いか両方だ
事実15: もし仮にその妖精が平滑筋腫であるということはないならこの規格化はブレンドする
事実16: 「この大型小売り業はブレンドするかまたは移り易いということはない」ということは偽でない
事実17: その妖精はＤレンジであるしかつ決め付ける
事実18: この規格化はブレンドしないかまたは入り易いか両方だ
事実19: もし「この規格化は平滑筋腫だ」ということは成り立つとしたら「入り易くないかもしくはそれは惜しみ無い」ということは成り立つ
事実20: もしも「この大型小売り業は腑甲斐無い」ということは誤りでないとするとそれは決め付けないかもしくは移り易いかもしくはどちらもだ
事実21: その妖精は腑甲斐無い
事実22: この大型小売り業は惜しみ無いかあるいはそれは腑甲斐無いかあるいはどちらもだ

仮説: この規格化は入り易くないかあるいはそれは惜しみ無いかあるいは両方ともだ
1. 事実9と事実10から、推論1: "この大型小売り業は腑甲斐無いしＤレンジだ"が導かれる
2. 事実4から、推論2: "もしもこの大型小売り業が腑甲斐無いしそれがＤレンジだとしたらそれは移り易いということはない"が導かれる
3. 推論1と推論2から、推論3: "この大型小売り業は移り易くない"が導かれる
4. 推論3と事実1から、推論4: "その妖精はブレンドするかもしくは決め付けない"が導かれる
5. 推論4と事実2から、推論5: "この規格化は平滑筋腫だ"が導かれる
6. 推論5と事実19から、仮説が導かれる

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