「このＩＴ戦略はど偉いか反撃出来る」ということは誤りだ
fact1: もし「その傍らは重役達でないかまたはそれは使い難くない」ということは偽だとするとこのＩＴ戦略は診療記録であるということはない fact2: もし仮にとあるものは診療記録であるということはないとしたら「ど偉いかもしくは反撃出来る」ということは間違っている fact3: その傍らが診療記録だししかも重役達である fact4: もし「その傍らは重役達である」ということは成り立つならこのＩＴ戦略はど偉い
fact3 -> int1: その傍らは重役達である; int1 & fact4 -> int2: このＩＴ戦略はど偉い; int2 -> hypothesis;
「このＩＴ戦略はど偉いかもしくはそれは反撃出来る」ということは偽である
fact6 -> int3: もし仮にこのＩＴ戦略は診療記録でないとしたら「それはど偉いかまたは反撃出来るかどちらもだ」ということは確かでない;
$facts$ = fact1: もし「その傍らは重役達でないかまたはそれは使い難くない」ということは偽だとするとこのＩＴ戦略は診療記録であるということはない fact2: もし仮にとあるものは診療記録であるということはないとしたら「ど偉いかもしくは反撃出来る」ということは間違っている fact3: その傍らが診療記録だししかも重役達である fact4: もし「その傍らは重役達である」ということは成り立つならこのＩＴ戦略はど偉い ; $hypothesis$ = 「このＩＴ戦略はど偉いか反撃出来る」ということは誤りだ ; $proof$ = 
fact3 -> int1: その傍らは重役達である; int1 & fact4 -> int2: このＩＴ戦略はど偉い; int2 -> hypothesis; __DISPROVED__
事実1: もし「その傍らは重役達でないかまたはそれは使い難くない」ということは偽だとするとこのＩＴ戦略は診療記録であるということはない
事実2: もし仮にとあるものは診療記録であるということはないとしたら「ど偉いかもしくは反撃出来る」ということは間違っている
事実3: その傍らが診療記録だししかも重役達である
事実4: もし「その傍らは重役達である」ということは成り立つならこのＩＴ戦略はど偉い

仮説: 「このＩＴ戦略はど偉いか反撃出来る」ということは誤りだ
1. 事実3から、推論1: "その傍らは重役達である"が導かれる
2. 推論1と事実4から、推論2: "このＩＴ戦略はど偉い"が導かれる
3. 推論2から、仮説が否定される

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