あのガードブレイクは一昨年でない
fact1: あのガードブレイクは一昨年であるしおまけに登録手続きである
$facts$ = fact1: あのガードブレイクは一昨年であるしおまけに登録手続きである ; $hypothesis$ = あのガードブレイクは一昨年でない ; $proof$ = 
事実1: あのガードブレイクは一昨年であるしおまけに登録手続きである

仮説: あのガードブレイクは一昨年でない