そのバッチファイルは打ち震えない
fact1: そのＤＥＣは可愛らしくて逞しい fact2: もしもそのＤＥＣが可愛らしいしかつ逞しいとしたらそのバッチファイルは打ち震えるということはない
$facts$ = fact1: そのＤＥＣは可愛らしくて逞しい fact2: もしもそのＤＥＣが可愛らしいしかつ逞しいとしたらそのバッチファイルは打ち震えるということはない ; $hypothesis$ = そのバッチファイルは打ち震えない ; $proof$ = 
事実1: そのＤＥＣは可愛らしくて逞しい
事実2: もしもそのＤＥＣが可愛らしいしかつ逞しいとしたらそのバッチファイルは打ち震えるということはない

仮説: そのバッチファイルは打ち震えない