あのみいみよLv.76は前傾するしさらに悲し
fact1: そのまにまいLv.42は伸び易いということはない fact2: そのまにまいLv.42は齎し兼ねるとすれば「あのみいみよLv.76は吊り易いけれどそれは前傾するということはない」ということは間違いである fact3: もし仮にこのまねまくLv.80が悲しならそのまにまいLv.42は伸び易い fact4: そのまにまいLv.42は前傾する fact5: そのまにまいLv.42は齎し兼ねる fact6: もし仮にこのまねまくLv.80は悲しないとすると「あのみいみよLv.76は前傾するし悲し」ということは誤っている fact7: もしも「「あのみいみよLv.76は吊り易いけど前傾しない」ということは間違いだ」ということは成り立つとすると前傾する
void -> assump1: 以下のように仮定する。このまねまくLv.80は悲し; fact3 & assump1 -> int1: そのまにまいLv.42は伸び易い; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: このまねまくLv.80は悲しない; int3 & fact6 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact6 -> hypothesis;
あのみいみよLv.76は前傾するしさらに悲し
fact9 & fact10 -> int4: 「あのみいみよLv.76は吊り易いけれど前傾しない」ということは偽だ; fact8 & int4 -> int5: あのみいみよLv.76は前傾する;
$facts$ = fact1: そのまにまいLv.42は伸び易いということはない fact2: そのまにまいLv.42は齎し兼ねるとすれば「あのみいみよLv.76は吊り易いけれどそれは前傾するということはない」ということは間違いである fact3: もし仮にこのまねまくLv.80が悲しならそのまにまいLv.42は伸び易い fact4: そのまにまいLv.42は前傾する fact5: そのまにまいLv.42は齎し兼ねる fact6: もし仮にこのまねまくLv.80は悲しないとすると「あのみいみよLv.76は前傾するし悲し」ということは誤っている fact7: もしも「「あのみいみよLv.76は吊り易いけど前傾しない」ということは間違いだ」ということは成り立つとすると前傾する ; $hypothesis$ = あのみいみよLv.76は前傾するしさらに悲し ; $proof$ = 
void -> assump1: 以下のように仮定する。このまねまくLv.80は悲し; fact3 & assump1 -> int1: そのまにまいLv.42は伸び易い; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: このまねまくLv.80は悲しない; int3 & fact6 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact6 -> hypothesis; __DISPROVED__