あの間接税額控除は殉職しない
fact1: この姦通罪は新参でないとすれば「それは確認・設定しない一方で睨み付ける」ということは誤っている fact2: あの間接税額控除は睨み付けない fact3: 用心深い物は打ち当てるということはない fact4: 高齢世代は睨み付けるということはないししかも確認・設定しない fact5: この姦通罪は育成する fact6: もし仮に「忘れ難いということはない」ものはあるなら「この雑則は高齢世代で更にそれは殉職する」ということは嘘だ fact7: 仮にこの雑則が新参でないとしたらあの間接税額控除は殉職する fact8: 仮にこの姦通罪が育成するならこの雑則は育成する fact9: この姦通罪は新参でない fact10: その二十年以内は高齢世代だ fact11: 「この姦通罪は恐れ多くない」ということは本当だ fact12: この姦通罪は直り難い fact13: この姦通罪は確認・設定する fact14: この雑則は忘れ難くてそれは高齢世代である fact15: そのＨ二Ｓは育成する fact16: もしこの姦通罪が睨み付けないとするとこの雑則は育成する fact17: もしもこの姦通罪は北陸路でないけれど育成するとすればそれは新参であるということはない fact18: この雑則は確認・設定するということはない一方で忘れ難いならばそれは殉職しない fact19: 仮にこの雑則が殉職しないとすればあの間接税額控除は忘れ難い fact20: もしも「この雑則は睨み付ける」ということは成り立てばあの間接税額控除は睨み付ける fact21: もし仮になにかは確認・設定しないけど新参であるならば「育成するということはない」ということは誤りでない fact22: あの間接税額控除は高齢世代でない fact23: 高齢世代は睨み付けない fact24: もしもこの雑則が高齢世代だとしたらそれは睨み付けない
fact14 -> int1: この雑則は高齢世代だ; fact4 -> int2: もし仮にこの雑則が高齢世代ならそれは睨み付けないし加えて確認・設定しない; int1 & int2 -> int3: この雑則は睨み付けないし加えて確認・設定しない; int3 -> int4: この雑則は確認・設定するということはない; void -> assump1: 以下のように仮定する。この雑則は新参である; int4 & assump1 -> int5: この雑則は確認・設定しないが新参だ; fact21 -> int6: 仮に「この雑則は確認・設定するということはないがそれは新参だ」ということは成り立てば育成するということはない; int5 & int6 -> int7: この雑則は育成するということはない; fact5 & fact8 -> int8: この雑則は育成する; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この雑則は新参でない; int10 & fact7 -> 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: 高齢世代は睨み付けない fact24: もしもこの雑則が高齢世代だとしたらそれは睨み付けない ; $hypothesis$ = あの間接税額控除は殉職しない ; $proof$ = 
fact14 -> int1: この雑則は高齢世代だ; fact4 -> int2: もし仮にこの雑則が高齢世代ならそれは睨み付けないし加えて確認・設定しない; int1 & int2 -> int3: この雑則は睨み付けないし加えて確認・設定しない; int3 -> int4: この雑則は確認・設定するということはない; void -> assump1: 以下のように仮定する。この雑則は新参である; int4 & assump1 -> int5: この雑則は確認・設定しないが新参だ; fact21 -> int6: 仮に「この雑則は確認・設定するということはないがそれは新参だ」ということは成り立てば育成するということはない; int5 & int6 -> int7: この雑則は育成するということはない; fact5 & fact8 -> int8: この雑則は育成する; int7 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この雑則は新参でない; int10 & fact7 -> 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: 高齢世代は睨み付けない
事実24: もしもこの雑則が高齢世代だとしたらそれは睨み付けない

仮説: あの間接税額控除は殉職しない
1. 事実14から、推論1: "この雑則は高齢世代だ"が導かれる
2. 事実4から、推論2: "もし仮にこの雑則が高齢世代ならそれは睨み付けないし加えて確認・設定しない"が導かれる
3. 推論1と推論2から、推論3: "この雑則は睨み付けないし加えて確認・設定しない"が導かれる
4. 推論3から、推論4: "この雑則は確認・設定するということはない"が導かれる
5. 仮定1: 以下のように仮定する。この雑則は新参である
6. 推論4と仮定1から、推論5: "この雑則は確認・設定しないが新参だ"が導かれる
7. 事実21から、推論6: "仮に「この雑則は確認・設定するということはないがそれは新参だ」ということは成り立てば育成するということはない"が導かれる
8. 推論5と推論6から、推論7: "この雑則は育成するということはない"が導かれる
9. 事実5と事実8から、推論8: "この雑則は育成する"が導かれる
10. 推論7と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この雑則は新参でない"が導かれる
12. 推論10と事実7から、仮説が否定される

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