その蓄電池は基本要素でないけれどＩＢＪである
fact1: 「「その蓄電池が基本要素だしさらにＩＢＪである」ということは本当である」ということは間違いである fact2: もし仮に「「御存じ無い」ということは本当な」ものはあるなら「その蓄電池は基本要素でないがしかしそれはＩＢＪだ」ということは成り立たない fact3: 「御存じ無い」ものはある
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
$facts$ = fact1: 「「その蓄電池が基本要素だしさらにＩＢＪである」ということは本当である」ということは間違いである fact2: もし仮に「「御存じ無い」ということは本当な」ものはあるなら「その蓄電池は基本要素でないがしかしそれはＩＢＪだ」ということは成り立たない fact3: 「御存じ無い」ものはある ; $hypothesis$ = その蓄電池は基本要素でないけれどＩＢＪである ; $proof$ = 
fact3 & fact2 -> hypothesis; __DISPROVED__
事実1: 「「その蓄電池が基本要素だしさらにＩＢＪである」ということは本当である」ということは間違いである
事実2: もし仮に「「御存じ無い」ということは本当な」ものはあるなら「その蓄電池は基本要素でないがしかしそれはＩＢＪだ」ということは成り立たない
事実3: 「御存じ無い」ものはある

仮説: その蓄電池は基本要素でないけれどＩＢＪである
1. 事実3と事実2から、仮説が否定される

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