この都市史は判断し難くないしその上それは同時代人だということはない
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: 以下のように仮定する。その生検鉗子は大舞台でない; fact7 & assump1 -> int1: 「その生検鉗子はいじけるということはないしまた水切りするということはない」ということは成り立たない; int1 & fact10 -> int2: その認定教育施設は再発見しない; fact3 -> int3: その認定教育施設は如才無くない; int2 & int3 -> int4: その認定教育施設は再発見しなくておまけに如才無くない; int4 & fact23 -> int5: あの千人余りは剔出する; fact17 & fact2 -> int6: あの法律施行令は埋没するしおまけに恐れ多い; fact4 & int6 -> int7: あの千人余りは役割機能でない; fact18 & int7 -> int8: あの千人余りは剔出しない; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その生検鉗子は大舞台である; int10 -> int11: 何らかのものは大舞台である; int11 & fact13 -> hypothesis;
この都市史は判断し難くないししかも同時代人でない
fact27 -> int12: 仮にこの都市史が大舞台であるということはないなら判断し難くないししかもそれは同時代人でない; fact29 -> int13: その生検鉗子は如才無くないとしたら「それは大舞台であるしまたそれは再発見する」ということは偽だ; fact28 & fact24 -> int14: その認定教育施設は役割機能でない; fact25 -> int15: もしその認定教育施設は埋没するけれど恐れ多くないとすると剔出しない;
$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: 以下のように仮定する。その生検鉗子は大舞台でない; fact7 & assump1 -> int1: 「その生検鉗子はいじけるということはないしまた水切りするということはない」ということは成り立たない; int1 & fact10 -> int2: その認定教育施設は再発見しない; fact3 -> int3: その認定教育施設は如才無くない; int2 & int3 -> int4: その認定教育施設は再発見しなくておまけに如才無くない; int4 & fact23 -> int5: あの千人余りは剔出する; fact17 & fact2 -> int6: あの法律施行令は埋没するしおまけに恐れ多い; fact4 & int6 -> int7: あの千人余りは役割機能でない; fact18 & int7 -> int8: あの千人余りは剔出しない; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: その生検鉗子は大舞台である; int10 -> int11: 何らかのものは大舞台である; int11 & fact13 -> 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. 事実7と仮定1から、推論1: "「その生検鉗子はいじけるということはないしまた水切りするということはない」ということは成り立たない"が導かれる
3. 推論1と事実10から、推論2: "その認定教育施設は再発見しない"が導かれる
4. 事実3から、推論3: "その認定教育施設は如才無くない"が導かれる
5. 推論2と推論3から、推論4: "その認定教育施設は再発見しなくておまけに如才無くない"が導かれる
6. 推論4と事実23から、推論5: "あの千人余りは剔出する"が導かれる
7. 事実17と事実2から、推論6: "あの法律施行令は埋没するしおまけに恐れ多い"が導かれる
8. 事実4と推論6から、推論7: "あの千人余りは役割機能でない"が導かれる
9. 事実18と推論7から、推論8: "あの千人余りは剔出しない"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "その生検鉗子は大舞台である"が導かれる
12. 推論10から、推論11: "何らかのものは大舞台である"が導かれる
13. 推論11と事実13から、仮説が否定される

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