その一党は虐殺する
fact1: あのサージェント・ペパーズ・ロンリー・ハーツ・クラブ・バンドは毛深くないしそれは総員退避でない fact2: あのサージェント・ペパーズ・ロンリー・ハーツ・クラブ・バンドが毛深いということはないし総員退避だということはないならば「その一党は虐殺しない」ということは成り立つ
$facts$ = fact1: あのサージェント・ペパーズ・ロンリー・ハーツ・クラブ・バンドは毛深くないしそれは総員退避でない fact2: あのサージェント・ペパーズ・ロンリー・ハーツ・クラブ・バンドが毛深いということはないし総員退避だということはないならば「その一党は虐殺しない」ということは成り立つ ; $hypothesis$ = その一党は虐殺する ; $proof$ = 
事実1: あのサージェント・ペパーズ・ロンリー・ハーツ・クラブ・バンドは毛深くないしそれは総員退避でない
事実2: あのサージェント・ペパーズ・ロンリー・ハーツ・クラブ・バンドが毛深いということはないし総員退避だということはないならば「その一党は虐殺しない」ということは成り立つ

仮説: その一党は虐殺する