「もしもあの否認権行使が礼儀正しいならその回腸は受領行為であるか相談し易くない」ということは嘘だ
fact1: その回腸は社債市場だ fact2: 「あの否認権行使は礼儀正しくないしその上相談し易くない」ということは真実だということはない fact3: 「仮にあの否認権行使が礼儀正しいならばあの回腸は受領行為であるかそれは相談し易いかもしくは両方である」ということは真実である fact4: 「もし「その回腸はシャッターチャンスであるかあるいは相談し易くない」ということは真実でないとしたらこの営内隊員は受領行為だ」ということは本当だ fact5: 「その回腸は出現し易くないかもしくは相談し易いということはないかどちらもだ」ということは成り立たない fact6: もしもこの営内隊員が社債市場であるならばあの否認権行使は礼儀正しくない fact7: 仮に「その会計年度毎は廟でないかまたはそれは出現し易い」ということは間違いだとすればその回腸は受領行為である fact8: 「あの否認権行使は受領行為であるかまたは出現し易くない」ということは真実でないなら「その回腸は礼儀正しい」ということは事実だ fact9: この営内隊員は廟であるかあるいはそれは社債市場だ fact10: もしあの否認権行使は礼儀正しくないなら「「この営内隊員は出現し易くないかもしくは社債市場でないかあるいは両方である」ということは真実だ」ということは間違いである fact11: もし仮にこの営内隊員はシャッターチャンスでないならば「その会計年度毎は廟だということはないかあるいは出現し易くないかまたはどちらもである」ということは間違っている fact12: もしもその回腸はシャッターチャンスでないとすると「その会計年度毎は受領行為でないかあるいは出現し易いということはないかもしくは両方ともである」ということは正しくない fact13: もし仮に「この営内隊員は廟でないしその上シャッターチャンスでない」ということは間違っているとすると「その会計年度毎は社債市場だ」ということは事実である fact14: もし仮に「この営内隊員はシャッターチャンスでないしさらに社債市場でない」ということは成り立つということはないならば「あの否認権行使は礼儀正しくない」ということは成り立つ fact15: 仮にその会計年度毎は受領行為でないとすると「あの否認権行使は礼儀正しくないかあるいは廟であるということはない」ということは嘘だ fact16: もしもあの否認権行使が受領行為であるならその回腸は廟であるかまたはそれは礼儀正しい fact17: 「もし「その会計年度毎は廟だということはないかもしくはそれは出現し易くない」ということは間違いであるとしたらその回腸は受領行為である」ということは事実だ fact18: 「その回腸はシャッターチャンスだ」ということは誤りでないとしたらこの営内隊員は相談し易くない fact19: もし「その回腸は廟でないし出現し易くない」ということは誤っているとすれば「その会計年度毎は相談し易くない」ということは成り立つ
void -> assump2: 以下のように仮定する。「この営内隊員はシャッターチャンスでなくてそれにそれは社債市場でない」ということは本当でない; fact14 & assump2 -> int1: あの否認権行使は礼儀正しいということはない; void -> assump1: 以下のように仮定する。あの否認権行使は礼儀正しい; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この営内隊員はシャッターチャンスでなくてかつ社債市場でない; int3 -> int4: この営内隊員はシャッターチャンスでない; int4 & fact11 -> int5: 「その会計年度毎は廟でないか出現し易くないかどちらもである」ということは成り立たない; int5 & fact17 -> int6: その回腸は受領行為である; int6 -> int7: その回腸は受領行為であるかもしくはそれは相談し易いということはないかあるいは両方だ; [assump1] & int7 -> hypothesis;
$facts$ = fact1: その回腸は社債市場だ fact2: 「あの否認権行使は礼儀正しくないしその上相談し易くない」ということは真実だということはない fact3: 「仮にあの否認権行使が礼儀正しいならばあの回腸は受領行為であるかそれは相談し易いかもしくは両方である」ということは真実である fact4: 「もし「その回腸はシャッターチャンスであるかあるいは相談し易くない」ということは真実でないとしたらこの営内隊員は受領行為だ」ということは本当だ fact5: 「その回腸は出現し易くないかもしくは相談し易いということはないかどちらもだ」ということは成り立たない fact6: もしもこの営内隊員が社債市場であるならばあの否認権行使は礼儀正しくない fact7: 仮に「その会計年度毎は廟でないかまたはそれは出現し易い」ということは間違いだとすればその回腸は受領行為である fact8: 「あの否認権行使は受領行為であるかまたは出現し易くない」ということは真実でないなら「その回腸は礼儀正しい」ということは事実だ fact9: この営内隊員は廟であるかあるいはそれは社債市場だ fact10: もしあの否認権行使は礼儀正しくないなら「「この営内隊員は出現し易くないかもしくは社債市場でないかあるいは両方である」ということは真実だ」ということは間違いである fact11: もし仮にこの営内隊員はシャッターチャンスでないならば「その会計年度毎は廟だということはないかあるいは出現し易くないかまたはどちらもである」ということは間違っている fact12: もしもその回腸はシャッターチャンスでないとすると「その会計年度毎は受領行為でないかあるいは出現し易いということはないかもしくは両方ともである」ということは正しくない fact13: もし仮に「この営内隊員は廟でないしその上シャッターチャンスでない」ということは間違っているとすると「その会計年度毎は社債市場だ」ということは事実である fact14: もし仮に「この営内隊員はシャッターチャンスでないしさらに社債市場でない」ということは成り立つということはないならば「あの否認権行使は礼儀正しくない」ということは成り立つ fact15: 仮にその会計年度毎は受領行為でないとすると「あの否認権行使は礼儀正しくないかあるいは廟であるということはない」ということは嘘だ fact16: もしもあの否認権行使が受領行為であるならその回腸は廟であるかまたはそれは礼儀正しい fact17: 「もし「その会計年度毎は廟だということはないかもしくはそれは出現し易くない」ということは間違いであるとしたらその回腸は受領行為である」ということは事実だ fact18: 「その回腸はシャッターチャンスだ」ということは誤りでないとしたらこの営内隊員は相談し易くない fact19: もし「その回腸は廟でないし出現し易くない」ということは誤っているとすれば「その会計年度毎は相談し易くない」ということは成り立つ ; $hypothesis$ = 「もしもあの否認権行使が礼儀正しいならその回腸は受領行為であるか相談し易くない」ということは嘘だ ; $proof$ = 
void -> assump2: 以下のように仮定する。「この営内隊員はシャッターチャンスでなくてそれにそれは社債市場でない」ということは本当でない; fact14 & assump2 -> int1: あの否認権行使は礼儀正しいということはない; void -> assump1: 以下のように仮定する。あの否認権行使は礼儀正しい; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この営内隊員はシャッターチャンスでなくてかつ社債市場でない; int3 -> int4: この営内隊員はシャッターチャンスでない; int4 & fact11 -> int5: 「その会計年度毎は廟でないか出現し易くないかどちらもである」ということは成り立たない; int5 & fact17 -> int6: その回腸は受領行為である; int6 -> int7: その回腸は受領行為であるかもしくはそれは相談し易いということはないかあるいは両方だ; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: その回腸は社債市場だ
事実2: 「あの否認権行使は礼儀正しくないしその上相談し易くない」ということは真実だということはない
事実3: 「仮にあの否認権行使が礼儀正しいならばあの回腸は受領行為であるかそれは相談し易いかもしくは両方である」ということは真実である
事実4: 「もし「その回腸はシャッターチャンスであるかあるいは相談し易くない」ということは真実でないとしたらこの営内隊員は受領行為だ」ということは本当だ
事実5: 「その回腸は出現し易くないかもしくは相談し易いということはないかどちらもだ」ということは成り立たない
事実6: もしもこの営内隊員が社債市場であるならばあの否認権行使は礼儀正しくない
事実7: 仮に「その会計年度毎は廟でないかまたはそれは出現し易い」ということは間違いだとすればその回腸は受領行為である
事実8: 「あの否認権行使は受領行為であるかまたは出現し易くない」ということは真実でないなら「その回腸は礼儀正しい」ということは事実だ
事実9: この営内隊員は廟であるかあるいはそれは社債市場だ
事実10: もしあの否認権行使は礼儀正しくないなら「「この営内隊員は出現し易くないかもしくは社債市場でないかあるいは両方である」ということは真実だ」ということは間違いである
事実11: もし仮にこの営内隊員はシャッターチャンスでないならば「その会計年度毎は廟だということはないかあるいは出現し易くないかまたはどちらもである」ということは間違っている
事実12: もしもその回腸はシャッターチャンスでないとすると「その会計年度毎は受領行為でないかあるいは出現し易いということはないかもしくは両方ともである」ということは正しくない
事実13: もし仮に「この営内隊員は廟でないしその上シャッターチャンスでない」ということは間違っているとすると「その会計年度毎は社債市場だ」ということは事実である
事実14: もし仮に「この営内隊員はシャッターチャンスでないしさらに社債市場でない」ということは成り立つということはないならば「あの否認権行使は礼儀正しくない」ということは成り立つ
事実15: 仮にその会計年度毎は受領行為でないとすると「あの否認権行使は礼儀正しくないかあるいは廟であるということはない」ということは嘘だ
事実16: もしもあの否認権行使が受領行為であるならその回腸は廟であるかまたはそれは礼儀正しい
事実17: 「もし「その会計年度毎は廟だということはないかもしくはそれは出現し易くない」ということは間違いであるとしたらその回腸は受領行為である」ということは事実だ
事実18: 「その回腸はシャッターチャンスだ」ということは誤りでないとしたらこの営内隊員は相談し易くない
事実19: もし「その回腸は廟でないし出現し易くない」ということは誤っているとすれば「その会計年度毎は相談し易くない」ということは成り立つ

仮説: 「もしもあの否認権行使が礼儀正しいならその回腸は受領行為であるか相談し易くない」ということは嘘だ
1. 仮定2: 以下のように仮定する。「この営内隊員はシャッターチャンスでなくてそれにそれは社債市場でない」ということは本当でない
2. 事実14と仮定2から、推論1: "あの否認権行使は礼儀正しいということはない"が導かれる
3. 仮定1: 以下のように仮定する。あの否認権行使は礼儀正しい
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "この営内隊員はシャッターチャンスでなくてかつ社債市場でない"が導かれる
6. 推論3から、推論4: "この営内隊員はシャッターチャンスでない"が導かれる
7. 推論4と事実11から、推論5: "「その会計年度毎は廟でないか出現し易くないかどちらもである」ということは成り立たない"が導かれる
8. 推論5と事実17から、推論6: "その回腸は受領行為である"が導かれる
9. 推論6から、推論7: "その回腸は受領行為であるかもしくはそれは相談し易いということはないかあるいは両方だ"が導かれる
10. [仮定1]と推論7から、仮説が否定される

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