あの放課はすばしっこい
fact1: あの放課が小さいならばそれはすばしっこい fact2: あの放課は小さい
$facts$ = fact1: あの放課が小さいならばそれはすばしっこい fact2: あの放課は小さい ; $hypothesis$ = あの放課はすばしっこい ; $proof$ = 
事実1: あの放課が小さいならばそれはすばしっこい
事実2: あの放課は小さい

仮説: あの放課はすばしっこい