その夜具は大手柄だ
fact1: 「この国民意識は全国区だということはない」ということは成り立つ fact2: 「あの身障手帳は外来入浴でないし手早いということはない」ということは成り立たない fact3: 「この国民意識は隔絶しないけどそれは外来入浴だ」ということは間違いだ fact4: あの身障手帳は乳幼児期だ fact5: もし仮に「その夜具は全国区である」ということは成り立つならばあの国民意識は大手柄でない fact6: もしもその夜具は広しないしまた外来入浴であるということはないとすれば「あの身障手帳は手早い」ということは正しい fact7: もし何かは外来入浴でないとすれば手早いけど広しない fact8: もし仮に「この国民意識は全国区でなくて更に隔絶しない」ということは事実と異なるとしたらあの身障手帳は広しない fact9: あの身障手帳は外来入浴だ fact10: 「その夜具は大手柄でないしかつ広しない」ということは真実でない fact11: 「この国民意識は全国区だがしかし隔絶するということはない」ということは偽である fact12: この国民意識は結束する fact13: もしもあの身障手帳は全国区であるとすると広し fact14: 「その解雇規制は大手柄でない」ということは誤っている fact15: もしなにがしかの物が手早いとすれば大手柄だ fact16: もしもあの身障手帳が横転しないとすればあの国民意識は外来入浴だということはない一方でこっくりする fact17: その埋経関係品は発し始めるし全国区だ fact18: その夜具は接近し易い fact19: あの身障手帳は大手柄でない fact20: この国民意識は外来入浴でない fact21: 「あの身障手帳は広しない一方で全国区だ」ということは成り立たない fact22: もし仮にその夜具が外来入浴であるならばあの身障手帳は手早くない fact23: もし仮にこの国民意識が全国区でないしさらに隔絶しないならばその夜具は手早い fact24: あの身障手帳は広しし外来入浴だ
void -> assump1: 以下のように仮定する。「この国民意識は全国区でなくてしかもそれは隔絶しない」ということは事実と異なる; fact8 & assump1 -> int1: 「あの身障手帳は広しない」ということは本当だ; fact24 -> int2: あの身障手帳は広し; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この国民意識は全国区でなくて隔絶しない; int4 & fact23 -> int5: その夜具は手早い; fact15 -> int6: もしその夜具が手早いとするとそれは大手柄である; int5 & int6 -> hypothesis;
その夜具は大手柄でない
fact25 -> int7: この国民意識は外来入浴でないとすると「それは手早いけれど広しない」ということは事実と異ならない;
$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$ = 
void -> assump1: 以下のように仮定する。「この国民意識は全国区でなくてしかもそれは隔絶しない」ということは事実と異なる; fact8 & assump1 -> int1: 「あの身障手帳は広しない」ということは本当だ; fact24 -> int2: あの身障手帳は広し; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この国民意識は全国区でなくて隔絶しない; int4 & fact23 -> int5: その夜具は手早い; fact15 -> int6: もしその夜具が手早いとするとそれは大手柄である; int5 & int6 -> 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. 仮定1: 以下のように仮定する。「この国民意識は全国区でなくてしかもそれは隔絶しない」ということは事実と異なる
2. 事実8と仮定1から、推論1: "「あの身障手帳は広しない」ということは本当だ"が導かれる
3. 事実24から、推論2: "あの身障手帳は広し"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この国民意識は全国区でなくて隔絶しない"が導かれる
6. 推論4と事実23から、推論5: "その夜具は手早い"が導かれる
7. 事実15から、推論6: "もしその夜具が手早いとするとそれは大手柄である"が導かれる
8. 推論5と推論6から、仮説が導かれる

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