この設立当初はリセットしない
fact1: この設立当初は寝泊まりしない fact2: あの空き缶・ペットボトル回収機は尽くし難い fact3: この設立当初は無益性でない fact4: この設立当初は滅しない fact5: あの冷風は無益性でないし寝泊まりしない fact6: あの空き缶・ペットボトル回収機は寝泊まりするし敢え無い fact7: あの空き缶・ペットボトル回収機が寝泊まりするとしたらこの設立当初は接近し易くないしそれは会長室でない fact8: この設立当初が接近し易くないけどリセットするとしたらあの社員税理士は御答え出来ない fact9: あの空き缶・ペットボトル回収機は御答え出来ない fact10: あの社員税理士は寝泊まりする fact11: あの社員税理士は御答え出来る fact12: その企業固有は一服するということはないけれど会長室だ fact13: あの八軒は寝泊まりしない fact14: もしもこの設立当初が敢え無いとしたらあの空き缶・ペットボトル回収機は寝泊まりしないしおまけにリセットしない fact15: この設立当初は御答え出来る fact16: あの空き缶・ペットボトル回収機は会長室である fact17: 「あの社員税理士は会長室である」ということは本当である fact18: もしある物が寝泊まりするとすればそれはリセットする fact19: あの社員税理士は回し掛けるということはない
fact6 -> int1: あの空き缶・ペットボトル回収機は寝泊まりする; int1 & fact7 -> int2: この設立当初は接近し易くないしその上それは会長室でない; int2 -> int3: この設立当初は接近し易くない; void -> assump1: 以下のように仮定する。この設立当初はリセットする; int3 & assump1 -> int4: この設立当初は接近し易くないがしかしそれはリセットする; int4 & fact8 -> int5: あの社員税理士は御答え出来ない; int5 & fact11 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この設立当初はリセットする
fact20 -> int7: もしもこの設立当初が寝泊まりするとするとそれはリセットする;
$facts$ = fact1: この設立当初は寝泊まりしない fact2: あの空き缶・ペットボトル回収機は尽くし難い fact3: この設立当初は無益性でない fact4: この設立当初は滅しない fact5: あの冷風は無益性でないし寝泊まりしない fact6: あの空き缶・ペットボトル回収機は寝泊まりするし敢え無い fact7: あの空き缶・ペットボトル回収機が寝泊まりするとしたらこの設立当初は接近し易くないしそれは会長室でない fact8: この設立当初が接近し易くないけどリセットするとしたらあの社員税理士は御答え出来ない fact9: あの空き缶・ペットボトル回収機は御答え出来ない fact10: あの社員税理士は寝泊まりする fact11: あの社員税理士は御答え出来る fact12: その企業固有は一服するということはないけれど会長室だ fact13: あの八軒は寝泊まりしない fact14: もしもこの設立当初が敢え無いとしたらあの空き缶・ペットボトル回収機は寝泊まりしないしおまけにリセットしない fact15: この設立当初は御答え出来る fact16: あの空き缶・ペットボトル回収機は会長室である fact17: 「あの社員税理士は会長室である」ということは本当である fact18: もしある物が寝泊まりするとすればそれはリセットする fact19: あの社員税理士は回し掛けるということはない ; $hypothesis$ = この設立当初はリセットしない ; $proof$ = 
fact6 -> int1: あの空き缶・ペットボトル回収機は寝泊まりする; int1 & fact7 -> int2: この設立当初は接近し易くないしその上それは会長室でない; int2 -> int3: この設立当初は接近し易くない; void -> assump1: 以下のように仮定する。この設立当初はリセットする; int3 & assump1 -> int4: この設立当初は接近し易くないがしかしそれはリセットする; int4 & fact8 -> int5: あの社員税理士は御答え出来ない; int5 & fact11 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __PROVED__
事実1: この設立当初は寝泊まりしない
事実2: あの空き缶・ペットボトル回収機は尽くし難い
事実3: この設立当初は無益性でない
事実4: この設立当初は滅しない
事実5: あの冷風は無益性でないし寝泊まりしない
事実6: あの空き缶・ペットボトル回収機は寝泊まりするし敢え無い
事実7: あの空き缶・ペットボトル回収機が寝泊まりするとしたらこの設立当初は接近し易くないしそれは会長室でない
事実8: この設立当初が接近し易くないけどリセットするとしたらあの社員税理士は御答え出来ない
事実9: あの空き缶・ペットボトル回収機は御答え出来ない
事実10: あの社員税理士は寝泊まりする
事実11: あの社員税理士は御答え出来る
事実12: その企業固有は一服するということはないけれど会長室だ
事実13: あの八軒は寝泊まりしない
事実14: もしもこの設立当初が敢え無いとしたらあの空き缶・ペットボトル回収機は寝泊まりしないしおまけにリセットしない
事実15: この設立当初は御答え出来る
事実16: あの空き缶・ペットボトル回収機は会長室である
事実17: 「あの社員税理士は会長室である」ということは本当である
事実18: もしある物が寝泊まりするとすればそれはリセットする
事実19: あの社員税理士は回し掛けるということはない

仮説: この設立当初はリセットしない
1. 事実6から、推論1: "あの空き缶・ペットボトル回収機は寝泊まりする"が導かれる
2. 推論1と事実7から、推論2: "この設立当初は接近し易くないしその上それは会長室でない"が導かれる
3. 推論2から、推論3: "この設立当初は接近し易くない"が導かれる
4. 仮定1: 以下のように仮定する。この設立当初はリセットする
5. 推論3と仮定1から、推論4: "この設立当初は接近し易くないがしかしそれはリセットする"が導かれる
6. 推論4と事実8から、推論5: "あの社員税理士は御答え出来ない"が導かれる
7. 推論5と事実11から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が導かれる

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