この標記は参照頂くということはないがしかし御美しい
fact1: もしも何らかのものがやんごとないならばそれは参照頂かないが御美しい fact2: 「この節目は水行しないがしかし参照頂く」ということは成り立たない fact3: 「この標記は参照頂かないがしかし御美しい」ということは成り立たない fact4: もしも何らかのものは心強いなら「「御読み頂かないがやんごとない」ということは事実だ」ということは誤っている fact5: もし仮になんらかのものはやんごとなくないならば「それはカバー出来ないけど御美しい」ということは間違っている
fact3 -> hypothesis;
fact3 -> hypothesis;
「この標記はカバー出来ないけれど御美しい」ということは誤りである
fact7 -> int1: この標記はやんごとなくないとすると「カバー出来るということはないし御美しい」ということは間違いである; fact6 -> int2: 「もしもその平行平板形空洞電離箱は心強いとすると「その平行平板形空洞電離箱は御読み頂かない一方でやんごとない」ということは間違いである」ということは真実だ;
$facts$ = fact1: もしも何らかのものがやんごとないならばそれは参照頂かないが御美しい fact2: 「この節目は水行しないがしかし参照頂く」ということは成り立たない fact3: 「この標記は参照頂かないがしかし御美しい」ということは成り立たない fact4: もしも何らかのものは心強いなら「「御読み頂かないがやんごとない」ということは事実だ」ということは誤っている fact5: もし仮になんらかのものはやんごとなくないならば「それはカバー出来ないけど御美しい」ということは間違っている ; $hypothesis$ = この標記は参照頂くということはないがしかし御美しい ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: もしも何らかのものがやんごとないならばそれは参照頂かないが御美しい
事実2: 「この節目は水行しないがしかし参照頂く」ということは成り立たない
事実3: 「この標記は参照頂かないがしかし御美しい」ということは成り立たない
事実4: もしも何らかのものは心強いなら「「御読み頂かないがやんごとない」ということは事実だ」ということは誤っている
事実5: もし仮になんらかのものはやんごとなくないならば「それはカバー出来ないけど御美しい」ということは間違っている

仮説: この標記は参照頂くということはないがしかし御美しい
1. 事実3から、仮説が否定される

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