この醜態は持ち出さなくて加えて誘い込まない
fact1: 「雌赤緑小灰である」ものはある fact2: 何かは雌赤緑小灰であるとすれば「「この醜態は持ち出さなくて誘い込まない」ということは偽である」ということは成り立つ
$facts$ = fact1: 「雌赤緑小灰である」ものはある fact2: 何かは雌赤緑小灰であるとすれば「「この醜態は持ち出さなくて誘い込まない」ということは偽である」ということは成り立つ ; $hypothesis$ = この醜態は持ち出さなくて加えて誘い込まない ; $proof$ = 
事実1: 「雌赤緑小灰である」ものはある
事実2: 何かは雌赤緑小灰であるとすれば「「この醜態は持ち出さなくて誘い込まない」ということは偽である」ということは成り立つ

仮説: この醜態は持ち出さなくて加えて誘い込まない