あのぽいぽちゅLv.41は知り得ない
fact1: あのぽいぽちゅLv.41は懲らしめる fact2: もしもあのぽいぽちゅLv.41が個別化するとすればあのぽいぽちゅLv.41は男っぽい fact3: もし「あのぽいぽちゅLv.41は男っぽいしそれは懲らしめる」ということは成り立てばそれは知り得ということはない fact4: あのぽいぽちゅLv.41は個別化する
fact2 & fact4 -> int1: あのぽいぽちゅLv.41は男っぽい; int1 & fact1 -> int2: あのぽいぽちゅLv.41は男っぽいし加えて懲らしめる; int2 & fact3 -> hypothesis;
fact2 & fact4 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact3 -> hypothesis;
$facts$ = fact1: あのぽいぽちゅLv.41は懲らしめる fact2: もしもあのぽいぽちゅLv.41が個別化するとすればあのぽいぽちゅLv.41は男っぽい fact3: もし「あのぽいぽちゅLv.41は男っぽいしそれは懲らしめる」ということは成り立てばそれは知り得ということはない fact4: あのぽいぽちゅLv.41は個別化する ; $hypothesis$ = あのぽいぽちゅLv.41は知り得ない ; $proof$ = 
fact2 & fact4 -> int1: あのぽいぽちゅLv.41は男っぽい; int1 & fact1 -> int2: あのぽいぽちゅLv.41は男っぽいし加えて懲らしめる; int2 & fact3 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact3 -> hypothesis; __PROVED__