その適用後は事業・ビジネスだ
fact1: 仮に「なにかは腹立たしくらないけど安堵する」ということは偽ならば「腹立たしい」ということは確かである fact2: あの個別データは腹立たしい fact3: もしあの個別データが安堵するし腹立たしいならその適用後は損失処理案でない fact4: あの個別データは恐れ多いし安堵する fact5: その適用後は損失処理案でないとすると「それは酸くないがしかし軟膏である」ということは成り立たない fact6: 「あの個別データは恐れ多い」ということは成り立つ fact7: 「なんらかのものは損失処理案である」ということは正しいとしたら「それは腹立たしくらないけれど安堵する」ということは偽だ fact8: 「その適用後は酸くないがそれは軟膏だ」ということは誤っているとしたら事業・ビジネスでない
fact4 -> int1: あの個別データは安堵する; int1 & fact2 -> int2: あの個別データは安堵するしそれは腹立たしい; int2 & fact3 -> int3: その適用後は損失処理案でない; int3 & fact5 -> int4: 「その適用後は酸くないが軟膏だ」ということは誤っている; int4 & fact8 -> hypothesis;
この別れ話は腹立たしくてそれに拝す
fact9 -> int5: 「この別れ話は腹立たしいということはないがしかし安堵する」ということは誤っているとすると腹立たしい; fact10 -> int6: もしこの別れ話は損失処理案であるなら「それは腹立たしいということはないがしかし安堵する」ということは成り立たない;
$facts$ = fact1: 仮に「なにかは腹立たしくらないけど安堵する」ということは偽ならば「腹立たしい」ということは確かである fact2: あの個別データは腹立たしい fact3: もしあの個別データが安堵するし腹立たしいならその適用後は損失処理案でない fact4: あの個別データは恐れ多いし安堵する fact5: その適用後は損失処理案でないとすると「それは酸くないがしかし軟膏である」ということは成り立たない fact6: 「あの個別データは恐れ多い」ということは成り立つ fact7: 「なんらかのものは損失処理案である」ということは正しいとしたら「それは腹立たしくらないけれど安堵する」ということは偽だ fact8: 「その適用後は酸くないがそれは軟膏だ」ということは誤っているとしたら事業・ビジネスでない ; $hypothesis$ = その適用後は事業・ビジネスだ ; $proof$ = 
fact4 -> int1: あの個別データは安堵する; int1 & fact2 -> int2: あの個別データは安堵するしそれは腹立たしい; int2 & fact3 -> int3: その適用後は損失処理案でない; int3 & fact5 -> int4: 「その適用後は酸くないが軟膏だ」ということは誤っている; int4 & fact8 -> hypothesis; __DISPROVED__
事実1: 仮に「なにかは腹立たしくらないけど安堵する」ということは偽ならば「腹立たしい」ということは確かである
事実2: あの個別データは腹立たしい
事実3: もしあの個別データが安堵するし腹立たしいならその適用後は損失処理案でない
事実4: あの個別データは恐れ多いし安堵する
事実5: その適用後は損失処理案でないとすると「それは酸くないがしかし軟膏である」ということは成り立たない
事実6: 「あの個別データは恐れ多い」ということは成り立つ
事実7: 「なんらかのものは損失処理案である」ということは正しいとしたら「それは腹立たしくらないけれど安堵する」ということは偽だ
事実8: 「その適用後は酸くないがそれは軟膏だ」ということは誤っているとしたら事業・ビジネスでない

仮説: その適用後は事業・ビジネスだ
1. 事実4から、推論1: "あの個別データは安堵する"が導かれる
2. 推論1と事実2から、推論2: "あの個別データは安堵するしそれは腹立たしい"が導かれる
3. 推論2と事実3から、推論3: "その適用後は損失処理案でない"が導かれる
4. 推論3と事実5から、推論4: "「その適用後は酸くないが軟膏だ」ということは誤っている"が導かれる
5. 推論4と事実8から、仮説が否定される

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