そのリードボーは招き寄せない
fact1: そのリードボーは源平合戦である fact2: もし仮に「そのリードボーは源平合戦だ」ということは成り立つとしたらそれは招き寄せる
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
$facts$ = fact1: そのリードボーは源平合戦である fact2: もし仮に「そのリードボーは源平合戦だ」ということは成り立つとしたらそれは招き寄せる ; $hypothesis$ = そのリードボーは招き寄せない ; $proof$ = 
fact2 & fact1 -> hypothesis; __DISPROVED__
事実1: そのリードボーは源平合戦である
事実2: もし仮に「そのリードボーは源平合戦だ」ということは成り立つとしたらそれは招き寄せる

仮説: そのリードボーは招き寄せない
1. 事実2と事実1から、仮説が否定される

よって、仮説が否定されました。