「もし仮にこの常習性が生まれないとすればあの電気室は同化するしかつ物珍しい」ということは成り立たない
fact1: もしも「あの二重発券は同化するが物珍しくない」ということは誤っているとしたら「その球戯は語れない」ということは偽でない fact2: もしもなんらかの物は熟考するということはないなら「それは凄くないし更にそれは住み易いということはない」ということは成り立たない fact3: 仮にこの電気室は語れないなら「それは同化する」ということは成り立つ fact4: もし仮にこの常習性は生まれるなら「この電気室は同化するし物珍しい」ということは間違いでない fact5: もし仮にその球戯が語れないならこの電気室は住み易いし更にそれは凄い fact6: 熱苦しい物は物珍しい fact7: その偶有性は生まれる fact8: もし仮にこの電気室が住み易いならこの常習性が熟考しないしさらに生易しくない fact9: この常習性が熟考しないしそれに生易しいということはないならば「この平均寿命は生易しくない」ということは本当である fact10: もしも「とある物は凄いということはないし更に住み易くない」ということは確かでないなら語れない fact11: 仮になんらかの物は熟考するということはないとしたら「それは凄くないし加えてそれは住み易い」ということは成り立たない fact12: 「この電気室は凄いけど住み易くない」ということは事実と異なる fact13: 仮に「なんらかのものは生まれるしまた熱苦しい」ということは間違っていればそれは熱苦しくない fact14: 「この電気室は凄くないけれど住み易い」ということは偽である fact15: この常習性は凄い fact16: 仮に「この電気室は生易しいということはない」ということは嘘でないならばそれは熟考しない fact17: この電気室は熱苦しい fact18: ある物は熟考しないとすれば「凄いししかも住み易くない」ということは間違いである fact19: もしこの電気室は熟考しないなら「凄くなくておまけにそれは住み易い」ということは成り立たない fact20: もしも「この常習性は生まれない」ということは事実であるとすればこの電気室は生易しくない fact21: もしこの電気室は熟考するということはないとしたら「それは凄くてそれは住み易いということはない」ということは本当でない fact22: この常習性が生まれるとするとこの電気室は生易しいということはない
void -> assump1: 以下のように仮定する。この常習性は生まれない; fact20 & assump1 -> int1: この電気室は生易しいということはない; int1 & fact16 -> int2: この電気室は熟考しない; fact2 -> int3: もし仮にこの電気室は熟考するということはないとしたら「それは凄くないし住み易くない」ということは成り立たない; int2 & int3 -> int4: 「この電気室は凄いということはなくて住み易くない」ということは成り立たない; fact10 -> int5: 仮に「この電気室は凄くないしまたそれは住み易くない」ということは成り立つということはないとするとそれは語れない; int4 & int5 -> int6: この電気室は語れない; int6 & fact3 -> int7: この電気室は同化する; fact6 -> int8: もし仮にこの電気室は熱苦しいならば「それは物珍しい」ということは事実だ; fact17 & int8 -> int9: この電気室は物珍しい; int7 & int9 -> int10: この電気室は同化するしさらに物珍しい; [assump1] & int10 -> hypothesis;
この平均寿命は熱苦しくない
fact27 -> int11: もし「この平均寿命は生まれるしそれは熱苦しい」ということは成り立たないなら熱苦しいということはない;
$facts$ = fact1: もしも「あの二重発券は同化するが物珍しくない」ということは誤っているとしたら「その球戯は語れない」ということは偽でない fact2: もしもなんらかの物は熟考するということはないなら「それは凄くないし更にそれは住み易いということはない」ということは成り立たない fact3: 仮にこの電気室は語れないなら「それは同化する」ということは成り立つ fact4: もし仮にこの常習性は生まれるなら「この電気室は同化するし物珍しい」ということは間違いでない fact5: もし仮にその球戯が語れないならこの電気室は住み易いし更にそれは凄い fact6: 熱苦しい物は物珍しい fact7: その偶有性は生まれる fact8: もし仮にこの電気室が住み易いならこの常習性が熟考しないしさらに生易しくない fact9: この常習性が熟考しないしそれに生易しいということはないならば「この平均寿命は生易しくない」ということは本当である fact10: もしも「とある物は凄いということはないし更に住み易くない」ということは確かでないなら語れない fact11: 仮になんらかの物は熟考するということはないとしたら「それは凄くないし加えてそれは住み易い」ということは成り立たない fact12: 「この電気室は凄いけど住み易くない」ということは事実と異なる fact13: 仮に「なんらかのものは生まれるしまた熱苦しい」ということは間違っていればそれは熱苦しくない fact14: 「この電気室は凄くないけれど住み易い」ということは偽である fact15: この常習性は凄い fact16: 仮に「この電気室は生易しいということはない」ということは嘘でないならばそれは熟考しない fact17: この電気室は熱苦しい fact18: ある物は熟考しないとすれば「凄いししかも住み易くない」ということは間違いである fact19: もしこの電気室は熟考しないなら「凄くなくておまけにそれは住み易い」ということは成り立たない fact20: もしも「この常習性は生まれない」ということは事実であるとすればこの電気室は生易しくない fact21: もしこの電気室は熟考するということはないとしたら「それは凄くてそれは住み易いということはない」ということは本当でない fact22: この常習性が生まれるとするとこの電気室は生易しいということはない ; $hypothesis$ = 「もし仮にこの常習性が生まれないとすればあの電気室は同化するしかつ物珍しい」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この常習性は生まれない; fact20 & assump1 -> int1: この電気室は生易しいということはない; int1 & fact16 -> int2: この電気室は熟考しない; fact2 -> int3: もし仮にこの電気室は熟考するということはないとしたら「それは凄くないし住み易くない」ということは成り立たない; int2 & int3 -> int4: 「この電気室は凄いということはなくて住み易くない」ということは成り立たない; fact10 -> int5: 仮に「この電気室は凄くないしまたそれは住み易くない」ということは成り立つということはないとするとそれは語れない; int4 & int5 -> int6: この電気室は語れない; int6 & fact3 -> int7: この電気室は同化する; fact6 -> int8: もし仮にこの電気室は熱苦しいならば「それは物珍しい」ということは事実だ; fact17 & int8 -> int9: この電気室は物珍しい; int7 & int9 -> int10: この電気室は同化するしさらに物珍しい; [assump1] & int10 -> hypothesis; __DISPROVED__
事実1: もしも「あの二重発券は同化するが物珍しくない」ということは誤っているとしたら「その球戯は語れない」ということは偽でない
事実2: もしもなんらかの物は熟考するということはないなら「それは凄くないし更にそれは住み易いということはない」ということは成り立たない
事実3: 仮にこの電気室は語れないなら「それは同化する」ということは成り立つ
事実4: もし仮にこの常習性は生まれるなら「この電気室は同化するし物珍しい」ということは間違いでない
事実5: もし仮にその球戯が語れないならこの電気室は住み易いし更にそれは凄い
事実6: 熱苦しい物は物珍しい
事実7: その偶有性は生まれる
事実8: もし仮にこの電気室が住み易いならこの常習性が熟考しないしさらに生易しくない
事実9: この常習性が熟考しないしそれに生易しいということはないならば「この平均寿命は生易しくない」ということは本当である
事実10: もしも「とある物は凄いということはないし更に住み易くない」ということは確かでないなら語れない
事実11: 仮になんらかの物は熟考するということはないとしたら「それは凄くないし加えてそれは住み易い」ということは成り立たない
事実12: 「この電気室は凄いけど住み易くない」ということは事実と異なる
事実13: 仮に「なんらかのものは生まれるしまた熱苦しい」ということは間違っていればそれは熱苦しくない
事実14: 「この電気室は凄くないけれど住み易い」ということは偽である
事実15: この常習性は凄い
事実16: 仮に「この電気室は生易しいということはない」ということは嘘でないならばそれは熟考しない
事実17: この電気室は熱苦しい
事実18: ある物は熟考しないとすれば「凄いししかも住み易くない」ということは間違いである
事実19: もしこの電気室は熟考しないなら「凄くなくておまけにそれは住み易い」ということは成り立たない
事実20: もしも「この常習性は生まれない」ということは事実であるとすればこの電気室は生易しくない
事実21: もしこの電気室は熟考するということはないとしたら「それは凄くてそれは住み易いということはない」ということは本当でない
事実22: この常習性が生まれるとするとこの電気室は生易しいということはない

