この待ち惚けは肥厚する
fact1: 何かはセカンダリーでないなら外部専門家でないしそれは二時過ぎだ fact2: 「「流出しないけど無かりする」ということは成り立たない」ものはある fact3: 「「流出しないけど無かりする」ということは偽である」ものがあるとすればあの培養は代筆する fact4: その日照量は無権利でない fact5: 「ある物は敬礼するし無権利だ」ということは正しいということはないとすれば無権利でない fact6: もし仮にあの培養が代筆する一方でセカンダリーでないとすればあのリスク許容度はセカンダリーであるということはない fact7: あのリスク許容度が外部専門家でないとすればその日照量は敬礼するか無権利であるかどちらもだ fact8: もしもこの待ち惚けが肥厚しないならその日照量は無権利である
void -> assump1: 以下のように仮定する。この待ち惚けは肥厚しない; fact8 & assump1 -> int1: その日照量は無権利である; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ¬{A}{a}; fact8 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis;
この待ち惚けは肥厚しない
fact10 -> int3: 仮にあのリスク許容度はセカンダリーでないとすると外部専門家でないがしかし二時過ぎである; fact12 & fact13 -> int4: あの培養は代筆する;
$facts$ = fact1: 何かはセカンダリーでないなら外部専門家でないしそれは二時過ぎだ fact2: 「「流出しないけど無かりする」ということは成り立たない」ものはある fact3: 「「流出しないけど無かりする」ということは偽である」ものがあるとすればあの培養は代筆する fact4: その日照量は無権利でない fact5: 「ある物は敬礼するし無権利だ」ということは正しいということはないとすれば無権利でない fact6: もし仮にあの培養が代筆する一方でセカンダリーでないとすればあのリスク許容度はセカンダリーであるということはない fact7: あのリスク許容度が外部専門家でないとすればその日照量は敬礼するか無権利であるかどちらもだ fact8: もしもこの待ち惚けが肥厚しないならその日照量は無権利である ; $hypothesis$ = この待ち惚けは肥厚する ; $proof$ = 
void -> assump1: 以下のように仮定する。この待ち惚けは肥厚しない; fact8 & assump1 -> int1: その日照量は無権利である; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 何かはセカンダリーでないなら外部専門家でないしそれは二時過ぎだ
事実2: 「「流出しないけど無かりする」ということは成り立たない」ものはある
事実3: 「「流出しないけど無かりする」ということは偽である」ものがあるとすればあの培養は代筆する
事実4: その日照量は無権利でない
事実5: 「ある物は敬礼するし無権利だ」ということは正しいということはないとすれば無権利でない
事実6: もし仮にあの培養が代筆する一方でセカンダリーでないとすればあのリスク許容度はセカンダリーであるということはない
事実7: あのリスク許容度が外部専門家でないとすればその日照量は敬礼するか無権利であるかどちらもだ
事実8: もしもこの待ち惚けが肥厚しないならその日照量は無権利である

仮説: この待ち惚けは肥厚する
1. 仮定1: 以下のように仮定する。この待ち惚けは肥厚しない
2. 事実8と仮定1から、推論1: "その日照量は無権利である"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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