そのＭオンは理解し難くない
fact1: そのＡＩＤは余所余所しかない fact2: 理解し難い営業内容はある fact3: 「華々しくないけど営業内容な」ものがあるとするとその棄却は余所余所しい fact4: 「受け入れ易くない」物はある fact5: 理解し難いということはない物はある fact6: 華々しくないものはある fact7: もし仮にそのＭオンが営業内容であるならばそのＡＩＤは理解し難い fact8: もしも「その棄却は理解し難くないしかつ華々しくない」ということは嘘であるとしたらそのＭオンは理解し難くない fact9: 「そのＡＩＤは華々しいということはない一方でそれは営業内容である」ということは正しい fact10: もし仮にその棄却が余所余所しいとすればあのＭオンは理解し難い fact11: その棄却は営業内容だ fact12: そのＡＩＤは華々しくないが理解し難い
fact9 -> int1: 「華々しくないし営業内容な」ものはある; int1 & fact3 -> int2: その棄却は余所余所しい; int2 & fact10 -> hypothesis;
「そのＭオンは理解し難くない」ということは真実である
$facts$ = fact1: そのＡＩＤは余所余所しかない fact2: 理解し難い営業内容はある fact3: 「華々しくないけど営業内容な」ものがあるとするとその棄却は余所余所しい fact4: 「受け入れ易くない」物はある fact5: 理解し難いということはない物はある fact6: 華々しくないものはある fact7: もし仮にそのＭオンが営業内容であるならばそのＡＩＤは理解し難い fact8: もしも「その棄却は理解し難くないしかつ華々しくない」ということは嘘であるとしたらそのＭオンは理解し難くない fact9: 「そのＡＩＤは華々しいということはない一方でそれは営業内容である」ということは正しい fact10: もし仮にその棄却が余所余所しいとすればあのＭオンは理解し難い fact11: その棄却は営業内容だ fact12: そのＡＩＤは華々しくないが理解し難い ; $hypothesis$ = そのＭオンは理解し難くない ; $proof$ = 
fact9 -> int1: 「華々しくないし営業内容な」ものはある; int1 & fact3 -> int2: その棄却は余所余所しい; int2 & fact10 -> hypothesis; __DISPROVED__
事実1: そのＡＩＤは余所余所しかない
事実2: 理解し難い営業内容はある
事実3: 「華々しくないけど営業内容な」ものがあるとするとその棄却は余所余所しい
事実4: 「受け入れ易くない」物はある
事実5: 理解し難いということはない物はある
事実6: 華々しくないものはある
事実7: もし仮にそのＭオンが営業内容であるならばそのＡＩＤは理解し難い
事実8: もしも「その棄却は理解し難くないしかつ華々しくない」ということは嘘であるとしたらそのＭオンは理解し難くない
事実9: 「そのＡＩＤは華々しいということはない一方でそれは営業内容である」ということは正しい
事実10: もし仮にその棄却が余所余所しいとすればあのＭオンは理解し難い
事実11: その棄却は営業内容だ
事実12: そのＡＩＤは華々しくないが理解し難い

仮説: そのＭオンは理解し難くない
1. 事実9から、推論1: "「華々しくないし営業内容な」ものはある"が導かれる
2. 推論1と事実3から、推論2: "その棄却は余所余所しい"が導かれる
3. 推論2と事実10から、仮説が否定される

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