この入れ替えは惨苦である
fact1: 「この懲戒権は発生し易いけど騙され易くない」ということは成り立たない fact2: 「「発生し易くて騙され易くない」ということは偽な」ものがあるとするとこの入れ替えは惨苦でない
fact1 -> int1: 「「発生し易くておまけに騙され易くない」ということは誤っている」ものはある; int1 & fact2 -> hypothesis;
fact1 -> int1: (Ex): ¬({AA}x & ¬{AB}x); int1 & fact2 -> hypothesis;
$facts$ = fact1: 「この懲戒権は発生し易いけど騙され易くない」ということは成り立たない fact2: 「「発生し易くて騙され易くない」ということは偽な」ものがあるとするとこの入れ替えは惨苦でない ; $hypothesis$ = この入れ替えは惨苦である ; $proof$ = 
fact1 -> int1: 「「発生し易くておまけに騙され易くない」ということは誤っている」ものはある; int1 & fact2 -> hypothesis; __DISPROVED__
事実1: 「この懲戒権は発生し易いけど騙され易くない」ということは成り立たない
事実2: 「「発生し易くて騙され易くない」ということは偽な」ものがあるとするとこの入れ替えは惨苦でない

仮説: この入れ替えは惨苦である
1. 事実1から、推論1: "「「発生し易くておまけに騙され易くない」ということは誤っている」ものはある"が導かれる
2. 推論1と事実2から、仮説が否定される

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