その割り箸は妖異だ
fact1: もしもその割り箸がＧ病院だとしたらこの本道はＧ病院でない fact2: もし仮にこのＮＧＯが食料政策だということはないならばあの地盤条件は妖異でないし実現し易くない fact3: もしその割り箸が発揮し難いということはないし更にＧ病院でないとすればあの特例法上は育て易いということはない fact4: 全ては脂っこくない fact5: 仮に何かは就役しないとすれば「夥しいけれど出身でない」ということは間違っている fact6: その地盤条件は実現し易くないとすると「このＮＧＯは夥しくてそれにそれは実現し易い」ということは偽である fact7: 「このＮＧＯは夥しいし加えて実現し易い」ということは成り立たないならあの特例法上は食料政策でない fact8: すべての物はＧ病院でないしその上それは発揮し難い fact9: もしもその割り箸が育て易くないしそれが麦藁帽であるということはないとするとその地盤条件は実現し易くない fact10: もし仮にその割り箸は妖異であるとすればそれは実現し易いということはない fact11: もし仮にあの特例法上がＧ病院でないが発揮し難いなら就役しない fact12: もしもなにかは病理学であるということはないならＧ病院でないか発揮し難くないか両方ともだ fact13: なにがしかのものは切迫でないならばそれは六等分する fact14: あの特例法上が発揮し難いならそれは実現し易くない fact15: あの特例法上は割り出せないし生み易くないならば病理学だということはない fact16: もし仮にある物が就役するということはないならば食料政策であるし出身である fact17: その地盤条件はＧ病院でない fact18: 仮にその割り箸が実現し易くないしおまけに食料政策でないとすればこのＮＧＯは妖異でない fact19: あの特例法上は妖異であるということはない fact20: その割り箸は妖異であるならばそれは育て易くなくてそれに麦藁帽でない fact21: 仮に「このＮＧＯは発揮し難いしおまけにそれは実現し易い」ということは確かでないとしたらあの特例法上は夥しいということはない fact22: もし仮にその地盤条件が妖異でなくてかつそれが実現し易くないとすればその割り箸は妖異である fact23: あの特例法上は麦藁帽でないがそれは発揮し難い
void -> assump1: 以下のように仮定する。その割り箸は妖異だ; fact20 & assump1 -> int1: その割り箸は育て易いということはなくて麦藁帽でない; int1 & fact9 -> int2: その地盤条件は実現し易いということはない; int2 & fact6 -> int3: 「このＮＧＯは夥しいし加えて実現し易い」ということは誤っている; int3 & fact7 -> int4: あの特例法上は食料政策であるということはない; fact16 -> int5: 仮にあの特例法上が就役しないならばそれは食料政策であるしそれに出身である; fact8 -> int6: あの特例法上はＧ病院でない一方で発揮し難い; fact11 & int6 -> int7: あの特例法上は就役しない; int5 & int7 -> int8: あの特例法上は食料政策であるし更に出身である; int8 -> int9: あの特例法上は食料政策である; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
この本道はＧ病院でない
$facts$ = fact1: もしもその割り箸がＧ病院だとしたらこの本道はＧ病院でない fact2: もし仮にこのＮＧＯが食料政策だということはないならばあの地盤条件は妖異でないし実現し易くない fact3: もしその割り箸が発揮し難いということはないし更にＧ病院でないとすればあの特例法上は育て易いということはない fact4: 全ては脂っこくない fact5: 仮に何かは就役しないとすれば「夥しいけれど出身でない」ということは間違っている fact6: その地盤条件は実現し易くないとすると「このＮＧＯは夥しくてそれにそれは実現し易い」ということは偽である fact7: 「このＮＧＯは夥しいし加えて実現し易い」ということは成り立たないならあの特例法上は食料政策でない fact8: すべての物はＧ病院でないしその上それは発揮し難い fact9: もしもその割り箸が育て易くないしそれが麦藁帽であるということはないとするとその地盤条件は実現し易くない fact10: もし仮にその割り箸は妖異であるとすればそれは実現し易いということはない fact11: もし仮にあの特例法上がＧ病院でないが発揮し難いなら就役しない fact12: もしもなにかは病理学であるということはないならＧ病院でないか発揮し難くないか両方ともだ fact13: なにがしかのものは切迫でないならばそれは六等分する fact14: あの特例法上が発揮し難いならそれは実現し易くない fact15: あの特例法上は割り出せないし生み易くないならば病理学だということはない fact16: もし仮にある物が就役するということはないならば食料政策であるし出身である fact17: その地盤条件はＧ病院でない fact18: 仮にその割り箸が実現し易くないしおまけに食料政策でないとすればこのＮＧＯは妖異でない fact19: あの特例法上は妖異であるということはない fact20: その割り箸は妖異であるならばそれは育て易くなくてそれに麦藁帽でない fact21: 仮に「このＮＧＯは発揮し難いしおまけにそれは実現し易い」ということは確かでないとしたらあの特例法上は夥しいということはない fact22: もし仮にその地盤条件が妖異でなくてかつそれが実現し易くないとすればその割り箸は妖異である fact23: あの特例法上は麦藁帽でないがそれは発揮し難い ; $hypothesis$ = その割り箸は妖異だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その割り箸は妖異だ; fact20 & assump1 -> int1: その割り箸は育て易いということはなくて麦藁帽でない; int1 & fact9 -> int2: その地盤条件は実現し易いということはない; int2 & fact6 -> int3: 「このＮＧＯは夥しいし加えて実現し易い」ということは誤っている; int3 & fact7 -> int4: あの特例法上は食料政策であるということはない; fact16 -> int5: 仮にあの特例法上が就役しないならばそれは食料政策であるしそれに出身である; fact8 -> int6: あの特例法上はＧ病院でない一方で発揮し難い; fact11 & int6 -> int7: あの特例法上は就役しない; int5 & int7 -> int8: あの特例法上は食料政策であるし更に出身である; int8 -> int9: あの特例法上は食料政策である; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: もしもその割り箸がＧ病院だとしたらこの本道はＧ病院でない
事実2: もし仮にこのＮＧＯが食料政策だということはないならばあの地盤条件は妖異でないし実現し易くない
事実3: もしその割り箸が発揮し難いということはないし更にＧ病院でないとすればあの特例法上は育て易いということはない
事実4: 全ては脂っこくない
事実5: 仮に何かは就役しないとすれば「夥しいけれど出身でない」ということは間違っている
事実6: その地盤条件は実現し易くないとすると「このＮＧＯは夥しくてそれにそれは実現し易い」ということは偽である
事実7: 「このＮＧＯは夥しいし加えて実現し易い」ということは成り立たないならあの特例法上は食料政策でない
事実8: すべての物はＧ病院でないしその上それは発揮し難い
事実9: もしもその割り箸が育て易くないしそれが麦藁帽であるということはないとするとその地盤条件は実現し易くない
事実10: もし仮にその割り箸は妖異であるとすればそれは実現し易いということはない
事実11: もし仮にあの特例法上がＧ病院でないが発揮し難いなら就役しない
事実12: もしもなにかは病理学であるということはないならＧ病院でないか発揮し難くないか両方ともだ
事実13: なにがしかのものは切迫でないならばそれは六等分する
事実14: あの特例法上が発揮し難いならそれは実現し易くない
事実15: あの特例法上は割り出せないし生み易くないならば病理学だということはない
事実16: もし仮にある物が就役するということはないならば食料政策であるし出身である
事実17: その地盤条件はＧ病院でない
事実18: 仮にその割り箸が実現し易くないしおまけに食料政策でないとすればこのＮＧＯは妖異でない
事実19: あの特例法上は妖異であるということはない
事実20: その割り箸は妖異であるならばそれは育て易くなくてそれに麦藁帽でない
事実21: 仮に「このＮＧＯは発揮し難いしおまけにそれは実現し易い」ということは確かでないとしたらあの特例法上は夥しいということはない
事実22: もし仮にその地盤条件が妖異でなくてかつそれが実現し易くないとすればその割り箸は妖異である
事実23: あの特例法上は麦藁帽でないがそれは発揮し難い

仮説: その割り箸は妖異だ
1. 仮定1: 以下のように仮定する。その割り箸は妖異だ
2. 事実20と仮定1から、推論1: "その割り箸は育て易いということはなくて麦藁帽でない"が導かれる
3. 推論1と事実9から、推論2: "その地盤条件は実現し易いということはない"が導かれる
4. 推論2と事実6から、推論3: "「このＮＧＯは夥しいし加えて実現し易い」ということは誤っている"が導かれる
5. 推論3と事実7から、推論4: "あの特例法上は食料政策であるということはない"が導かれる
6. 事実16から、推論5: "仮にあの特例法上が就役しないならばそれは食料政策であるしそれに出身である"が導かれる
7. 事実8から、推論6: "あの特例法上はＧ病院でない一方で発揮し難い"が導かれる
8. 事実11と推論6から、推論7: "あの特例法上は就役しない"が導かれる
9. 推論5と推論7から、推論8: "あの特例法上は食料政策であるし更に出身である"が導かれる
10. 推論8から、推論9: "あの特例法上は食料政策である"が導かれる
11. 推論4と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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