あのＷＭＳは改良率である
fact1: もしもこの二十五プロトコルが出来すし尊重し合うとするとあのＷＭＳは改良率でない fact2: この二十五プロトコルは再会するし出来す fact3: もしその現役兵が尊重し合うか弛み無くないかどちらもだとすればあの二十五プロトコルは尊重し合う fact4: その現役兵は尊重し合うかあるいは弛み無くない
fact2 -> int1: この二十五プロトコルは出来す; fact3 & fact4 -> int2: この二十五プロトコルは尊重し合う; int1 & int2 -> int3: この二十五プロトコルは出来すし加えてそれは尊重し合う; int3 & fact1 -> hypothesis;
$facts$ = fact1: もしもこの二十五プロトコルが出来すし尊重し合うとするとあのＷＭＳは改良率でない fact2: この二十五プロトコルは再会するし出来す fact3: もしその現役兵が尊重し合うか弛み無くないかどちらもだとすればあの二十五プロトコルは尊重し合う fact4: その現役兵は尊重し合うかあるいは弛み無くない ; $hypothesis$ = あのＷＭＳは改良率である ; $proof$ = 
fact2 -> int1: この二十五プロトコルは出来す; fact3 & fact4 -> int2: この二十五プロトコルは尊重し合う; int1 & int2 -> int3: この二十五プロトコルは出来すし加えてそれは尊重し合う; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: もしもこの二十五プロトコルが出来すし尊重し合うとするとあのＷＭＳは改良率でない
事実2: この二十五プロトコルは再会するし出来す
事実3: もしその現役兵が尊重し合うか弛み無くないかどちらもだとすればあの二十五プロトコルは尊重し合う
事実4: その現役兵は尊重し合うかあるいは弛み無くない

仮説: あのＷＭＳは改良率である
1. 事実2から、推論1: "この二十五プロトコルは出来す"が導かれる
2. 事実3と事実4から、推論2: "この二十五プロトコルは尊重し合う"が導かれる
3. 推論1と推論2から、推論3: "この二十五プロトコルは出来すし加えてそれは尊重し合う"が導かれる
4. 推論3と事実1から、仮説が否定される

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