あのシステムツールは破裂する
fact1: あのシステムツールは喀血である fact2: 仮にあのシステムツールは喀血であるとすれば「それは破裂する」ということは事実と異ならない
$facts$ = fact1: あのシステムツールは喀血である fact2: 仮にあのシステムツールは喀血であるとすれば「それは破裂する」ということは事実と異ならない ; $hypothesis$ = あのシステムツールは破裂する ; $proof$ = 
事実1: あのシステムツールは喀血である
事実2: 仮にあのシステムツールは喀血であるとすれば「それは破裂する」ということは事実と異ならない

仮説: あのシステムツールは破裂する