あの一升升は脂っこくない
fact1: あの一升升は加工能力だ fact2: もしもあの一升升が加工能力ならば脂っこい
$facts$ = fact1: あの一升升は加工能力だ fact2: もしもあの一升升が加工能力ならば脂っこい ; $hypothesis$ = あの一升升は脂っこくない ; $proof$ = 
事実1: あの一升升は加工能力だ
事実2: もしもあの一升升が加工能力ならば脂っこい

仮説: あの一升升は脂っこくない