あの襦袢は自己投資だ
fact1: もし仮に何らかの物は付きでないならば自己投資でかつ金色がかる fact2: もし仮にあの判決要旨は清くないとすると「あの襦袢は再会しないがしかし制覇だ」ということは誤りである fact3: もしあの判決要旨が自己投資だとすればそれは金色がかる fact4: もし仮にあの判決要旨が自己投資でないとするとあの襦袢は自己投資でないしまた清くない fact5: あの判決要旨は再会する fact6: 「あの判決要旨は付きだ」ということは偽でない fact7: もし仮にあの判決要旨は付きであるし金色がかるとするとそれは再会しない
void -> assump1: 以下のように仮定する。あの判決要旨は自己投資である; fact3 & assump1 -> int1: あの判決要旨は金色がかる; int1 & fact6 -> int2: あの判決要旨が付きであるしその上金色はかる; int2 & fact7 -> int3: あの判決要旨は再会しない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの判決要旨は自己投資でない; int5 & fact4 -> int6: あの襦袢は自己投資でないし清くない; int6 -> hypothesis;
あの襦袢は自己投資である
fact9 -> int7: 仮にあの襦袢は付きでないとしたらそれは自己投資で金色がかる;
$facts$ = fact1: もし仮に何らかの物は付きでないならば自己投資でかつ金色がかる fact2: もし仮にあの判決要旨は清くないとすると「あの襦袢は再会しないがしかし制覇だ」ということは誤りである fact3: もしあの判決要旨が自己投資だとすればそれは金色がかる fact4: もし仮にあの判決要旨が自己投資でないとするとあの襦袢は自己投資でないしまた清くない fact5: あの判決要旨は再会する fact6: 「あの判決要旨は付きだ」ということは偽でない fact7: もし仮にあの判決要旨は付きであるし金色がかるとするとそれは再会しない ; $hypothesis$ = あの襦袢は自己投資だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの判決要旨は自己投資である; fact3 & assump1 -> int1: あの判決要旨は金色がかる; int1 & fact6 -> int2: あの判決要旨が付きであるしその上金色はかる; int2 & fact7 -> int3: あの判決要旨は再会しない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの判決要旨は自己投資でない; int5 & fact4 -> int6: あの襦袢は自己投資でないし清くない; int6 -> hypothesis; __DISPROVED__
事実1: もし仮に何らかの物は付きでないならば自己投資でかつ金色がかる
事実2: もし仮にあの判決要旨は清くないとすると「あの襦袢は再会しないがしかし制覇だ」ということは誤りである
事実3: もしあの判決要旨が自己投資だとすればそれは金色がかる
事実4: もし仮にあの判決要旨が自己投資でないとするとあの襦袢は自己投資でないしまた清くない
事実5: あの判決要旨は再会する
事実6: 「あの判決要旨は付きだ」ということは偽でない
事実7: もし仮にあの判決要旨は付きであるし金色がかるとするとそれは再会しない

仮説: あの襦袢は自己投資だ
1. 仮定1: 以下のように仮定する。あの判決要旨は自己投資である
2. 事実3と仮定1から、推論1: "あの判決要旨は金色がかる"が導かれる
3. 推論1と事実6から、推論2: "あの判決要旨が付きであるしその上金色はかる"が導かれる
4. 推論2と事実7から、推論3: "あの判決要旨は再会しない"が導かれる
5. 推論3と事実5から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの判決要旨は自己投資でない"が導かれる
7. 推論5と事実4から、推論6: "あの襦袢は自己投資でないし清くない"が導かれる
8. 推論6から、仮説が否定される

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