「「「頷けないか遺児でないかまたは両方だ」ということは間違っている」ものはある」ということは成り立たない
fact1: 「「「辛気臭いということはないか確認・設定しないかまたはどちらもである」ということは本当である」ということは成り立たない」ものはある fact2: 「「頷けるということはないか遺児であるかもしくはどちらもだ」ということは誤っている」物はある fact3: なにがしかのものは頷けないかあるいは遺児でないか両方である fact4: この角形は頷ける fact5: 「「進水する」ということは確かである」ものはある fact6: 「遺児な」物はある fact7: 「この角形は頷けないかまたは遺児でないかどちらもだ」ということは成り立たない fact8: 「「Ａ受容体遮断薬でないかまたは登城しないか両方だ」ということは誤りである」物はある
fact7 -> hypothesis;
fact7 -> hypothesis;
$facts$ = fact1: 「「「辛気臭いということはないか確認・設定しないかまたはどちらもである」ということは本当である」ということは成り立たない」ものはある fact2: 「「頷けるということはないか遺児であるかもしくはどちらもだ」ということは誤っている」物はある fact3: なにがしかのものは頷けないかあるいは遺児でないか両方である fact4: この角形は頷ける fact5: 「「進水する」ということは確かである」ものはある fact6: 「遺児な」物はある fact7: 「この角形は頷けないかまたは遺児でないかどちらもだ」ということは成り立たない fact8: 「「Ａ受容体遮断薬でないかまたは登城しないか両方だ」ということは誤りである」物はある ; $hypothesis$ = 「「「頷けないか遺児でないかまたは両方だ」ということは間違っている」ものはある」ということは成り立たない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: 「「「辛気臭いということはないか確認・設定しないかまたはどちらもである」ということは本当である」ということは成り立たない」ものはある
事実2: 「「頷けるということはないか遺児であるかもしくはどちらもだ」ということは誤っている」物はある
事実3: なにがしかのものは頷けないかあるいは遺児でないか両方である
事実4: この角形は頷ける
事実5: 「「進水する」ということは確かである」ものはある
事実6: 「遺児な」物はある
事実7: 「この角形は頷けないかまたは遺児でないかどちらもだ」ということは成り立たない
事実8: 「「Ａ受容体遮断薬でないかまたは登城しないか両方だ」ということは誤りである」物はある

仮説: 「「「頷けないか遺児でないかまたは両方だ」ということは間違っている」ものはある」ということは成り立たない
1. 事実7から、仮説が否定される

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