その早期発見は可愛くない
fact1: 仮になんらかの物が造立だとすると純利益だ fact2: 貸し金は描き易くないし開度でない fact3: その副都心は壊死だ fact4: その副都心が純利益であるとするとこの市場主導は貸し金である fact5: もし仮にこの市場主導が描き易くないし開度でないとするとその早期発見は屑箱でない fact6: その副都心は壊死だとすると「観察し始めるしおまけに及第しない」ということは偽である fact7: その早期発見は屑箱でないとしたらそれは可愛くない fact8: その副都心は造立でないとしたらそれは観察し始めるけれど及第しない
void -> assump1: 以下のように仮定する。その副都心は造立であるということはない; fact8 & assump1 -> int1: その副都心は観察し始めるけれど及第しない; fact3 & fact6 -> int2: 「その副都心は観察し始めるけどそれは及第するということはない」ということは成り立つということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その副都心は造立だ; fact1 -> int5: その副都心が造立ならばそれは純利益である; int4 & int5 -> int6: その副都心は純利益である; int6 & fact4 -> int7: この市場主導は貸し金だ; fact2 -> int8: この市場主導が貸し金ならそれは描き易くないし開度でない; int7 & int8 -> int9: この市場主導は描き易くないしさらに開度でない; int9 & fact5 -> int10: その早期発見は屑箱でない; int10 & fact7 -> hypothesis;
$facts$ = fact1: 仮になんらかの物が造立だとすると純利益だ fact2: 貸し金は描き易くないし開度でない fact3: その副都心は壊死だ fact4: その副都心が純利益であるとするとこの市場主導は貸し金である fact5: もし仮にこの市場主導が描き易くないし開度でないとするとその早期発見は屑箱でない fact6: その副都心は壊死だとすると「観察し始めるしおまけに及第しない」ということは偽である fact7: その早期発見は屑箱でないとしたらそれは可愛くない fact8: その副都心は造立でないとしたらそれは観察し始めるけれど及第しない ; $hypothesis$ = その早期発見は可愛くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その副都心は造立であるということはない; fact8 & assump1 -> int1: その副都心は観察し始めるけれど及第しない; fact3 & fact6 -> int2: 「その副都心は観察し始めるけどそれは及第するということはない」ということは成り立つということはない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その副都心は造立だ; fact1 -> int5: その副都心が造立ならばそれは純利益である; int4 & int5 -> int6: その副都心は純利益である; int6 & fact4 -> int7: この市場主導は貸し金だ; fact2 -> int8: この市場主導が貸し金ならそれは描き易くないし開度でない; int7 & int8 -> int9: この市場主導は描き易くないしさらに開度でない; int9 & fact5 -> int10: その早期発見は屑箱でない; int10 & fact7 -> hypothesis; __PROVED__
事実1: 仮になんらかの物が造立だとすると純利益だ
事実2: 貸し金は描き易くないし開度でない
事実3: その副都心は壊死だ
事実4: その副都心が純利益であるとするとこの市場主導は貸し金である
事実5: もし仮にこの市場主導が描き易くないし開度でないとするとその早期発見は屑箱でない
事実6: その副都心は壊死だとすると「観察し始めるしおまけに及第しない」ということは偽である
事実7: その早期発見は屑箱でないとしたらそれは可愛くない
事実8: その副都心は造立でないとしたらそれは観察し始めるけれど及第しない

仮説: その早期発見は可愛くない
1. 仮定1: 以下のように仮定する。その副都心は造立であるということはない
2. 事実8と仮定1から、推論1: "その副都心は観察し始めるけれど及第しない"が導かれる
3. 事実3と事実6から、推論2: "「その副都心は観察し始めるけどそれは及第するということはない」ということは成り立つということはない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その副都心は造立だ"が導かれる
6. 事実1から、推論5: "その副都心が造立ならばそれは純利益である"が導かれる
7. 推論4と推論5から、推論6: "その副都心は純利益である"が導かれる
8. 推論6と事実4から、推論7: "この市場主導は貸し金だ"が導かれる
9. 事実2から、推論8: "この市場主導が貸し金ならそれは描き易くないし開度でない"が導かれる
10. 推論7と推論8から、推論9: "この市場主導は描き易くないしさらに開度でない"が導かれる
11. 推論9と事実5から、推論10: "その早期発見は屑箱でない"が導かれる
12. 推論10と事実7から、仮説が導かれる

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