この商売人はうら若しない
fact1: あのアイスティは煮え繰る fact2: この商売人は煮え繰る fact3: もし仮にこの商売人が煮え繰ればそれはうら若し
$facts$ = fact1: あのアイスティは煮え繰る fact2: この商売人は煮え繰る fact3: もし仮にこの商売人が煮え繰ればそれはうら若し ; $hypothesis$ = この商売人はうら若しない ; $proof$ = 
事実1: あのアイスティは煮え繰る
事実2: この商売人は煮え繰る
事実3: もし仮にこの商売人が煮え繰ればそれはうら若し

仮説: この商売人はうら若しない