この都は全国展開しない
fact1: 仮にあのパニエは乳臭いということはないとしたら「打ち壊さないしおまけにそれは留意すらない」ということは誤っている fact2: 「この戦時中は保有数でないがしかし共有者だ」ということは確かだということはない fact3: 仮に「この戦時中は薄荷でない一方で共有者だ」ということは事実と異なるとするとあのパニエは地域ぐるみである fact4: もしもあのパニエは可愛いとすると「この分数は保有数である」ということは真実だ fact5: もしも「なにかは打ち壊さないし留意すということはない」ということは偽だとするとそれは留意す fact6: あのパニエは乳臭くない fact7: もしも薄荷がアドボカートでないとすればそれは全国展開しない fact8: もし仮に「あのパニエは薄荷だけれど地域ぐるみでない」ということは間違いであるとしたらそれは薄荷でない fact9: 仮に何かはアドボカートなら「この戦時中は薄荷でないけどそれは共有者だ」ということは事実でない fact10: この分数は薄荷である fact11: この戦時中が共有者だとしたらこの都は薄荷だ fact12: 「「出任せで加えて全国展開する」ということは成り立たない」ものがあるとすればこの分数は地域ぐるみだ fact13: 「もし地域ぐるみが留意すれば保有数でない」ということは真実である fact14: あるものは体全体でかつ父親らしい fact15: もし「「可愛くて出任せである」ということは事実と異なる」物があるならこの都は全国展開する fact16: この分数は保有数である fact17: 「この都は全国展開しなくてそれにそれは留意すらない」ということは成り立たない fact18: もしもあのパニエは保有数でないとすれば「この分数は可愛くて出任せである」ということは間違いである fact19: 仮にあのパニエは可愛いということはないとすれば「それは保有数でなくてその上それは打ち壊す」ということは成り立たない fact20: 「アドボカートである」物はある fact21: もしも「この分数は可愛くないがそれは薄荷である」ということは誤っているとしたらこの戦時中は乳臭い fact22: もし仮に「この分数は可愛くないし保有数でない」ということは誤っているなら保有数である
fact20 & fact9 -> int1: 「この戦時中は薄荷でない一方でそれは共有者である」ということは成り立たない; int1 & fact3 -> int2: あのパニエは地域ぐるみである; fact1 & fact6 -> int3: 「あのパニエは打ち壊さないし留意すということはない」ということは誤りである; fact5 -> int4: もしも「あのパニエは打ち壊さないしまた留意すらない」ということは成り立たないならそれは留意す; int3 & int4 -> int5: あのパニエは留意す; int2 & int5 -> int6: あのパニエは地域ぐるみでまた留意す; fact13 -> int7: もしあのパニエが地域ぐるみであるしその上それが留意すなら保有数でない; int6 & int7 -> int8: 「あのパニエは保有数でない」ということは成り立つ; int8 & fact18 -> int9: 「「この分数は可愛くてかつ出任せである」ということは成り立つ」ということは間違っている; int9 -> int10: 「「可愛いしそれに出任せである」ということは事実と異なる」ものはある; int10 & fact15 -> hypothesis;
この都は全国展開しない
fact23 -> 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$ = 
fact20 & fact9 -> int1: 「この戦時中は薄荷でない一方でそれは共有者である」ということは成り立たない; int1 & fact3 -> int2: あのパニエは地域ぐるみである; fact1 & fact6 -> int3: 「あのパニエは打ち壊さないし留意すということはない」ということは誤りである; fact5 -> int4: もしも「あのパニエは打ち壊さないしまた留意すらない」ということは成り立たないならそれは留意す; int3 & int4 -> int5: あのパニエは留意す; int2 & int5 -> int6: あのパニエは地域ぐるみでまた留意す; fact13 -> int7: もしあのパニエが地域ぐるみであるしその上それが留意すなら保有数でない; int6 & int7 -> int8: 「あのパニエは保有数でない」ということは成り立つ; int8 & fact18 -> int9: 「「この分数は可愛くてかつ出任せである」ということは成り立つ」ということは間違っている; int9 -> int10: 「「可愛いしそれに出任せである」ということは事実と異なる」ものはある; int10 & fact15 -> 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. 事実20と事実9から、推論1: "「この戦時中は薄荷でない一方でそれは共有者である」ということは成り立たない"が導かれる
2. 推論1と事実3から、推論2: "あのパニエは地域ぐるみである"が導かれる
3. 事実1と事実6から、推論3: "「あのパニエは打ち壊さないし留意すということはない」ということは誤りである"が導かれる
4. 事実5から、推論4: "もしも「あのパニエは打ち壊さないしまた留意すらない」ということは成り立たないならそれは留意す"が導かれる
5. 推論3と推論4から、推論5: "あのパニエは留意す"が導かれる
6. 推論2と推論5から、推論6: "あのパニエは地域ぐるみでまた留意す"が導かれる
7. 事実13から、推論7: "もしあのパニエが地域ぐるみであるしその上それが留意すなら保有数でない"が導かれる
8. 推論6と推論7から、推論8: "「あのパニエは保有数でない」ということは成り立つ"が導かれる
9. 推論8と事実18から、推論9: "「「この分数は可愛くてかつ出任せである」ということは成り立つ」ということは間違っている"が導かれる
10. 推論9から、推論10: "「「可愛いしそれに出任せである」ということは事実と異なる」ものはある"が導かれる
11. 推論10と事実15から、仮説が否定される

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