このジェイドは判別し易くないし待ち遠しくない
fact1: 「「判別し易いということはない」ということは成り立つ」ものはある fact2: 「「判別し易いかもしくは待ち遠しいかあるいはどちらもだ」ということは成り立たない」ものはある fact3: もしもこの日章旗は待ち遠しいならば「このジェイドは待ち遠しいがしかし判別し易くない」ということは偽だ fact4: 「このジェイドは判別し易いがしかしそれは待ち遠しくない」ということは嘘だ fact5: 「あの葯は取得し易くないしかつ同封しない」ということは成り立たない fact6: もし仮になにがしかのものが生葉でないとするとそれは判別し易くないしその上待ち遠しくない fact7: 仮に「「十一月初旬であるかあるいはリスペクトする」ということは成り立つということはない」物はあるなら「あのギタリスト達は遅過ぎる」ということは成り立つ fact8: もし仮にこの日章旗は待ち遠しいとすれば「このジェイドは待ち遠しくないしその上それは判別し易くない」ということは間違っている fact9: 何かは加工し易いかもしくは信じ込むかあるいは両方ともだ fact10: 「もしこの日章旗は判別し易いとすると「このジェイドは判別し易くないけど待ち遠しい」ということは間違いだ」ということは成り立つ fact11: もし「「加工し易いか信じ込むかもしくは両方ともである」ということは成り立つということはない」物があるとすればこの日章旗は判別し易い fact12: 「「加工し易いか信じ込む」ということは事実と異なる」物はある fact13: 「加工し易いということはない」ものはある fact14: 「待ち遠しいということはない」ものはある fact15: 「「このジェイドは判別し易くないけれど待ち遠しい」ということは本当だ」ということは成り立たない fact16: 「「待ち遠しいかもしくは判別し易いかもしくは両方である」ということは間違っている」ものはある fact17: もしもこの日章旗は判別し易いとすれば「このジェイドは判別し易いということはなくてそれに待ち遠しくない」ということは事実と異なる
fact12 & fact11 -> int1: この日章旗は判別し易い; int1 & fact17 -> hypothesis;
このジェイドは判別し易くないし待ち遠しいということはない
fact18 -> int2: もし仮に「このジェイドは生葉でない」ということは本当なら判別し易いということはなくて待ち遠しくない;
$facts$ = fact1: 「「判別し易いということはない」ということは成り立つ」ものはある fact2: 「「判別し易いかもしくは待ち遠しいかあるいはどちらもだ」ということは成り立たない」ものはある fact3: もしもこの日章旗は待ち遠しいならば「このジェイドは待ち遠しいがしかし判別し易くない」ということは偽だ fact4: 「このジェイドは判別し易いがしかしそれは待ち遠しくない」ということは嘘だ fact5: 「あの葯は取得し易くないしかつ同封しない」ということは成り立たない fact6: もし仮になにがしかのものが生葉でないとするとそれは判別し易くないしその上待ち遠しくない fact7: 仮に「「十一月初旬であるかあるいはリスペクトする」ということは成り立つということはない」物はあるなら「あのギタリスト達は遅過ぎる」ということは成り立つ fact8: もし仮にこの日章旗は待ち遠しいとすれば「このジェイドは待ち遠しくないしその上それは判別し易くない」ということは間違っている fact9: 何かは加工し易いかもしくは信じ込むかあるいは両方ともだ fact10: 「もしこの日章旗は判別し易いとすると「このジェイドは判別し易くないけど待ち遠しい」ということは間違いだ」ということは成り立つ fact11: もし「「加工し易いか信じ込むかもしくは両方ともである」ということは成り立つということはない」物があるとすればこの日章旗は判別し易い fact12: 「「加工し易いか信じ込む」ということは事実と異なる」物はある fact13: 「加工し易いということはない」ものはある fact14: 「待ち遠しいということはない」ものはある fact15: 「「このジェイドは判別し易くないけれど待ち遠しい」ということは本当だ」ということは成り立たない fact16: 「「待ち遠しいかもしくは判別し易いかもしくは両方である」ということは間違っている」ものはある fact17: もしもこの日章旗は判別し易いとすれば「このジェイドは判別し易いということはなくてそれに待ち遠しくない」ということは事実と異なる ; $hypothesis$ = このジェイドは判別し易くないし待ち遠しくない ; $proof$ = 
fact12 & fact11 -> int1: この日章旗は判別し易い; int1 & fact17 -> hypothesis; __DISPROVED__
事実1: 「「判別し易いということはない」ということは成り立つ」ものはある
事実2: 「「判別し易いかもしくは待ち遠しいかあるいはどちらもだ」ということは成り立たない」ものはある
事実3: もしもこの日章旗は待ち遠しいならば「このジェイドは待ち遠しいがしかし判別し易くない」ということは偽だ
事実4: 「このジェイドは判別し易いがしかしそれは待ち遠しくない」ということは嘘だ
事実5: 「あの葯は取得し易くないしかつ同封しない」ということは成り立たない
事実6: もし仮になにがしかのものが生葉でないとするとそれは判別し易くないしその上待ち遠しくない
事実7: 仮に「「十一月初旬であるかあるいはリスペクトする」ということは成り立つということはない」物はあるなら「あのギタリスト達は遅過ぎる」ということは成り立つ
事実8: もし仮にこの日章旗は待ち遠しいとすれば「このジェイドは待ち遠しくないしその上それは判別し易くない」ということは間違っている
事実9: 何かは加工し易いかもしくは信じ込むかあるいは両方ともだ
事実10: 「もしこの日章旗は判別し易いとすると「このジェイドは判別し易くないけど待ち遠しい」ということは間違いだ」ということは成り立つ
事実11: もし「「加工し易いか信じ込むかもしくは両方ともである」ということは成り立つということはない」物があるとすればこの日章旗は判別し易い
事実12: 「「加工し易いか信じ込む」ということは事実と異なる」物はある
事実13: 「加工し易いということはない」ものはある
事実14: 「待ち遠しいということはない」ものはある
事実15: 「「このジェイドは判別し易くないけれど待ち遠しい」ということは本当だ」ということは成り立たない
事実16: 「「待ち遠しいかもしくは判別し易いかもしくは両方である」ということは間違っている」ものはある
事実17: もしもこの日章旗は判別し易いとすれば「このジェイドは判別し易いということはなくてそれに待ち遠しくない」ということは事実と異なる

仮説: このジェイドは判別し易くないし待ち遠しくない
1. 事実12と事実11から、推論1: "この日章旗は判別し易い"が導かれる
2. 推論1と事実17から、仮説が否定される

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