そのぱちんこ店は賃金格差でない
fact1: あの要求特性がチマチョゴリでないかもしくは服用しないかまたはどちらもであるとするとこの上海汽車はチマチョゴリだ fact2: なんらかのものは許否だということはない fact3: もしもその変造が役立てないならばそのぱちんこ店は賃金格差でない fact4: もし仮にその変造が叫び続けるということはない一方で役立てるとするとこの略奪者は生涯独身でない fact5: 仮に「この略奪者は肯定しない」ということは確かであるとしたら巨人達だ fact6: 仮にあのギヤが国会内でないならばあの要求特性はチマチョゴリでないかあるいは服用しないかあるいは両方だ fact7: もしもその著名人が見守り続けるとすればこのコンパニオンは肯定する fact8: もし仮に「賃金格差である」物があるとするとその変造は許否であるかもしくはそれは賃金格差であるかもしくは両方ともだ fact9: もし巨人達が生涯独身だということはないならそれは役立てるということはない fact10: もし仮にこのコンパニオンが肯定するならこの略奪者は巨人達だ一方でそれは生涯独身でない fact11: この略奪者は巨人達である fact12: もしあのギヤが初太刀ならば国会内でない fact13: この略奪者は許否だ fact14: その変造は生涯独身であるということはない fact15: もし仮に「許否でない」物があればその変造は叫び続けない fact16: 「賃金格差でない」ものはある fact17: なにがしかのものは許否だ fact18: 仮にこの上海汽車がチマチョゴリであるが因り難くないならあの刻み海苔は見守り続ける fact19: この略奪者は肯定しない fact20: もしもあの刻み海苔が見守り続けるとするとその著名人は見守り続ける fact21: あのギヤは住み難くてまた初太刀だ fact22: もしも何らかのものが底上げするとすればそれは因り難くない fact23: もしもその変造は許否だとしたら「そのぱちんこ店は賃金格差である」ということは真実である fact24: 仮に「この略奪者は肯定しない」ということは正しいなら生涯独身であるしそれは巨人達だ
fact2 & fact15 -> int1: その変造は叫び続けない; void -> assump1: 以下のように仮定する。その変造は役立てる; int1 & assump1 -> int2: その変造は叫び続けないけど役立てる; int2 & fact4 -> int3: この略奪者は生涯独身でない; fact19 & fact24 -> int4: この略奪者は生涯独身であるし巨人達だ; int4 -> int5: 「この略奪者は生涯独身である」ということは事実と異ならない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その変造は役立てない; int7 & fact3 -> hypothesis;
「そのぱちんこ店は賃金格差である」ということは事実である
$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$ = 
fact2 & fact15 -> int1: その変造は叫び続けない; void -> assump1: 以下のように仮定する。その変造は役立てる; int1 & assump1 -> int2: その変造は叫び続けないけど役立てる; int2 & fact4 -> int3: この略奪者は生涯独身でない; fact19 & fact24 -> int4: この略奪者は生涯独身であるし巨人達だ; int4 -> int5: 「この略奪者は生涯独身である」ということは事実と異ならない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その変造は役立てない; int7 & fact3 -> 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. 事実2と事実15から、推論1: "その変造は叫び続けない"が導かれる
2. 仮定1: 以下のように仮定する。その変造は役立てる
3. 推論1と仮定1から、推論2: "その変造は叫び続けないけど役立てる"が導かれる
4. 推論2と事実4から、推論3: "この略奪者は生涯独身でない"が導かれる
5. 事実19と事実24から、推論4: "この略奪者は生涯独身であるし巨人達だ"が導かれる
6. 推論4から、推論5: "「この略奪者は生涯独身である」ということは事実と異ならない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その変造は役立てない"が導かれる
9. 推論7と事実3から、仮説が導かれる

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