あの第九表は判別し易い
fact1: この四箇月間はジャンルだ fact2: 仮に「この四箇月間はジャンルだ」ということは確かならそれは変わり行く fact3: あの第九表は抜け替わるしそれはストーカー行為だ fact4: もし仮にこの四箇月間が判別し易いということはないとすればあの第九表は判別し易い fact5: 仮にあの英仏が高機能だとするとこの四箇月間は判別し難いということはないかまたは変わり行かないかあるいは両方である fact6: 判別し難くないものは判別し易いということはない fact7: あの第九表は高機能だ fact8: この四箇月間は判別し難くてかつ高機能である fact9: あの第九表はジャンルである fact10: もしこの四箇月間が高機能だしさらに変わり行くならばあの第九表は判別し易くない
fact8 -> int1: この四箇月間は高機能だ; fact1 & fact2 -> int2: この四箇月間は変わり行く; int1 & int2 -> int3: 「この四箇月間は高機能であるしまた変わり行く」ということは成り立つ; int3 & fact10 -> hypothesis;
fact8 -> int1: {B}{a}; fact1 & fact2 -> int2: {C}{a}; int1 & int2 -> int3: ({B}{a} & {C}{a}); int3 & fact10 -> hypothesis;
あの第九表は判別し易い
fact12 -> int4: もしもこの四箇月間は判別し難くないならばそれは判別し易くない;
$facts$ = fact1: この四箇月間はジャンルだ fact2: 仮に「この四箇月間はジャンルだ」ということは確かならそれは変わり行く fact3: あの第九表は抜け替わるしそれはストーカー行為だ fact4: もし仮にこの四箇月間が判別し易いということはないとすればあの第九表は判別し易い fact5: 仮にあの英仏が高機能だとするとこの四箇月間は判別し難いということはないかまたは変わり行かないかあるいは両方である fact6: 判別し難くないものは判別し易いということはない fact7: あの第九表は高機能だ fact8: この四箇月間は判別し難くてかつ高機能である fact9: あの第九表はジャンルである fact10: もしこの四箇月間が高機能だしさらに変わり行くならばあの第九表は判別し易くない ; $hypothesis$ = あの第九表は判別し易い ; $proof$ = 
fact8 -> int1: この四箇月間は高機能だ; fact1 & fact2 -> int2: この四箇月間は変わり行く; int1 & int2 -> int3: 「この四箇月間は高機能であるしまた変わり行く」ということは成り立つ; int3 & fact10 -> hypothesis; __DISPROVED__
事実1: この四箇月間はジャンルだ
事実2: 仮に「この四箇月間はジャンルだ」ということは確かならそれは変わり行く
事実3: あの第九表は抜け替わるしそれはストーカー行為だ
事実4: もし仮にこの四箇月間が判別し易いということはないとすればあの第九表は判別し易い
事実5: 仮にあの英仏が高機能だとするとこの四箇月間は判別し難いということはないかまたは変わり行かないかあるいは両方である
事実6: 判別し難くないものは判別し易いということはない
事実7: あの第九表は高機能だ
事実8: この四箇月間は判別し難くてかつ高機能である
事実9: あの第九表はジャンルである
事実10: もしこの四箇月間が高機能だしさらに変わり行くならばあの第九表は判別し易くない

仮説: あの第九表は判別し易い
1. 事実8から、推論1: "この四箇月間は高機能だ"が導かれる
2. 事実1と事実2から、推論2: "この四箇月間は変わり行く"が導かれる
3. 推論1と推論2から、推論3: "「この四箇月間は高機能であるしまた変わり行く」ということは成り立つ"が導かれる
4. 推論3と事実10から、仮説が否定される

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