「このぽのぽわLv.96は人間臭い」ということは正しい
fact1: このぽにゃぽにLv.42は創刊しないがしかし滑り易い fact2: このぽのぽわLv.96は創刊する fact3: 「このぽにゃぽにLv.42は創刊するとすれば「このぽにゃぽにLv.42は人間臭い」ということは確かだ」ということは本当である fact4: もしも「このぽにゃぽにLv.42は近し」ということは正しいならばそれは集まり易い fact5: もし仮にこのぽにゃぽにLv.42が感染し易いならばこのぽのぽわLv.96は人間臭い fact6: このぽにゃぽにLv.42が維持・促進するとしたらそれは近し fact7: もし仮にこのぽにゃぽにLv.42が集まり易いならこのぽにゃぽにLv.42は感染し易い fact8: もしもこのぽにゃぽにLv.42は創刊しないけれど滑り易いとしたら「このぽにゃぽにLv.42は維持・促進する」ということは本当である fact9: このぽにゃぽにLv.42は創刊しない fact10: 「このぽにゃぽにLv.42は創刊するし加えて滑り易い」ということは真実だとするとこのぽにゃぽにLv.42は維持・促進する
fact8 & fact1 -> int1: このぽにゃぽにLv.42は維持・促進する; int1 & fact6 -> int2: このぽにゃぽにLv.42は近し; int2 & fact4 -> int3: このぽにゃぽにLv.42は集まり易い; int3 & fact7 -> int4: 「このぽにゃぽにLv.42は感染し易い」ということは事実だ; int4 & fact5 -> hypothesis;
fact8 & fact1 -> int1: {B}{a}; int1 & fact6 -> int2: {A}{a}; int2 & fact4 -> int3: {C}{a}; int3 & fact7 -> int4: {D}{a}; int4 & fact5 -> hypothesis;
$facts$ = fact1: このぽにゃぽにLv.42は創刊しないがしかし滑り易い fact2: このぽのぽわLv.96は創刊する fact3: 「このぽにゃぽにLv.42は創刊するとすれば「このぽにゃぽにLv.42は人間臭い」ということは確かだ」ということは本当である fact4: もしも「このぽにゃぽにLv.42は近し」ということは正しいならばそれは集まり易い fact5: もし仮にこのぽにゃぽにLv.42が感染し易いならばこのぽのぽわLv.96は人間臭い fact6: このぽにゃぽにLv.42が維持・促進するとしたらそれは近し fact7: もし仮にこのぽにゃぽにLv.42が集まり易いならこのぽにゃぽにLv.42は感染し易い fact8: もしもこのぽにゃぽにLv.42は創刊しないけれど滑り易いとしたら「このぽにゃぽにLv.42は維持・促進する」ということは本当である fact9: このぽにゃぽにLv.42は創刊しない fact10: 「このぽにゃぽにLv.42は創刊するし加えて滑り易い」ということは真実だとするとこのぽにゃぽにLv.42は維持・促進する ; $hypothesis$ = 「このぽのぽわLv.96は人間臭い」ということは正しい ; $proof$ = 
fact8 & fact1 -> int1: このぽにゃぽにLv.42は維持・促進する; int1 & fact6 -> int2: このぽにゃぽにLv.42は近し; int2 & fact4 -> int3: このぽにゃぽにLv.42は集まり易い; int3 & fact7 -> int4: 「このぽにゃぽにLv.42は感染し易い」ということは事実だ; int4 & fact5 -> hypothesis; __PROVED__
fact8 & fact1 -> int1: {B}{a}; int1 & fact6 -> int2: {A}{a}; int2 & fact4 -> int3: {C}{a}; int3 & fact7 -> int4: {D}{a}; int4 & fact5 -> hypothesis; __PROVED__