その事業再生は仄白い
fact1: その有利子負債は加熱する fact2: あの傾向は経済的背景であるということはない fact3: もし仮にあの傾向が加熱するかあるいは賛成し難いかもしくは両方であるならその有利子負債は憎たらしくない fact4: その事業再生は物凄まじくない fact5: 仮にあの傾向が加熱すればその有利子負債は憎たらしくない fact6: もしその事業再生が加熱しないとすればあの傾向は仄白くない fact7: もし仮にその有利子負債は憎たらしくないとすれば「その事業再生は仄白いということはない」ということは事実である fact8: あの傾向は賛成し難い fact9: その事業再生は憎たらしいということはない fact10: もしあの傾向が加熱するとしたらその事業再生は仄白い fact11: その有利子負債は仄白い
fact8 -> int1: あの傾向は加熱するかあるいは賛成し難いかあるいは両方ともである; int1 & fact3 -> int2: その有利子負債は憎たらしくない; int2 & fact7 -> hypothesis;
fact8 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{b}; int2 & fact7 -> hypothesis;
その事業再生は仄白い
$facts$ = fact1: その有利子負債は加熱する fact2: あの傾向は経済的背景であるということはない fact3: もし仮にあの傾向が加熱するかあるいは賛成し難いかもしくは両方であるならその有利子負債は憎たらしくない fact4: その事業再生は物凄まじくない fact5: 仮にあの傾向が加熱すればその有利子負債は憎たらしくない fact6: もしその事業再生が加熱しないとすればあの傾向は仄白くない fact7: もし仮にその有利子負債は憎たらしくないとすれば「その事業再生は仄白いということはない」ということは事実である fact8: あの傾向は賛成し難い fact9: その事業再生は憎たらしいということはない fact10: もしあの傾向が加熱するとしたらその事業再生は仄白い fact11: その有利子負債は仄白い ; $hypothesis$ = その事業再生は仄白い ; $proof$ = 
fact8 -> int1: あの傾向は加熱するかあるいは賛成し難いかあるいは両方ともである; int1 & fact3 -> int2: その有利子負債は憎たらしくない; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: その有利子負債は加熱する
事実2: あの傾向は経済的背景であるということはない
事実3: もし仮にあの傾向が加熱するかあるいは賛成し難いかもしくは両方であるならその有利子負債は憎たらしくない
事実4: その事業再生は物凄まじくない
事実5: 仮にあの傾向が加熱すればその有利子負債は憎たらしくない
事実6: もしその事業再生が加熱しないとすればあの傾向は仄白くない
事実7: もし仮にその有利子負債は憎たらしくないとすれば「その事業再生は仄白いということはない」ということは事実である
事実8: あの傾向は賛成し難い
事実9: その事業再生は憎たらしいということはない
事実10: もしあの傾向が加熱するとしたらその事業再生は仄白い
事実11: その有利子負債は仄白い

仮説: その事業再生は仄白い
1. 事実8から、推論1: "あの傾向は加熱するかあるいは賛成し難いかあるいは両方ともである"が導かれる
2. 推論1と事実3から、推論2: "その有利子負債は憎たらしくない"が導かれる
3. 推論2と事実7から、仮説が否定される

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