その入学者は惜しいしごつい
fact1: もし何らかのものが益無しとするとその入学者は惜しくてかつごつい fact2: あるものは益無し
$facts$ = fact1: もし何らかのものが益無しとするとその入学者は惜しくてかつごつい fact2: あるものは益無し ; $hypothesis$ = その入学者は惜しいしごつい ; $proof$ = 
事実1: もし何らかのものが益無しとするとその入学者は惜しくてかつごつい
事実2: あるものは益無し

仮説: その入学者は惜しいしごつい