このローブは出場しない
fact1: 「このローブはバリアしないが許し難い」ということは誤っている fact2: もし仮に「このローブはバリアしないけれど許し難い」ということは本当だということはないなら出場する
$facts$ = fact1: 「このローブはバリアしないが許し難い」ということは誤っている fact2: もし仮に「このローブはバリアしないけれど許し難い」ということは本当だということはないなら出場する ; $hypothesis$ = このローブは出場しない ; $proof$ = 
事実1: 「このローブはバリアしないが許し難い」ということは誤っている
事実2: もし仮に「このローブはバリアしないけれど許し難い」ということは本当だということはないなら出場する

仮説: このローブは出場しない