「「この負極材料は格好良くないかあるいはそれはせこいということはないかもしくは両方である」ということは確かだ」ということは間違っている
fact1: 「仮にこの負極材料が重んずということはないならばこの負極材料は格好良い」ということは本当である fact2: この負極材料は重んずないなら「それは格好良くないかせこくないかまたは両方だ」ということは成り立たない fact3: この負極材料は重んずない fact4: その周辺分野は重んずない
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
$facts$ = fact1: 「仮にこの負極材料が重んずということはないならばこの負極材料は格好良い」ということは本当である fact2: この負極材料は重んずないなら「それは格好良くないかせこくないかまたは両方だ」ということは成り立たない fact3: この負極材料は重んずない fact4: その周辺分野は重んずない ; $hypothesis$ = 「「この負極材料は格好良くないかあるいはそれはせこいということはないかもしくは両方である」ということは確かだ」ということは間違っている ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: 「仮にこの負極材料が重んずということはないならばこの負極材料は格好良い」ということは本当である
事実2: この負極材料は重んずないなら「それは格好良くないかせこくないかまたは両方だ」ということは成り立たない
事実3: この負極材料は重んずない
事実4: その周辺分野は重んずない

仮説: 「「この負極材料は格好良くないかあるいはそれはせこいということはないかもしくは両方である」ということは確かだ」ということは間違っている
1. 事実2と事実3から、仮説が導かれる

よって、仮説が証明されました。