あの紛争解決機関は強誘電体だということはない
fact1: 「もし「「喜ばしかないし更に凝縮する」ということは誤っている」物があるとするとあの紛争解決機関は強誘電体である」ということは成り立つ fact2: 「「喜ばしかないけど凝縮する」ということは成り立たない」ものはある fact3: 「「喜ばしいし凝縮する」ということは成り立つということはない」物はある
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
$facts$ = fact1: 「もし「「喜ばしかないし更に凝縮する」ということは誤っている」物があるとするとあの紛争解決機関は強誘電体である」ということは成り立つ fact2: 「「喜ばしかないけど凝縮する」ということは成り立たない」ものはある fact3: 「「喜ばしいし凝縮する」ということは成り立つということはない」物はある ; $hypothesis$ = あの紛争解決機関は強誘電体だということはない ; $proof$ = 
fact2 & fact1 -> hypothesis; __DISPROVED__
事実1: 「もし「「喜ばしかないし更に凝縮する」ということは誤っている」物があるとするとあの紛争解決機関は強誘電体である」ということは成り立つ
事実2: 「「喜ばしかないけど凝縮する」ということは成り立たない」ものはある
事実3: 「「喜ばしいし凝縮する」ということは成り立つということはない」物はある

仮説: あの紛争解決機関は強誘電体だということはない
1. 事実2と事実1から、仮説が否定される

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