あの吉はちっこくない
fact1: もしも「あの吉は共同する」ということは成り立つとしたらちっこい fact2: あの吉は共同する
$facts$ = fact1: もしも「あの吉は共同する」ということは成り立つとしたらちっこい fact2: あの吉は共同する ; $hypothesis$ = あの吉はちっこくない ; $proof$ = 
事実1: もしも「あの吉は共同する」ということは成り立つとしたらちっこい
事実2: あの吉は共同する

仮説: あの吉はちっこくない