このＤＤは帰隊する
fact1: もしこのＤＤが帰隊しないなら天狗らしいがしかし百姓らしくない fact2: あの国レベルは愛しない fact3: あの臍曲がりはうろうろし始めない fact4: この不景気は自由市場経済でない fact5: もしこのＤＤが御悪いとしたらあの臍曲がりは百姓らしい fact6: あの臍曲がりは愛しない fact7: 「あの臍曲がりはきもい」ということは事実であるとしたら「それはうろうろし始めないしさらに愛する」ということは成り立たない fact8: もしこのＤＤが天狗らしいならあの臍曲がりは御悪い fact9: もし仮になんらかのものが愛しないとすると御悪くなくてうろうろし始めない fact10: このＤＤは取り組まないししかもうろうろし始めない fact11: もしあの臍曲がりが愛しないとすればうろうろし始めない fact12: もし何らかのものがうろうろし始めるとしたらそれは御悪くないか帰隊しない fact13: もしこのＤＤは帰隊しないとすると「それは百姓らしくない」ということは事実だ fact14: もしも「何らかの物は自制しない」ということは成り立つとすれば御嫁さんでない fact15: もしもこのＤＤが御悪くなくてその上それが帰隊しないならばあの排ガス中は天狗らしくない fact16: あの臍曲がりは仲間意識でない fact17: もし仮になんらかの物は愛しないとすると「それはうろうろし始めるということはない」ということは成り立つ
void -> assump1: 以下のように仮定する。このＤＤは帰隊するということはない; fact1 & assump1 -> int1: このＤＤは天狗らしいけれどそれは百姓らしくない; int1 -> int2: このＤＤは天狗らしい; int2 & fact8 -> int3: あの臍曲がりは御悪い; fact9 -> int4: 仮にあの臍曲がりが愛するということはないとするとそれは御悪くないしかつそれはうろうろし始めない; fact6 & int4 -> int5: あの臍曲がりは御悪いということはなくてうろうろし始めない; int5 -> int6: あの臍曲がりは御悪くない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
あの排ガス中は天狗らしくない
$facts$ = fact1: もしこのＤＤが帰隊しないなら天狗らしいがしかし百姓らしくない fact2: あの国レベルは愛しない fact3: あの臍曲がりはうろうろし始めない fact4: この不景気は自由市場経済でない fact5: もしこのＤＤが御悪いとしたらあの臍曲がりは百姓らしい fact6: あの臍曲がりは愛しない fact7: 「あの臍曲がりはきもい」ということは事実であるとしたら「それはうろうろし始めないしさらに愛する」ということは成り立たない fact8: もしこのＤＤが天狗らしいならあの臍曲がりは御悪い fact9: もし仮になんらかのものが愛しないとすると御悪くなくてうろうろし始めない fact10: このＤＤは取り組まないししかもうろうろし始めない fact11: もしあの臍曲がりが愛しないとすればうろうろし始めない fact12: もし何らかのものがうろうろし始めるとしたらそれは御悪くないか帰隊しない fact13: もしこのＤＤは帰隊しないとすると「それは百姓らしくない」ということは事実だ fact14: もしも「何らかの物は自制しない」ということは成り立つとすれば御嫁さんでない fact15: もしもこのＤＤが御悪くなくてその上それが帰隊しないならばあの排ガス中は天狗らしくない fact16: あの臍曲がりは仲間意識でない fact17: もし仮になんらかの物は愛しないとすると「それはうろうろし始めるということはない」ということは成り立つ ; $hypothesis$ = このＤＤは帰隊する ; $proof$ = 
void -> assump1: 以下のように仮定する。このＤＤは帰隊するということはない; fact1 & assump1 -> int1: このＤＤは天狗らしいけれどそれは百姓らしくない; int1 -> int2: このＤＤは天狗らしい; int2 & fact8 -> int3: あの臍曲がりは御悪い; fact9 -> int4: 仮にあの臍曲がりが愛するということはないとするとそれは御悪くないしかつそれはうろうろし始めない; fact6 & int4 -> int5: あの臍曲がりは御悪いということはなくてうろうろし始めない; int5 -> int6: あの臍曲がりは御悪くない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしこのＤＤが帰隊しないなら天狗らしいがしかし百姓らしくない
事実2: あの国レベルは愛しない
事実3: あの臍曲がりはうろうろし始めない
事実4: この不景気は自由市場経済でない
事実5: もしこのＤＤが御悪いとしたらあの臍曲がりは百姓らしい
事実6: あの臍曲がりは愛しない
事実7: 「あの臍曲がりはきもい」ということは事実であるとしたら「それはうろうろし始めないしさらに愛する」ということは成り立たない
事実8: もしこのＤＤが天狗らしいならあの臍曲がりは御悪い
事実9: もし仮になんらかのものが愛しないとすると御悪くなくてうろうろし始めない
事実10: このＤＤは取り組まないししかもうろうろし始めない
事実11: もしあの臍曲がりが愛しないとすればうろうろし始めない
事実12: もし何らかのものがうろうろし始めるとしたらそれは御悪くないか帰隊しない
事実13: もしこのＤＤは帰隊しないとすると「それは百姓らしくない」ということは事実だ
事実14: もしも「何らかの物は自制しない」ということは成り立つとすれば御嫁さんでない
事実15: もしもこのＤＤが御悪くなくてその上それが帰隊しないならばあの排ガス中は天狗らしくない
事実16: あの臍曲がりは仲間意識でない
事実17: もし仮になんらかの物は愛しないとすると「それはうろうろし始めるということはない」ということは成り立つ

仮説: このＤＤは帰隊する
1. 仮定1: 以下のように仮定する。このＤＤは帰隊するということはない
2. 事実1と仮定1から、推論1: "このＤＤは天狗らしいけれどそれは百姓らしくない"が導かれる
3. 推論1から、推論2: "このＤＤは天狗らしい"が導かれる
4. 推論2と事実8から、推論3: "あの臍曲がりは御悪い"が導かれる
5. 事実9から、推論4: "仮にあの臍曲がりが愛するということはないとするとそれは御悪くないしかつそれはうろうろし始めない"が導かれる
6. 事実6と推論4から、推論5: "あの臍曲がりは御悪いということはなくてうろうろし始めない"が導かれる
7. 推論5から、推論6: "あの臍曲がりは御悪くない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

よって、仮説が証明されました。