このぴねぴちゅLv.67は力無くない
fact1: このぴねぴちゅLv.67が野暮ったくないとすればそれは力無い fact2: もしもあのぽいぽよLv.51が力無いならば逸する fact3: このぴねぴちゅLv.67は書き難いということはない fact4: 仮にこのぴねぴちゅLv.67は野暮ったいとしたら「このぴねぴちゅLv.67は書き難い」ということは成り立つ
void -> assump1: 以下のように仮定する。このぴねぴちゅLv.67は野暮ったい; fact4 & assump1 -> int1: このぴねぴちゅLv.67は書き難い; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このぴねぴちゅLv.67は野暮ったくない」ということは事実である; int3 & fact1 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact1 -> hypothesis;
$facts$ = fact1: このぴねぴちゅLv.67が野暮ったくないとすればそれは力無い fact2: もしもあのぽいぽよLv.51が力無いならば逸する fact3: このぴねぴちゅLv.67は書き難いということはない fact4: 仮にこのぴねぴちゅLv.67は野暮ったいとしたら「このぴねぴちゅLv.67は書き難い」ということは成り立つ ; $hypothesis$ = このぴねぴちゅLv.67は力無くない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぴねぴちゅLv.67は野暮ったい; fact4 & assump1 -> int1: このぴねぴちゅLv.67は書き難い; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このぴねぴちゅLv.67は野暮ったくない」ということは事実である; int3 & fact1 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact1 -> hypothesis; __DISPROVED__