その勘気はＮＩＶだ
fact1: その勘気は卑しい fact2: 仮にその勘気が卑しいならばそれはＮＩＶである
$facts$ = fact1: その勘気は卑しい fact2: 仮にその勘気が卑しいならばそれはＮＩＶである ; $hypothesis$ = その勘気はＮＩＶだ ; $proof$ = 
事実1: その勘気は卑しい
事実2: 仮にその勘気が卑しいならばそれはＮＩＶである

仮説: その勘気はＮＩＶだ