そのＭＡＰＣは社会基盤施設でなくてコンポーネントでない
fact1: もし「あの食餌性脂肪肝は御引き取り頂くということはない」ということは正しいとするとそのＭＡＰＣはど偉いししかもそれは言い出し難い fact2: そのＭＡＰＣはど偉い fact3: もし仮にそのＭＡＰＣがど偉いかまたは御引き取り頂くとするとそれは言い出し難くない fact4: もしもそのＭＡＰＣは言い出し難くないなら「社会基盤施設でないしそれにそれはコンポーネントでない」ということは成り立たない fact5: もしもそのＭＡＰＣは言い出し難くないとすると「社会基盤施設でなくて加えてそれはコンポーネントである」ということは成り立たない fact6: もしある物が顕在化し易いとすると社会基盤施設であるかもしくはコンポーネントでない
fact2 -> int1: そのＭＡＰＣはど偉いかあるいは御引き取り頂くかまたはどちらもである; int1 & fact3 -> int2: そのＭＡＰＣは言い出し難くない; int2 & fact4 -> hypothesis;
そのコンクリート塀は言い出し難いかまたは待ち遠しい
fact8 -> int3: もし仮にこの出端は顕在化し易いとすれば「それは社会基盤施設であるかもしくはコンポーネントであるということはないかあるいは両方ともだ」ということは確かだ;
$facts$ = fact1: もし「あの食餌性脂肪肝は御引き取り頂くということはない」ということは正しいとするとそのＭＡＰＣはど偉いししかもそれは言い出し難い fact2: そのＭＡＰＣはど偉い fact3: もし仮にそのＭＡＰＣがど偉いかまたは御引き取り頂くとするとそれは言い出し難くない fact4: もしもそのＭＡＰＣは言い出し難くないなら「社会基盤施設でないしそれにそれはコンポーネントでない」ということは成り立たない fact5: もしもそのＭＡＰＣは言い出し難くないとすると「社会基盤施設でなくて加えてそれはコンポーネントである」ということは成り立たない fact6: もしある物が顕在化し易いとすると社会基盤施設であるかもしくはコンポーネントでない ; $hypothesis$ = そのＭＡＰＣは社会基盤施設でなくてコンポーネントでない ; $proof$ = 
fact2 -> int1: そのＭＡＰＣはど偉いかあるいは御引き取り頂くかまたはどちらもである; int1 & fact3 -> int2: そのＭＡＰＣは言い出し難くない; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: もし「あの食餌性脂肪肝は御引き取り頂くということはない」ということは正しいとするとそのＭＡＰＣはど偉いししかもそれは言い出し難い
事実2: そのＭＡＰＣはど偉い
事実3: もし仮にそのＭＡＰＣがど偉いかまたは御引き取り頂くとするとそれは言い出し難くない
事実4: もしもそのＭＡＰＣは言い出し難くないなら「社会基盤施設でないしそれにそれはコンポーネントでない」ということは成り立たない
事実5: もしもそのＭＡＰＣは言い出し難くないとすると「社会基盤施設でなくて加えてそれはコンポーネントである」ということは成り立たない
事実6: もしある物が顕在化し易いとすると社会基盤施設であるかもしくはコンポーネントでない

仮説: そのＭＡＰＣは社会基盤施設でなくてコンポーネントでない
1. 事実2から、推論1: "そのＭＡＰＣはど偉いかあるいは御引き取り頂くかまたはどちらもである"が導かれる
2. 推論1と事実3から、推論2: "そのＭＡＰＣは言い出し難くない"が導かれる
3. 推論2と事実4から、仮説が否定される

よって、仮説が否定されました。