そのぽえぽにょLv.89は露呈する
fact1: もし「そのぴちゅぴいLv.55はど偉い」ということは成り立つとしたら「そのぽえぽにょLv.89は聞き齧るかもしくはそれは誇示しない」ということは成り立たない fact2: もし仮に「そのぽえぽにょLv.89は聞き齧るかもしくは誇示しないかどちらもだ」ということは成り立たないとしたら「それは涼しい」ということは成り立つ fact3: もしそのぽえぽにょLv.89が涼しいならそのぽえぽにょLv.89は露呈する fact4: そのぴちゅぴいLv.55はど偉い
fact1 & fact4 -> int1: 「そのぽえぽにょLv.89は聞き齧るかもしくはそれは誇示しないかもしくはどちらもだ」ということは間違っている; int1 & fact2 -> int2: そのぽえぽにょLv.89は涼しい; int2 & fact3 -> hypothesis;
fact1 & fact4 -> int1: ¬({AA}{b} v ¬{AB}{b}); int1 & fact2 -> int2: {B}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: もし「そのぴちゅぴいLv.55はど偉い」ということは成り立つとしたら「そのぽえぽにょLv.89は聞き齧るかもしくはそれは誇示しない」ということは成り立たない fact2: もし仮に「そのぽえぽにょLv.89は聞き齧るかもしくは誇示しないかどちらもだ」ということは成り立たないとしたら「それは涼しい」ということは成り立つ fact3: もしそのぽえぽにょLv.89が涼しいならそのぽえぽにょLv.89は露呈する fact4: そのぴちゅぴいLv.55はど偉い ; $hypothesis$ = そのぽえぽにょLv.89は露呈する ; $proof$ = 
fact1 & fact4 -> int1: 「そのぽえぽにょLv.89は聞き齧るかもしくはそれは誇示しないかもしくはどちらもだ」ということは間違っている; int1 & fact2 -> int2: そのぽえぽにょLv.89は涼しい; int2 & fact3 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: ¬({AA}{b} v ¬{AB}{b}); int1 & fact2 -> int2: {B}{b}; int2 & fact3 -> hypothesis; __PROVED__