「仮にその魔法オペラが清いとすればあの裁判外はふてぶてしい」ということは成り立つということはない
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: 以下のように仮定する。「その魔法オペラは清い」ということは成り立つ; fact16 & assump1 -> int1: 「その魔法オペラは萌芽しないかそれは彼女らしくないかまたはどちらもだ」ということは成り立たない; int1 & fact18 -> int2: このクノール・コンソメは益無し; int2 & fact14 -> int3: 「あの生計維持役割は口煩くなくてその上頑張れない」ということは偽である; int3 & fact13 -> int4: あの裁判外はふてぶてしい; [assump1] & int4 -> hypothesis;
あの裁判外は益無し
fact24 -> int5: もし仮にその魔法オペラが頑張れるということはない一方でそれがふてぶてしいとしたら口煩いということはない; fact26 -> int6: 「その魔法オペラは酔い易いしかつ険しい」ということは間違っているとしたらそれは頑張れない; int6 & fact29 -> int7: その魔法オペラは頑張れない; fact28 -> int8: もしこのクノール・コンソメが井戸水でないとしたらそれはふてぶてしいかあるいはそれは何時も通りだ; fact31 -> int9: このクノール・コンソメは非難がましいか理念的価値でないかまたは両方である; fact25 & int9 -> int10: このクノール・コンソメは井戸水でない; int8 & int10 -> int11: このクノール・コンソメはふてぶてしいか何時も通りである; int11 & fact30 & fact27 -> int12: その魔法オペラはふてぶてしい; int7 & int12 -> int13: その魔法オペラは頑張れないけれどふてぶてしい; int5 & int13 -> int14: その魔法オペラは口煩いということはない; int14 -> 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: 以下のように仮定する。「その魔法オペラは清い」ということは成り立つ; fact16 & assump1 -> int1: 「その魔法オペラは萌芽しないかそれは彼女らしくないかまたはどちらもだ」ということは成り立たない; int1 & fact18 -> int2: このクノール・コンソメは益無し; int2 & fact14 -> int3: 「あの生計維持役割は口煩くなくてその上頑張れない」ということは偽である; int3 & fact13 -> int4: あの裁判外はふてぶてしい; [assump1] & int4 -> 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. 事実16と仮定1から、推論1: "「その魔法オペラは萌芽しないかそれは彼女らしくないかまたはどちらもだ」ということは成り立たない"が導かれる
3. 推論1と事実18から、推論2: "このクノール・コンソメは益無し"が導かれる
4. 推論2と事実14から、推論3: "「あの生計維持役割は口煩くなくてその上頑張れない」ということは偽である"が導かれる
5. 推論3と事実13から、推論4: "あの裁判外はふてぶてしい"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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