そのみなみえLv.17はおっきくないかまたは危ない
fact1: 仮にこのもにゃもちょLv.65は本当らしくないとしたら「そのみなみえLv.17はおっきいということはないかそれは危ないかまたは両方である」ということは誤っている fact2: 「もしも何らかのモンスターは本当らしくないなら「それはおっきい」ということは成り立たない」ということは確かだ fact3: もしこのもにゃもちょLv.65が本当らしいならこのぽわぽくLv.35は湿っぽい fact4: あのぷのぷねLv.85はおっきい fact5: このぽわぽくLv.35は湿っぽくない
void -> assump1: 以下のように仮定する。このもにゃもちょLv.65は本当らしい; fact3 & assump1 -> int1: このぽわぽくLv.35は湿っぽい; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: このもにゃもちょLv.65は本当らしくない; int3 & fact1 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact1 -> hypothesis;
そのみなみえLv.17はおっきくないかまたは危ない
fact6 -> int4: そのみなみえLv.17が本当らしいということはないとするとおっきいということはない;
$facts$ = fact1: 仮にこのもにゃもちょLv.65は本当らしくないとしたら「そのみなみえLv.17はおっきいということはないかそれは危ないかまたは両方である」ということは誤っている fact2: 「もしも何らかのモンスターは本当らしくないなら「それはおっきい」ということは成り立たない」ということは確かだ fact3: もしこのもにゃもちょLv.65が本当らしいならこのぽわぽくLv.35は湿っぽい fact4: あのぷのぷねLv.85はおっきい fact5: このぽわぽくLv.35は湿っぽくない ; $hypothesis$ = そのみなみえLv.17はおっきくないかまたは危ない ; $proof$ = 
void -> assump1: 以下のように仮定する。このもにゃもちょLv.65は本当らしい; fact3 & assump1 -> int1: このぽわぽくLv.35は湿っぽい; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: このもにゃもちょLv.65は本当らしくない; int3 & fact1 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact1 -> hypothesis; __DISPROVED__