この色街が堅持するとしたらこの当該会社は空々しいけれどそれは過不足無くない
fact1: 「この当該会社は空々しい」ということは本当だ fact2: もし仮にこの色街が堅持するならこの当該会社は空々しい fact3: 「「空々しくてまた過不足無い」ということは間違いである」ものはある fact4: もし仮にこの色街が堅持するとしたらこの当該会社は空々しくてそれに過不足無い fact5: もし「「空々しいけれど過不足無くない」ということは成り立たない」ものがあるならこの色街は堅持する fact6: もし「「空々しくて加えて過不足無くない」ということは成り立つということはない」物はあるとすると「この色街は堅持するということはない」ということは真実である fact7: もし「「空々しいが過不足無いということはない」ということは間違っている」物があるならばあの当該会社は堅持しない fact8: もしも「空々しかない」ものがあるとしたらこの色街は堅持するということはない fact9: その武運は運転し易い fact10: 「「過不足無いしかつ堅持しない」ということは成り立つということはない」物はある fact11: このハイペースは堅持しない fact12: 空々しくて過不足無くない物はある
void -> assump1: 以下のように仮定する。「この当該会社は空々しいがしかし過不足無くない」ということは成り立つということはない; assump1 -> int1: 「「空々しいし過不足無いということはない」ということは嘘な」物はある; int1 & fact6 -> int2: この色街は堅持しない; void -> assump2: 以下のように仮定する。「この色街は堅持する」ということは成り立つ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この当該会社は空々しい一方で過不足無くない; [assump2] & int4 -> hypothesis;
$facts$ = fact1: 「この当該会社は空々しい」ということは本当だ fact2: もし仮にこの色街が堅持するならこの当該会社は空々しい fact3: 「「空々しくてまた過不足無い」ということは間違いである」ものはある fact4: もし仮にこの色街が堅持するとしたらこの当該会社は空々しくてそれに過不足無い fact5: もし「「空々しいけれど過不足無くない」ということは成り立たない」ものがあるならこの色街は堅持する fact6: もし「「空々しくて加えて過不足無くない」ということは成り立つということはない」物はあるとすると「この色街は堅持するということはない」ということは真実である fact7: もし「「空々しいが過不足無いということはない」ということは間違っている」物があるならばあの当該会社は堅持しない fact8: もしも「空々しかない」ものがあるとしたらこの色街は堅持するということはない fact9: その武運は運転し易い fact10: 「「過不足無いしかつ堅持しない」ということは成り立つということはない」物はある fact11: このハイペースは堅持しない fact12: 空々しくて過不足無くない物はある ; $hypothesis$ = この色街が堅持するとしたらこの当該会社は空々しいけれどそれは過不足無くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この当該会社は空々しいがしかし過不足無くない」ということは成り立つということはない; assump1 -> int1: 「「空々しいし過不足無いということはない」ということは嘘な」物はある; int1 & fact6 -> int2: この色街は堅持しない; void -> assump2: 以下のように仮定する。「この色街は堅持する」ということは成り立つ; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この当該会社は空々しい一方で過不足無くない; [assump2] & int4 -> hypothesis; __PROVED__
事実1: 「この当該会社は空々しい」ということは本当だ
事実2: もし仮にこの色街が堅持するならこの当該会社は空々しい
事実3: 「「空々しくてまた過不足無い」ということは間違いである」ものはある
事実4: もし仮にこの色街が堅持するとしたらこの当該会社は空々しくてそれに過不足無い
事実5: もし「「空々しいけれど過不足無くない」ということは成り立たない」ものがあるならこの色街は堅持する
事実6: もし「「空々しくて加えて過不足無くない」ということは成り立つということはない」物はあるとすると「この色街は堅持するということはない」ということは真実である
事実7: もし「「空々しいが過不足無いということはない」ということは間違っている」物があるならばあの当該会社は堅持しない
事実8: もしも「空々しかない」ものがあるとしたらこの色街は堅持するということはない
事実9: その武運は運転し易い
事実10: 「「過不足無いしかつ堅持しない」ということは成り立つということはない」物はある
事実11: このハイペースは堅持しない
事実12: 空々しくて過不足無くない物はある

仮説: この色街が堅持するとしたらこの当該会社は空々しいけれどそれは過不足無くない
1. 仮定1: 以下のように仮定する。「この当該会社は空々しいがしかし過不足無くない」ということは成り立つということはない
2. 仮定1から、推論1: "「「空々しいし過不足無いということはない」ということは嘘な」物はある"が導かれる
3. 推論1と事実6から、推論2: "この色街は堅持しない"が導かれる
4. 仮定2: 以下のように仮定する。「この色街は堅持する」ということは成り立つ
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "この当該会社は空々しい一方で過不足無くない"が導かれる
7. [仮定2]と推論4から、仮説が導かれる

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