その原文は分かり易い
fact1: その原文は発現系であるということはない fact2: もしその原文が発現系でないならそれは追い縋るしそれは分かり易くない fact3: 「その原文は追い縋る」ということは成り立つ
fact2 & fact1 -> int1: 「その原文は追い縋るが分かり易いということはない」ということは成り立つ; int1 -> hypothesis;
fact2 & fact1 -> int1: ({AA}{a} & ¬{AB}{a}); int1 -> hypothesis;
$facts$ = fact1: その原文は発現系であるということはない fact2: もしその原文が発現系でないならそれは追い縋るしそれは分かり易くない fact3: 「その原文は追い縋る」ということは成り立つ ; $hypothesis$ = その原文は分かり易い ; $proof$ = 
fact2 & fact1 -> int1: 「その原文は追い縋るが分かり易いということはない」ということは成り立つ; int1 -> hypothesis; __DISPROVED__
事実1: その原文は発現系であるということはない
事実2: もしその原文が発現系でないならそれは追い縋るしそれは分かり易くない
事実3: 「その原文は追い縋る」ということは成り立つ

仮説: その原文は分かり易い
1. 事実2と事実1から、推論1: "「その原文は追い縋るが分かり易いということはない」ということは成り立つ"が導かれる
2. 推論1から、仮説が否定される

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