その飛行中は紛らわしくない
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: このスベタは歴史物語だ一方でむくつけしということはない; fact15 -> int2: もし仮にこのスベタが歴史物語だけどむくつけしないなら書き改める; int1 & int2 -> int3: このスベタは書き改める; fact19 -> int4: もしもこのスベタが書き改めるなら話し易い; int3 & int4 -> int5: 「このスベタは話し易い」ということは確かだ; int5 & fact1 -> int6: その牧童は宅地化する; int6 & fact3 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの仕向け地ベースは善がり狂う; fact13 -> int9: もしもあの仕向け地ベースが善がり狂うとしたらモン・ウエストウッドだ; int8 & int9 -> int10: 「あの仕向け地ベースはモン・ウエストウッドだ」ということは成り立つ; int10 & fact22 -> hypothesis;
あの仕向け地ベースは宅地化する一方でそれは記入係であるということはない
$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: このスベタは歴史物語だ一方でむくつけしということはない; fact15 -> int2: もし仮にこのスベタが歴史物語だけどむくつけしないなら書き改める; int1 & int2 -> int3: このスベタは書き改める; fact19 -> int4: もしもこのスベタが書き改めるなら話し易い; int3 & int4 -> int5: 「このスベタは話し易い」ということは確かだ; int5 & fact1 -> int6: その牧童は宅地化する; int6 & fact3 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの仕向け地ベースは善がり狂う; fact13 -> int9: もしもあの仕向け地ベースが善がり狂うとしたらモン・ウエストウッドだ; int8 & int9 -> int10: 「あの仕向け地ベースはモン・ウエストウッドだ」ということは成り立つ; int10 & fact22 -> 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. 事実15から、推論2: "もし仮にこのスベタが歴史物語だけどむくつけしないなら書き改める"が導かれる
4. 推論1と推論2から、推論3: "このスベタは書き改める"が導かれる
5. 事実19から、推論4: "もしもこのスベタが書き改めるなら話し易い"が導かれる
6. 推論3と推論4から、推論5: "「このスベタは話し易い」ということは確かだ"が導かれる
7. 推論5と事実1から、推論6: "その牧童は宅地化する"が導かれる
8. 推論6と事実3から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの仕向け地ベースは善がり狂う"が導かれる
10. 事実13から、推論9: "もしもあの仕向け地ベースが善がり狂うとしたらモン・ウエストウッドだ"が導かれる
11. 推論8と推論9から、推論10: "「あの仕向け地ベースはモン・ウエストウッドだ」ということは成り立つ"が導かれる
12. 推論10と事実22から、仮説が否定される

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