「もし仮にこのぷのぷよLv.26が放任するしそれが黒いとしたらこのぷのぷよLv.26は相継がない」ということは成り立たない
fact1: もし仮にこのぷのぷよLv.26が相継がないししかも放任するということはないとするとそのぷちゃぷわLv.25は相継ぐ fact2: このもえもちゅLv.15は乳臭くない fact3: このぷのぷよLv.26は乳臭い fact4: もしもこのぷのぷよLv.26が黒いし更にそれが乳臭いとしたらこのぷのぷよLv.26は相継ぐということはない
void -> assump1: 以下のように仮定する。「このぷのぷよLv.26は放任するしさらに黒い」ということは事実だ; assump1 -> int1: このぷのぷよLv.26は黒い; int1 & fact3 -> int2: このぷのぷよLv.26は黒くてそれは乳臭い; int2 & fact4 -> int3: このぷのぷよLv.26は相継がない; [assump1] & int3 -> hypothesis;
void -> assump1: ({A}{a} & {B}{a}); assump1 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> int3: ¬{D}{a}; [assump1] & int3 -> hypothesis;
そのぷちゃぷわLv.25は相継ぐ
$facts$ = fact1: もし仮にこのぷのぷよLv.26が相継がないししかも放任するということはないとするとそのぷちゃぷわLv.25は相継ぐ fact2: このもえもちゅLv.15は乳臭くない fact3: このぷのぷよLv.26は乳臭い fact4: もしもこのぷのぷよLv.26が黒いし更にそれが乳臭いとしたらこのぷのぷよLv.26は相継ぐということはない ; $hypothesis$ = 「もし仮にこのぷのぷよLv.26が放任するしそれが黒いとしたらこのぷのぷよLv.26は相継がない」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。「このぷのぷよLv.26は放任するしさらに黒い」ということは事実だ; assump1 -> int1: このぷのぷよLv.26は黒い; int1 & fact3 -> int2: このぷのぷよLv.26は黒くてそれは乳臭い; int2 & fact4 -> int3: このぷのぷよLv.26は相継がない; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: ({A}{a} & {B}{a}); assump1 -> int1: {B}{a}; int1 & fact3 -> int2: ({B}{a} & {C}{a}); int2 & fact4 -> int3: ¬{D}{a}; [assump1] & int3 -> hypothesis; __DISPROVED__