その出力情報コードは燃やす
fact1: その出力情報コードがセルフチェックだとしたらそれは燃やす fact2: その出力情報コードはセルフチェックだ
$facts$ = fact1: その出力情報コードがセルフチェックだとしたらそれは燃やす fact2: その出力情報コードはセルフチェックだ ; $hypothesis$ = その出力情報コードは燃やす ; $proof$ = 
事実1: その出力情報コードがセルフチェックだとしたらそれは燃やす
事実2: その出力情報コードはセルフチェックだ

仮説: その出力情報コードは燃やす