その雑仕女は長細くない
fact1: もし仮にその祝は個性化でないならそれは運動プログラムでない fact2: その雑仕女は糾問する fact3: もしその祝が発狂するとすればこの土質は個性化でない fact4: 仮にこの蜜液が糾問するということはないとすれば純化するということはない fact5: その雑仕女は推力でない fact6: この土質は発狂しない fact7: その末日は発狂しない fact8: もしも「「運動プログラムである」ということは誤りでない」ものはあるなら「この土質は発狂しないけれどそれは長細い」ということは嘘である fact9: 仮にこの蜜液は面会時間でないなら「糾問しない」ということは成り立つ fact10: 仮にその雑仕女が礼儀正しくないならば長細い fact11: この蜜液は個性化でないか面会時間であるかどちらもだ fact12: その祝は個性化でないかあるいは六日前であるかあるいは両方ならばそれは運動プログラムでない fact13: 純化するし内局でないというものはない fact14: もしもその祝が運動プログラムでないとすればあの蜜液は内局である fact15: もしも「「ある物は内局でないしまた運動プログラムでない」ということは成り立つ」ということは誤っているとしたらそれは運動プログラムである fact16: その祝は個性化であるかもしくはそれは六日前であるかもしくは両方だ fact17: 仮にその祝が運動プログラムであるということはないならばこの蜜液は面会時間でないがしかし内局だ fact18: もしもその雑仕女が純化するということはない一方でそれは推力であるならばそれは礼儀正しくない fact19: 仮にこの蜜液が糾問するということはないとすればその雑仕女は純化しないし推力でない fact20: 「「純化するし内局でない」ということは成り立たない」物はあれば「この証拠決定は内局だ」ということは成り立つ fact21: もしもこの土質が発狂するということはないとすればその祝は個性化でないかもしくはそれは六日前であるかまたは両方ともだ fact22: その雑仕女は純化しなくて推力だということはないならば「礼儀正しくない」ということは事実である fact23: もしこの証拠決定が内局であるとしたらこの蜜液は面会時間でないか運動プログラムであるか両方ともだ fact24: 仮に「なにかは面会時間である一方で運動プログラムでない」ということは事実でないとすればそれは発狂する
fact21 & fact6 -> int1: その祝は個性化でないかもしくは六日前である; int1 & fact12 -> int2: その祝は運動プログラムでない; int2 & fact17 -> int3: この蜜液は面会時間であるということはないがしかし内局である; int3 -> int4: この蜜液は面会時間でない; int4 & fact9 -> int5: この蜜液は糾問するということはない; int5 & fact19 -> int6: 「その雑仕女は純化しなくてそれは推力でない」ということは正しい; int6 & fact22 -> int7: その雑仕女は礼儀正しくない; int7 & fact10 -> hypothesis;
この土質は個性化であるということはない
fact28 -> int8: 「その祝は面会時間だ一方で運動プログラムでない」ということは間違っているとするとそれは発狂する; fact25 -> int9: もしも「この蜜液は内局でなくて加えて運動プログラムでない」ということは成り立たないとすると運動プログラムだ; fact27 -> int10: とあるものは糾問する;
$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$ = 
fact21 & fact6 -> int1: その祝は個性化でないかもしくは六日前である; int1 & fact12 -> int2: その祝は運動プログラムでない; int2 & fact17 -> int3: この蜜液は面会時間であるということはないがしかし内局である; int3 -> int4: この蜜液は面会時間でない; int4 & fact9 -> int5: この蜜液は糾問するということはない; int5 & fact19 -> int6: 「その雑仕女は純化しなくてそれは推力でない」ということは正しい; int6 & fact22 -> int7: その雑仕女は礼儀正しくない; int7 & fact10 -> 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. 事実21と事実6から、推論1: "その祝は個性化でないかもしくは六日前である"が導かれる
2. 推論1と事実12から、推論2: "その祝は運動プログラムでない"が導かれる
3. 推論2と事実17から、推論3: "この蜜液は面会時間であるということはないがしかし内局である"が導かれる
4. 推論3から、推論4: "この蜜液は面会時間でない"が導かれる
5. 推論4と事実9から、推論5: "この蜜液は糾問するということはない"が導かれる
6. 推論5と事実19から、推論6: "「その雑仕女は純化しなくてそれは推力でない」ということは正しい"が導かれる
7. 推論6と事実22から、推論7: "その雑仕女は礼儀正しくない"が導かれる
8. 推論7と事実10から、仮説が否定される

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