「あの采地は指導活動でないかもしくは京都弁でないかどちらもである」ということは間違いである
fact1: もしも何かは見え難くないとすれば「指導活動だということはないか京都弁でないかあるいはどちらもだ」ということは偽である fact2: 「この第三十九戦車連隊は時間価値等でないけれど見出だし難い」ということは誤っているとすれば傾かない fact3: もし仮に何らかの物が傾かないし実現し易くないとしたらそれは見え難くない fact4: 「この第三十九戦車連隊は時間価値等であるということはない一方で見出だし難い」ということは嘘である fact5: 仮にこの第三十九戦車連隊が人選するとするとあの采地は開き易い fact6: 「あの采地は指導活動でないかまたは京都弁であるかもしくは両方だ」ということは本当である fact7: もし仮にこの第三十九戦車連隊は傾かないとすると「あの螺鈿は見え難い」ということは正しい fact8: もしも何らかのものが開き易いならばストンでなくて発給だ fact9: この第三十九戦車連隊は見え難くない fact10: 「この第三十九戦車連隊は実現し易くないしまたそれは見え難くない」ということは本当であるということはないならあの采地は見え難い fact11: 仮にあの螺鈿が京都弁だということはないとするとあの采地は指導活動でないか京都弁でないかもしくは両方だ fact12: もし見え難いものが京都弁であるとするとこのページ全体は実現し易くない fact13: 何かは発給でない fact14: なんらかの物は心許なくない fact15: このページ全体はストンであるしその上それは実現し易い fact16: あの采地はストンである fact17: もし仮に何らかの物はストンでないならば「傾かなくて更に実現し易くない」ということは正しい fact18: 「見出だし難くて更に京都弁な」ものはある fact19: もし「なんらかの物は母親らしくないけれどそれは徴発する」ということは嘘ならばそれは資金使途だ fact20: 仮に何かは資金使途だとすればそれは人選する
fact2 & fact4 -> int1: この第三十九戦車連隊は傾かない; int1 & fact7 -> int2: あの螺鈿は見え難い; void -> assump1: 以下のように仮定する。あの螺鈿は京都弁だ; int2 & assump1 -> int3: あの螺鈿は見え難くてそれは京都弁である; int3 -> int4: なんらかの物は見え難いし京都弁である; int4 & fact12 -> int5: このページ全体は実現し易くない; fact15 -> int6: このページ全体は実現し易い; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの螺鈿は京都弁であるということはない; int8 & fact11 -> hypothesis;
「あの采地は指導活動でないかもしくは京都弁でないか両方ともである」ということは嘘である
fact28 -> int9: もし仮にあの采地は見え難くないならば「「指導活動でないかまたは京都弁でないかまたはどちらもである」ということは本当だ」ということは誤りである; fact21 -> int10: あの采地が傾くということはなくて実現し易くないとしたらそれは見え難くない; fact22 -> int11: あの采地はストンでないとすると傾かなくて実現し易いということはない; fact26 -> int12: もし仮にあの采地が開き易いとすればストンだということはないがしかし発給だ; fact25 -> int13: もしこの第三十九戦車連隊は資金使途であるとしたらそれは人選する; fact24 -> int14: もしも「この第三十九戦車連隊は母親らしくないけど徴発する」ということは間違っているならそれは資金使途だ;
$facts$ = fact1: もしも何かは見え難くないとすれば「指導活動だということはないか京都弁でないかあるいはどちらもだ」ということは偽である fact2: 「この第三十九戦車連隊は時間価値等でないけれど見出だし難い」ということは誤っているとすれば傾かない fact3: もし仮に何らかの物が傾かないし実現し易くないとしたらそれは見え難くない fact4: 「この第三十九戦車連隊は時間価値等であるということはない一方で見出だし難い」ということは嘘である fact5: 仮にこの第三十九戦車連隊が人選するとするとあの采地は開き易い fact6: 「あの采地は指導活動でないかまたは京都弁であるかもしくは両方だ」ということは本当である fact7: もし仮にこの第三十九戦車連隊は傾かないとすると「あの螺鈿は見え難い」ということは正しい fact8: もしも何らかのものが開き易いならばストンでなくて発給だ fact9: この第三十九戦車連隊は見え難くない fact10: 「この第三十九戦車連隊は実現し易くないしまたそれは見え難くない」ということは本当であるということはないならあの采地は見え難い fact11: 仮にあの螺鈿が京都弁だということはないとするとあの采地は指導活動でないか京都弁でないかもしくは両方だ fact12: もし見え難いものが京都弁であるとするとこのページ全体は実現し易くない fact13: 何かは発給でない fact14: なんらかの物は心許なくない fact15: このページ全体はストンであるしその上それは実現し易い fact16: あの采地はストンである fact17: もし仮に何らかの物はストンでないならば「傾かなくて更に実現し易くない」ということは正しい fact18: 「見出だし難くて更に京都弁な」ものはある fact19: もし「なんらかの物は母親らしくないけれどそれは徴発する」ということは嘘ならばそれは資金使途だ fact20: 仮に何かは資金使途だとすればそれは人選する ; $hypothesis$ = 「あの采地は指導活動でないかもしくは京都弁でないかどちらもである」ということは間違いである ; $proof$ = 
fact2 & fact4 -> int1: この第三十九戦車連隊は傾かない; int1 & fact7 -> int2: あの螺鈿は見え難い; void -> assump1: 以下のように仮定する。あの螺鈿は京都弁だ; int2 & assump1 -> int3: あの螺鈿は見え難くてそれは京都弁である; int3 -> int4: なんらかの物は見え難いし京都弁である; int4 & fact12 -> int5: このページ全体は実現し易くない; fact15 -> int6: このページ全体は実現し易い; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの螺鈿は京都弁であるということはない; int8 & fact11 -> hypothesis; __DISPROVED__
事実1: もしも何かは見え難くないとすれば「指導活動だということはないか京都弁でないかあるいはどちらもだ」ということは偽である
事実2: 「この第三十九戦車連隊は時間価値等でないけれど見出だし難い」ということは誤っているとすれば傾かない
事実3: もし仮に何らかの物が傾かないし実現し易くないとしたらそれは見え難くない
事実4: 「この第三十九戦車連隊は時間価値等であるということはない一方で見出だし難い」ということは嘘である
事実5: 仮にこの第三十九戦車連隊が人選するとするとあの采地は開き易い
事実6: 「あの采地は指導活動でないかまたは京都弁であるかもしくは両方だ」ということは本当である
事実7: もし仮にこの第三十九戦車連隊は傾かないとすると「あの螺鈿は見え難い」ということは正しい
事実8: もしも何らかのものが開き易いならばストンでなくて発給だ
事実9: この第三十九戦車連隊は見え難くない
事実10: 「この第三十九戦車連隊は実現し易くないしまたそれは見え難くない」ということは本当であるということはないならあの采地は見え難い
事実11: 仮にあの螺鈿が京都弁だということはないとするとあの采地は指導活動でないか京都弁でないかもしくは両方だ
事実12: もし見え難いものが京都弁であるとするとこのページ全体は実現し易くない
事実13: 何かは発給でない
事実14: なんらかの物は心許なくない
事実15: このページ全体はストンであるしその上それは実現し易い
事実16: あの采地はストンである
事実17: もし仮に何らかの物はストンでないならば「傾かなくて更に実現し易くない」ということは正しい
事実18: 「見出だし難くて更に京都弁な」ものはある
事実19: もし「なんらかの物は母親らしくないけれどそれは徴発する」ということは嘘ならばそれは資金使途だ
事実20: 仮に何かは資金使途だとすればそれは人選する

仮説: 「あの采地は指導活動でないかもしくは京都弁でないかどちらもである」ということは間違いである
1. 事実2と事実4から、推論1: "この第三十九戦車連隊は傾かない"が導かれる
2. 推論1と事実7から、推論2: "あの螺鈿は見え難い"が導かれる
3. 仮定1: 以下のように仮定する。あの螺鈿は京都弁だ
4. 推論2と仮定1から、推論3: "あの螺鈿は見え難くてそれは京都弁である"が導かれる
5. 推論3から、推論4: "なんらかの物は見え難いし京都弁である"が導かれる
6. 推論4と事実12から、推論5: "このページ全体は実現し易くない"が導かれる
7. 事実15から、推論6: "このページ全体は実現し易い"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの螺鈿は京都弁であるということはない"が導かれる
10. 推論8と事実11から、仮説が否定される

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