このものもゆLv.73は聞き取り易くない
fact1: もしもこのものもゆLv.73が忙しいならそれは思い出深くない fact2: このものもゆLv.73は思い出深い fact3: あのみにみゆLv.95は好ましかまたは忙しいか両方である fact4: もし仮にこのものもゆLv.73が忙しいかもしくは聞き取り易いかまたは両方ならば思い出深くない fact5: もし仮にそのまくまにょLv.93が思い出深くないとすればこのものもゆLv.73は聞き取り易いしさらに忙しい fact6: 仮にこのものもゆLv.73が相似すれば慎み深くない
void -> assump1: 以下のように仮定する。このものもゆLv.73は聞き取り易い; assump1 -> int1: このものもゆLv.73は忙しいかそれは聞き取り易いかあるいは両方ともだ; int1 & fact4 -> int2: このものもゆLv.73は思い出深くない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このものもゆLv.73は聞き取り易い
$facts$ = fact1: もしもこのものもゆLv.73が忙しいならそれは思い出深くない fact2: このものもゆLv.73は思い出深い fact3: あのみにみゆLv.95は好ましかまたは忙しいか両方である fact4: もし仮にこのものもゆLv.73が忙しいかもしくは聞き取り易いかまたは両方ならば思い出深くない fact5: もし仮にそのまくまにょLv.93が思い出深くないとすればこのものもゆLv.73は聞き取り易いしさらに忙しい fact6: 仮にこのものもゆLv.73が相似すれば慎み深くない ; $hypothesis$ = このものもゆLv.73は聞き取り易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このものもゆLv.73は聞き取り易い; assump1 -> int1: このものもゆLv.73は忙しいかそれは聞き取り易いかあるいは両方ともだ; int1 & fact4 -> int2: このものもゆLv.73は思い出深くない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> int2: ¬{C}{a}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__