この官営はブランドらしくない
fact1: この官営は脅迫者でないしさらにそれは打ち抜かない fact2: 「その征討軍は批判す」ということは真実である fact3: その征討軍は一致であるけれど誤解され易くない fact4: もしあの良相がすごーくないとすればその征討軍は製造販売しない fact5: この二十世紀は製造販売する fact6: その征討軍は取っ付き難くない fact7: 「あの良相は批判すらない」ということは間違っていないとしたらその現実政治は誤解され易くない fact8: もし仮にあの良相が誤解され易くないしさらに取っ付き難くないとしたらすごーくない fact9: 仮にこの官営が取っ付き難いとするとブランドらしい fact10: その現実政治は批判すらない fact11: その征討軍はすごーくない fact12: この官営は無しない fact13: もしもその現実政治はブランドらしいとすれば「この官営は批判すらない」ということは事実だ fact14: その現実政治は大食であるが批判すらない fact15: 仮にその征討軍が製造販売しないとすればその現実政治は大食でない fact16: その現実政治は誤解され易くない fact17: その現実政治は取っ付き難くない fact18: もしもその征討軍が取っ付き難いということはないならばあの良相は製造販売するということはない fact19: 「あの良相は大食でない」ということは本当だ fact20: もしもその現実政治は大食でないしその上誤解され易いないならばそれはすごーくない fact21: もし仮に「この官営はブランドらしい」ということは成り立てば「あの良相は大人気無くない」ということは成り立つ fact22: その征討軍はブランドらしい fact23: もしこの官営がブランドらしいとしたらあの良相は大人気無くないし更にそれは誤解され易くない fact24: あのパートは大人気無くない fact25: あの良相は取っ付き難いということはない
void -> assump1: 以下のように仮定する。この官営はブランドらしい; fact23 & assump1 -> int1: あの良相は大人気無くなくて加えて誤解され易くない; int1 -> int2: あの良相は誤解され易くない; int2 & fact25 -> int3: あの良相は誤解され易くないし取っ付き難くない; int3 & fact8 -> int4: あの良相はすごーくない; int4 & fact4 -> int5: その征討軍は製造販売しない; int5 & fact15 -> int6: その現実政治は大食でない; fact14 -> int7: その現実政治は大食だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> 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: あのパートは大人気無くない fact25: あの良相は取っ付き難いということはない ; $hypothesis$ = この官営はブランドらしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。この官営はブランドらしい; fact23 & assump1 -> int1: あの良相は大人気無くなくて加えて誤解され易くない; int1 -> int2: あの良相は誤解され易くない; int2 & fact25 -> int3: あの良相は誤解され易くないし取っ付き難くない; int3 & fact8 -> int4: あの良相はすごーくない; int4 & fact4 -> int5: その征討軍は製造販売しない; int5 & fact15 -> int6: その現実政治は大食でない; fact14 -> int7: その現実政治は大食だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> 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: あのパートは大人気無くない
事実25: あの良相は取っ付き難いということはない

仮説: この官営はブランドらしくない
1. 仮定1: 以下のように仮定する。この官営はブランドらしい
2. 事実23と仮定1から、推論1: "あの良相は大人気無くなくて加えて誤解され易くない"が導かれる
3. 推論1から、推論2: "あの良相は誤解され易くない"が導かれる
4. 推論2と事実25から、推論3: "あの良相は誤解され易くないし取っ付き難くない"が導かれる
5. 推論3と事実8から、推論4: "あの良相はすごーくない"が導かれる
6. 推論4と事実4から、推論5: "その征討軍は製造販売しない"が導かれる
7. 推論5と事実15から、推論6: "その現実政治は大食でない"が導かれる
8. 事実14から、推論7: "その現実政治は大食だ"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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