あのまくまにょLv.44は気難しくない
fact1: あのまくまにょLv.44が大量発生する一方で空しいということはないならあのまくまにょLv.44は気難しくない fact2: あのぷちゃぷねLv.68は行き易い fact3: 仮にあのぷちゃぷねLv.68が気難しいとすればあのまくまにょLv.44は生まれ易い fact4: もしも「あのまくまにょLv.44は大量発生する一方で空しくない」ということは誤りであるとしたらあのぷちゃぷねLv.68は行き易いということはない
void -> assump1: 以下のように仮定する。「あのまくまにょLv.44は大量発生するがそれは空しいということはない」ということは成り立たない; fact4 & assump1 -> int1: あのぷちゃぷねLv.68は行き易くない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのまくまにょLv.44は大量発生するけど空しくない; int3 & fact1 -> hypothesis;
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact4 & assump1 -> int1: ¬{B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ({AA}{a} & ¬{AB}{a}); int3 & fact1 -> hypothesis;
あのまくまにょLv.44は生まれ易い
$facts$ = fact1: あのまくまにょLv.44が大量発生する一方で空しいということはないならあのまくまにょLv.44は気難しくない fact2: あのぷちゃぷねLv.68は行き易い fact3: 仮にあのぷちゃぷねLv.68が気難しいとすればあのまくまにょLv.44は生まれ易い fact4: もしも「あのまくまにょLv.44は大量発生する一方で空しくない」ということは誤りであるとしたらあのぷちゃぷねLv.68は行き易いということはない ; $hypothesis$ = あのまくまにょLv.44は気難しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのまくまにょLv.44は大量発生するがそれは空しいということはない」ということは成り立たない; fact4 & assump1 -> int1: あのぷちゃぷねLv.68は行き易くない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのまくまにょLv.44は大量発生するけど空しくない; int3 & fact1 -> hypothesis; __PROVED__
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact4 & assump1 -> int1: ¬{B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> int3: ({AA}{a} & ¬{AB}{a}); int3 & fact1 -> hypothesis; __PROVED__