その発行法人はＦＶＣだ
fact1: その導きは引き易くない fact2: その発行法人はばあさんである fact3: もしもその二年先輩が押し詰めないならばその発行法人はばあさんであるしさらにＦＶＣである fact4: もしもその導きが押し詰めるがしかし自己実現出来ないとするとその二年先輩は押し詰めない fact5: 溜まり易いということはない物は不法占拠だししかも有り付く fact6: もしも引き易くない物がクリックしないならば溜まり易いということはない fact7: もしなにがしかのものが有り付くとすれば押し詰めるしそれは自己実現出来ない fact8: もしその発行法人がＦＶＣならその二年先輩はばあさんでない fact9: その二年先輩はばあさんだ
void -> assump1: 以下のように仮定する。その発行法人はＦＶＣだ; fact8 & assump1 -> int1: その二年先輩はばあさんでない; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact8 & assump1 -> int1: ¬{B}{b}; int1 & fact9 -> int2: #F#; [assump1] & int2 -> hypothesis;
その発行法人はＦＶＣである
fact11 -> int3: 仮にその導きは有り付くとすれば「それは押し詰めるし更に自己実現出来ない」ということは成り立つ; fact15 -> int4: もしもその導きが溜まり易いということはないとすると不法占拠で更にそれは有り付く; fact14 -> int5: もし仮にその導きは引き易くないしクリックしないとすれば溜まり易くない;
$facts$ = fact1: その導きは引き易くない fact2: その発行法人はばあさんである fact3: もしもその二年先輩が押し詰めないならばその発行法人はばあさんであるしさらにＦＶＣである fact4: もしもその導きが押し詰めるがしかし自己実現出来ないとするとその二年先輩は押し詰めない fact5: 溜まり易いということはない物は不法占拠だししかも有り付く fact6: もしも引き易くない物がクリックしないならば溜まり易いということはない fact7: もしなにがしかのものが有り付くとすれば押し詰めるしそれは自己実現出来ない fact8: もしその発行法人がＦＶＣならその二年先輩はばあさんでない fact9: その二年先輩はばあさんだ ; $hypothesis$ = その発行法人はＦＶＣだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その発行法人はＦＶＣだ; fact8 & assump1 -> int1: その二年先輩はばあさんでない; int1 & fact9 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: その導きは引き易くない
事実2: その発行法人はばあさんである
事実3: もしもその二年先輩が押し詰めないならばその発行法人はばあさんであるしさらにＦＶＣである
事実4: もしもその導きが押し詰めるがしかし自己実現出来ないとするとその二年先輩は押し詰めない
事実5: 溜まり易いということはない物は不法占拠だししかも有り付く
事実6: もしも引き易くない物がクリックしないならば溜まり易いということはない
事実7: もしなにがしかのものが有り付くとすれば押し詰めるしそれは自己実現出来ない
事実8: もしその発行法人がＦＶＣならその二年先輩はばあさんでない
事実9: その二年先輩はばあさんだ

仮説: その発行法人はＦＶＣだ
1. 仮定1: 以下のように仮定する。その発行法人はＦＶＣだ
2. 事実8と仮定1から、推論1: "その二年先輩はばあさんでない"が導かれる
3. 推論1と事実9から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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