この業務用システムは成年男性でない
fact1: その基礎構造改革はすばしこいか間接話法でないかもしくはどちらもである fact2: もし仮にその基礎構造改革はすばしこくないとするとそれは平たくない fact3: その基礎構造改革はすばしこくないかまたは間接話法でないか両方だ fact4: このシステムキッチンは長細いということはない fact5: この業務用システムは間接話法でない fact6: この業務用システムは間接話法でないかもしくはそれは成年男性でないかもしくはどちらもだ fact7: もしもその基礎構造改革が文化的価値だとすればそれは平たいけど肌色でない fact8: このシステムキッチンは肌色でないかあるいはそれはすばしこい fact9: もし仮にその基礎構造改革がすばしこくないかあるいは間接話法でないかまたは両方だとしたら平たくない fact10: 仮にこのシステムキッチンが間接話法でないかあるいはそれは肌色でないとしたらそれは平たくない fact11: もしこの業務用システムは間接話法でないとすれば「その基礎構造改革は成年男性であるしそれはすばしこい」ということは誤りである fact12: もしこのシステムキッチンが平たくないかまたはそれは文化的価値でないかまたは両方ならそれは間接話法であるということはない fact13: もしも「その基礎構造改革は平たくない」ということは成り立てば「「このシステムキッチンは肌色でまた文化的価値である」ということは事実だ」ということは事実であるということはない fact14: 「このシステムキッチンは肌色であるし文化的価値である」ということは間違いであるならこの業務用システムは成年男性でない
fact9 & fact3 -> int1: その基礎構造改革は平たくない; int1 & fact13 -> int2: 「このシステムキッチンは肌色であるしかつ文化的価値である」ということは誤っている; int2 & fact14 -> hypothesis;
この危険因子は成年男性でない
$facts$ = fact1: その基礎構造改革はすばしこいか間接話法でないかもしくはどちらもである fact2: もし仮にその基礎構造改革はすばしこくないとするとそれは平たくない fact3: その基礎構造改革はすばしこくないかまたは間接話法でないか両方だ fact4: このシステムキッチンは長細いということはない fact5: この業務用システムは間接話法でない fact6: この業務用システムは間接話法でないかもしくはそれは成年男性でないかもしくはどちらもだ fact7: もしもその基礎構造改革が文化的価値だとすればそれは平たいけど肌色でない fact8: このシステムキッチンは肌色でないかあるいはそれはすばしこい fact9: もし仮にその基礎構造改革がすばしこくないかあるいは間接話法でないかまたは両方だとしたら平たくない fact10: 仮にこのシステムキッチンが間接話法でないかあるいはそれは肌色でないとしたらそれは平たくない fact11: もしこの業務用システムは間接話法でないとすれば「その基礎構造改革は成年男性であるしそれはすばしこい」ということは誤りである fact12: もしこのシステムキッチンが平たくないかまたはそれは文化的価値でないかまたは両方ならそれは間接話法であるということはない fact13: もしも「その基礎構造改革は平たくない」ということは成り立てば「「このシステムキッチンは肌色でまた文化的価値である」ということは事実だ」ということは事実であるということはない fact14: 「このシステムキッチンは肌色であるし文化的価値である」ということは間違いであるならこの業務用システムは成年男性でない ; $hypothesis$ = この業務用システムは成年男性でない ; $proof$ = 
fact9 & fact3 -> int1: その基礎構造改革は平たくない; int1 & fact13 -> int2: 「このシステムキッチンは肌色であるしかつ文化的価値である」ということは誤っている; int2 & fact14 -> hypothesis; __PROVED__
事実1: その基礎構造改革はすばしこいか間接話法でないかもしくはどちらもである
事実2: もし仮にその基礎構造改革はすばしこくないとするとそれは平たくない
事実3: その基礎構造改革はすばしこくないかまたは間接話法でないか両方だ
事実4: このシステムキッチンは長細いということはない
事実5: この業務用システムは間接話法でない
事実6: この業務用システムは間接話法でないかもしくはそれは成年男性でないかもしくはどちらもだ
事実7: もしもその基礎構造改革が文化的価値だとすればそれは平たいけど肌色でない
事実8: このシステムキッチンは肌色でないかあるいはそれはすばしこい
事実9: もし仮にその基礎構造改革がすばしこくないかあるいは間接話法でないかまたは両方だとしたら平たくない
事実10: 仮にこのシステムキッチンが間接話法でないかあるいはそれは肌色でないとしたらそれは平たくない
事実11: もしこの業務用システムは間接話法でないとすれば「その基礎構造改革は成年男性であるしそれはすばしこい」ということは誤りである
事実12: もしこのシステムキッチンが平たくないかまたはそれは文化的価値でないかまたは両方ならそれは間接話法であるということはない
事実13: もしも「その基礎構造改革は平たくない」ということは成り立てば「「このシステムキッチンは肌色でまた文化的価値である」ということは事実だ」ということは事実であるということはない
事実14: 「このシステムキッチンは肌色であるし文化的価値である」ということは間違いであるならこの業務用システムは成年男性でない

仮説: この業務用システムは成年男性でない
1. 事実9と事実3から、推論1: "その基礎構造改革は平たくない"が導かれる
2. 推論1と事実13から、推論2: "「このシステムキッチンは肌色であるしかつ文化的価値である」ということは誤っている"が導かれる
3. 推論2と事実14から、仮説が導かれる

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