このケモカインは無指定だ
fact1: もしこのケモカインはちっちゃいということはなくてまた睦言でないならばそれは無指定だということはない fact2: このケモカインはちっちゃくないし睦言でない
$facts$ = fact1: もしこのケモカインはちっちゃいということはなくてまた睦言でないならばそれは無指定だということはない fact2: このケモカインはちっちゃくないし睦言でない ; $hypothesis$ = このケモカインは無指定だ ; $proof$ = 
事実1: もしこのケモカインはちっちゃいということはなくてまた睦言でないならばそれは無指定だということはない
事実2: このケモカインはちっちゃくないし睦言でない

仮説: このケモカインは無指定だ