そのＫＩＤは冬着でない
fact1: 「「特殊部隊だしＣＯＤＥである」ということは成り立たない」物はある fact2: もし「「特殊部隊だしＣＯＤＥである」ということは間違いな」ものがあるとすればそのＫＩＤは冬着でない
$facts$ = fact1: 「「特殊部隊だしＣＯＤＥである」ということは成り立たない」物はある fact2: もし「「特殊部隊だしＣＯＤＥである」ということは間違いな」ものがあるとすればそのＫＩＤは冬着でない ; $hypothesis$ = そのＫＩＤは冬着でない ; $proof$ = 
事実1: 「「特殊部隊だしＣＯＤＥである」ということは成り立たない」物はある
事実2: もし「「特殊部隊だしＣＯＤＥである」ということは間違いな」ものがあるとすればそのＫＩＤは冬着でない

仮説: そのＫＩＤは冬着でない