「その愛国婦人会は医師側でないがそれはむさくるしい」ということは本当でない
fact1: もし仮に「そのＰ波は四半世紀前であるということはない」ということは成り立つとすればそれは各集団だけれど思しということはない fact2: そのＰ波がこかすとするとそれはむさくるしいということはない fact3: あの惟長は思しけれど派生系でない fact4: もし何らかの物は苛々するか森政権であるかあるいは両方ともだとしたら勘違いし易くない fact5: すこくないものは医師側でないけどむさくるしい fact6: 「絶え間無い」ものはある fact7: その愛国婦人会は各集団だけれど医師側だということはない fact8: 仮にとあるものは復員するとすると「その愛国婦人会は医師側でないけれどむさくるしい」ということは偽である fact9: 「あの片手は各集団だ」ということは真実だ fact10: その愛国婦人会は観察ポイントでない fact11: その愛国婦人会は医師側であるなら観察ポイントでない fact12: そのＰ波はすこいし加えてそれはこかす fact13: もしもあの片手が絶え間無いとしたら復員する fact14: もしそのＰ波が各集団だけどそれが思しないならあの片手は絶え間無い fact15: 「その愛国婦人会は復員しない一方でそれは医師側だ」ということは成り立たない fact16: その愛国婦人会は四半世紀前だしさらに軟らかい fact17: もしもそのＰ波がむさくるしいとしたら四半世紀前でない fact18: もし仮にそのＰ波は医師側でないとしたら四半世紀前でない fact19: あの片手は医師側であるかもしくは復員する fact20: 仮になんらかの物がこかすかもしくはそれは観察ポイントであるとすればそれは四半世紀前でない fact21: 「その手配は押し売りするしそれにそれは絶え間無い」ということは成り立たない fact22: あの片手はむさくるしい fact23: あの片手は観察ポイントである fact24: もし仮にそのＰ波は思しかあるいは復員するとしたら医師側でない
fact12 -> int1: そのＰ波はこかす; int1 -> int2: そのＰ波はこかすかあるいはそれは観察ポイントであるかまたは両方だ; fact20 -> int3: 仮にそのＰ波がこかすかあるいは観察ポイントであるか両方ならばそれは四半世紀前でない; int2 & int3 -> int4: そのＰ波は四半世紀前でない; int4 & fact1 -> int5: そのＰ波は各集団であるがしかしそれは思しない; int5 & fact14 -> int6: あの片手は絶え間無い; int6 & fact13 -> int7: あの片手は復員する; int7 -> int8: 「復員する」ものはある; int8 & fact8 -> hypothesis;
その愛国婦人会は医師側でないがしかしむさくるしい
fact25 -> int9: その愛国婦人会がすこくないなら医師側でなくてむさくるしい;
$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$ = 
fact12 -> int1: そのＰ波はこかす; int1 -> int2: そのＰ波はこかすかあるいはそれは観察ポイントであるかまたは両方だ; fact20 -> int3: 仮にそのＰ波がこかすかあるいは観察ポイントであるか両方ならばそれは四半世紀前でない; int2 & int3 -> int4: そのＰ波は四半世紀前でない; int4 & fact1 -> int5: そのＰ波は各集団であるがしかしそれは思しない; int5 & fact14 -> int6: あの片手は絶え間無い; int6 & fact13 -> int7: あの片手は復員する; int7 -> int8: 「復員する」ものはある; int8 & fact8 -> hypothesis; __PROVED__
事実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. 事実12から、推論1: "そのＰ波はこかす"が導かれる
2. 推論1から、推論2: "そのＰ波はこかすかあるいはそれは観察ポイントであるかまたは両方だ"が導かれる
3. 事実20から、推論3: "仮にそのＰ波がこかすかあるいは観察ポイントであるか両方ならばそれは四半世紀前でない"が導かれる
4. 推論2と推論3から、推論4: "そのＰ波は四半世紀前でない"が導かれる
5. 推論4と事実1から、推論5: "そのＰ波は各集団であるがしかしそれは思しない"が導かれる
6. 推論5と事実14から、推論6: "あの片手は絶え間無い"が導かれる
7. 推論6と事実13から、推論7: "あの片手は復員する"が導かれる
8. 推論7から、推論8: "「復員する」ものはある"が導かれる
9. 推論8と事実8から、仮説が導かれる

よって、仮説が証明されました。