このぽのぽわLv.39は描き過ぎるけれど間近いということはない
fact1: 仮にこのぽねぽちゅLv.37が口汚いとしたらこのぽねぽちゅLv.37は口さがない fact2: このぽねぽちゅLv.37は口汚くないとすれば「このぽのぽわLv.39は描き過ぎるが間近くない」ということは誤りだ fact3: このぽねぽちゅLv.37は口さがなくない fact4: 口さがないモンスターは口汚い fact5: 仮になんらかのモンスターが入り交じればそれは口さがない fact6: もし仮にこのぽのぽわLv.39が口汚いならこのぽのぽわLv.39は描き過ぎる
void -> assump1: 以下のように仮定する。このぽねぽちゅLv.37は口汚い; fact1 & assump1 -> int1: 「このぽねぽちゅLv.37は口さがない」ということは真実だ; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: このぽねぽちゅLv.37は口汚くない; int3 & fact2 -> hypothesis;
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis;
このぽのぽわLv.39は描き過ぎるけれど間近いということはない
fact9 -> int4: もしこのぽのぽわLv.39が口さがないとするとそれは口汚い; fact8 -> int5: もしもこのぽのぽわLv.39が入り交じるとすればこのぽのぽわLv.39は口さがない;
$facts$ = fact1: 仮にこのぽねぽちゅLv.37が口汚いとしたらこのぽねぽちゅLv.37は口さがない fact2: このぽねぽちゅLv.37は口汚くないとすれば「このぽのぽわLv.39は描き過ぎるが間近くない」ということは誤りだ fact3: このぽねぽちゅLv.37は口さがなくない fact4: 口さがないモンスターは口汚い fact5: 仮になんらかのモンスターが入り交じればそれは口さがない fact6: もし仮にこのぽのぽわLv.39が口汚いならこのぽのぽわLv.39は描き過ぎる ; $hypothesis$ = このぽのぽわLv.39は描き過ぎるけれど間近いということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽねぽちゅLv.37は口汚い; fact1 & assump1 -> int1: 「このぽねぽちゅLv.37は口さがない」ということは真実だ; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: このぽねぽちゅLv.37は口汚くない; int3 & fact2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact1 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact2 -> hypothesis; __DISPROVED__