「あの物入れは御辞儀する」ということは確かだ
fact1: 「あのＤＡＩＳＹ・コックスは心細くないし更にさもしいということはない」ということは間違っている fact2: 「公開株式等でない」物はある fact3: あの物入れは農協共済だ fact4: あの物入れは見なし時間であるしそれは細長い fact5: もしもあのＤＡＩＳＹ・コックスはバニラシュガーであるしかつ御辞儀するとすると「それは心細くない」ということは成り立つ fact6: もしも「なにがしかのものは御辞儀する」ということは成り立てば「「それは甘酸っぱいということはないしまた心細いということはない」ということは事実だ」ということは成り立たない fact7: 「積み込まない」物はある fact8: もし「公開株式等でない」ものがあるとすればあの物入れは調節する fact9: もしも「あのＤＡＩＳＹ・コックスが心細くないしさらにそれはさもしくない」ということは事実でないならあの物入れはバニラシュガーである fact10: 仮に「なにかは公開株式等であるし更にそれは合成する」ということは成り立つということはないとするとそれは公開株式等でない fact11: もしもあのＤＡＩＳＹ・コックスはバニラシュガーであるししかもさもしいとするとそれは調節しない fact12: 「あのＤＡＩＳＹ・コックスは調節するということはない一方で心細い」ということは間違っている fact13: もし仮にバニラシュガーが御辞儀するとしたら調節しない fact14: もしも「その武将達は公開株式等でない」ということは成り立つならバニラシュガーであるかもしくは調節するかどちらもである fact15: 「あの物入れは心細くなくてそれは御辞儀しない」ということは偽であるならあのＤＡＩＳＹ・コックスは調節する
fact9 & fact1 -> int1: あの物入れはバニラシュガーだ; void -> assump1: 以下のように仮定する。「あの物入れは御辞儀する」ということは事実だ; int1 & assump1 -> int2: あの物入れはバニラシュガーであるしそれにそれは御辞儀する; fact13 -> int3: あの物入れがバニラシュガーであるしおまけに御辞儀するならそれは調節しない; int2 & int3 -> int4: あの物入れは調節しない; fact8 & fact2 -> int5: 「あの物入れは調節しない」ということは偽である; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
「その武将達は甘酸っぱくないし心細くない」ということは誤りだ
fact16 -> int7: もし仮にその武将達は御辞儀するなら「甘酸っぱくないし心細くない」ということは嘘だ; fact18 -> int8: もし仮に「その武将達は公開株式等であるしおまけにそれは合成する」ということは嘘であるならそれは公開株式等でない;
$facts$ = fact1: 「あのＤＡＩＳＹ・コックスは心細くないし更にさもしいということはない」ということは間違っている fact2: 「公開株式等でない」物はある fact3: あの物入れは農協共済だ fact4: あの物入れは見なし時間であるしそれは細長い fact5: もしもあのＤＡＩＳＹ・コックスはバニラシュガーであるしかつ御辞儀するとすると「それは心細くない」ということは成り立つ fact6: もしも「なにがしかのものは御辞儀する」ということは成り立てば「「それは甘酸っぱいということはないしまた心細いということはない」ということは事実だ」ということは成り立たない fact7: 「積み込まない」物はある fact8: もし「公開株式等でない」ものがあるとすればあの物入れは調節する fact9: もしも「あのＤＡＩＳＹ・コックスが心細くないしさらにそれはさもしくない」ということは事実でないならあの物入れはバニラシュガーである fact10: 仮に「なにかは公開株式等であるし更にそれは合成する」ということは成り立つということはないとするとそれは公開株式等でない fact11: もしもあのＤＡＩＳＹ・コックスはバニラシュガーであるししかもさもしいとするとそれは調節しない fact12: 「あのＤＡＩＳＹ・コックスは調節するということはない一方で心細い」ということは間違っている fact13: もし仮にバニラシュガーが御辞儀するとしたら調節しない fact14: もしも「その武将達は公開株式等でない」ということは成り立つならバニラシュガーであるかもしくは調節するかどちらもである fact15: 「あの物入れは心細くなくてそれは御辞儀しない」ということは偽であるならあのＤＡＩＳＹ・コックスは調節する ; $hypothesis$ = 「あの物入れは御辞儀する」ということは確かだ ; $proof$ = 
fact9 & fact1 -> int1: あの物入れはバニラシュガーだ; void -> assump1: 以下のように仮定する。「あの物入れは御辞儀する」ということは事実だ; int1 & assump1 -> int2: あの物入れはバニラシュガーであるしそれにそれは御辞儀する; fact13 -> int3: あの物入れがバニラシュガーであるしおまけに御辞儀するならそれは調節しない; int2 & int3 -> int4: あの物入れは調節しない; fact8 & fact2 -> int5: 「あの物入れは調節しない」ということは偽である; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 「あのＤＡＩＳＹ・コックスは心細くないし更にさもしいということはない」ということは間違っている
事実2: 「公開株式等でない」物はある
事実3: あの物入れは農協共済だ
事実4: あの物入れは見なし時間であるしそれは細長い
事実5: もしもあのＤＡＩＳＹ・コックスはバニラシュガーであるしかつ御辞儀するとすると「それは心細くない」ということは成り立つ
事実6: もしも「なにがしかのものは御辞儀する」ということは成り立てば「「それは甘酸っぱいということはないしまた心細いということはない」ということは事実だ」ということは成り立たない
事実7: 「積み込まない」物はある
事実8: もし「公開株式等でない」ものがあるとすればあの物入れは調節する
事実9: もしも「あのＤＡＩＳＹ・コックスが心細くないしさらにそれはさもしくない」ということは事実でないならあの物入れはバニラシュガーである
事実10: 仮に「なにかは公開株式等であるし更にそれは合成する」ということは成り立つということはないとするとそれは公開株式等でない
事実11: もしもあのＤＡＩＳＹ・コックスはバニラシュガーであるししかもさもしいとするとそれは調節しない
事実12: 「あのＤＡＩＳＹ・コックスは調節するということはない一方で心細い」ということは間違っている
事実13: もし仮にバニラシュガーが御辞儀するとしたら調節しない
事実14: もしも「その武将達は公開株式等でない」ということは成り立つならバニラシュガーであるかもしくは調節するかどちらもである
事実15: 「あの物入れは心細くなくてそれは御辞儀しない」ということは偽であるならあのＤＡＩＳＹ・コックスは調節する

仮説: 「あの物入れは御辞儀する」ということは確かだ
1. 事実9と事実1から、推論1: "あの物入れはバニラシュガーだ"が導かれる
2. 仮定1: 以下のように仮定する。「あの物入れは御辞儀する」ということは事実だ
3. 推論1と仮定1から、推論2: "あの物入れはバニラシュガーであるしそれにそれは御辞儀する"が導かれる
4. 事実13から、推論3: "あの物入れがバニラシュガーであるしおまけに御辞儀するならそれは調節しない"が導かれる
5. 推論2と推論3から、推論4: "あの物入れは調節しない"が導かれる
6. 事実8と事実2から、推論5: "「あの物入れは調節しない」ということは偽である"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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