「このぽにょぽのLv.87は荒っぽくない」ということは事実と異ならない
fact1: 荒っぽいモンスターは結果する fact2: 「このぽにょぽのLv.87は最もらしい」ということは嘘であるということはない fact3: 仮に「あのぽいぽちょLv.55は利用し辛いけれど荒っぽくない」ということは誤りであるならばあのぽいぽちょLv.55は荒っぽい fact4: 「そのぽえぽなLv.23は結果する」ということは本当である fact5: このぽにょぽのLv.87が荒っぽいし加えてそれが最もらしいとするとそのぽえぽなLv.23は結果しない
void -> assump1: 以下のように仮定する。このぽにょぽのLv.87は荒っぽい; assump1 & fact2 -> int1: このぽにょぽのLv.87は荒っぽいしかつ最もらしい; int1 & fact5 -> int2: そのぽえぽなLv.23は結果しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
あのぽいぽちょLv.55は結果する
fact7 -> int4: あのぽいぽちょLv.55が荒っぽいとしたら結果する;
$facts$ = fact1: 荒っぽいモンスターは結果する fact2: 「このぽにょぽのLv.87は最もらしい」ということは嘘であるということはない fact3: 仮に「あのぽいぽちょLv.55は利用し辛いけれど荒っぽくない」ということは誤りであるならばあのぽいぽちょLv.55は荒っぽい fact4: 「そのぽえぽなLv.23は結果する」ということは本当である fact5: このぽにょぽのLv.87が荒っぽいし加えてそれが最もらしいとするとそのぽえぽなLv.23は結果しない ; $hypothesis$ = 「このぽにょぽのLv.87は荒っぽくない」ということは事実と異ならない ; $proof$ = 
void -> assump1: 以下のように仮定する。このぽにょぽのLv.87は荒っぽい; assump1 & fact2 -> int1: このぽにょぽのLv.87は荒っぽいしかつ最もらしい; int1 & fact5 -> int2: そのぽえぽなLv.23は結果しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 & fact2 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{b}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__