「あのぴにぴにLv.45は発展し兼ねないけど気まずい」ということは正しくない
fact1: 「あのぴにぴにLv.45はしつっこくない」ということは確かならあのぴにぴにLv.45は発展し兼ねないが気まずい fact2: もしあのぴにぴにLv.45がしつっこいなら返り掛ける fact3: もしあのぴにぴにLv.45がしつっこいとするとあのぴにぴにLv.45は仕舞い易い fact4: もし仮に「あのぴにぴにLv.45はシンクロしない」ということは成り立つとするとあのぴにぴにLv.45は浅ましない fact5: あのぴにぴにLv.45は仕舞い易くない fact6: もしもあのぴにぴにLv.45はしつっこくないならばあのぴにぴにLv.45は発展し兼ねない
void -> assump1: 以下のように仮定する。あのぴにぴにLv.45はしつっこい; fact3 & assump1 -> int1: あのぴにぴにLv.45は仕舞い易い; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのぴにぴにLv.45はしつっこくない; int3 & fact1 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact1 -> hypothesis;
$facts$ = fact1: 「あのぴにぴにLv.45はしつっこくない」ということは確かならあのぴにぴにLv.45は発展し兼ねないが気まずい fact2: もしあのぴにぴにLv.45がしつっこいなら返り掛ける fact3: もしあのぴにぴにLv.45がしつっこいとするとあのぴにぴにLv.45は仕舞い易い fact4: もし仮に「あのぴにぴにLv.45はシンクロしない」ということは成り立つとするとあのぴにぴにLv.45は浅ましない fact5: あのぴにぴにLv.45は仕舞い易くない fact6: もしもあのぴにぴにLv.45はしつっこくないならばあのぴにぴにLv.45は発展し兼ねない ; $hypothesis$ = 「あのぴにぴにLv.45は発展し兼ねないけど気まずい」ということは正しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのぴにぴにLv.45はしつっこい; fact3 & assump1 -> int1: あのぴにぴにLv.45は仕舞い易い; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのぴにぴにLv.45はしつっこくない; int3 & fact1 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact1 -> hypothesis; __DISPROVED__