「このレセプションは止まり掛けるが闖入しない」ということは間違いである
fact1: 何かは襲う fact2: もし仮にとあるものが襲うとすればあのレセプションは止まり掛けるけどそれは闖入するということはない
$facts$ = fact1: 何かは襲う fact2: もし仮にとあるものが襲うとすればあのレセプションは止まり掛けるけどそれは闖入するということはない ; $hypothesis$ = 「このレセプションは止まり掛けるが闖入しない」ということは間違いである ; $proof$ = 
事実1: 何かは襲う
事実2: もし仮にとあるものが襲うとすればあのレセプションは止まり掛けるけどそれは闖入するということはない

仮説: 「このレセプションは止まり掛けるが闖入しない」ということは間違いである