仮説: 「もし仮にこの常習性が生まれないとすればあの電気室は同化するしかつ物珍しい」ということは成り立たない
1. 仮定1: 以下のように仮定する。この常習性は生まれない
2. 事実20と仮定1から、推論1: "この電気室は生易しいということはない"が導かれる
3. 推論1と事実16から、推論2: "この電気室は熟考しない"が導かれる
4. 事実2から、推論3: "もし仮にこの電気室は熟考するということはないとしたら「それは凄くないし住み易くない」ということは成り立たない"が導かれる
5. 推論2と推論3から、推論4: "「この電気室は凄いということはなくて住み易くない」ということは成り立たない"が導かれる
6. 事実10から、推論5: "仮に「この電気室は凄くないしまたそれは住み易くない」ということは成り立つということはないとするとそれは語れない"が導かれる
7. 推論4と推論5から、推論6: "この電気室は語れない"が導かれる
8. 推論6と事実3から、推論7: "この電気室は同化する"が導かれる
9. 事実6から、推論8: "もし仮にこの電気室は熱苦しいならば「それは物珍しい」ということは事実だ"が導かれる
10. 事実17と推論8から、推論9: "この電気室は物珍しい"が導かれる
11. 推論7と推論9から、推論10: "この電気室は同化するしさらに物珍しい"が導かれる
12. [仮定1]と推論10から、仮説が否定される

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