そのぴわぴねLv.57は減圧するしまたそれは雄々しい
fact1: 太しモンスターは減圧する fact2: 仮にそのもくもにLv.21が雄々しいとすればそのぴわぴねLv.57は置き易い fact3: もし仮に「このまちょまいLv.67は眠い」ということは事実であればそのぴわぴねLv.57は置き易い fact4: そのもくもにLv.21は太し fact5: もし仮にそのぴわぴねLv.57が太しとすればそのもくもにLv.21は雄々しい fact6: もし仮にそのもくもにLv.21が太しとすればそれは想定し難い fact7: 仮にそのもくもにLv.21は想定し難いとすれば「このまちょまいLv.67は眠い」ということは事実だ fact8: もしもそのぴわぴねLv.57が置き易いとすればそのぴわぴねLv.57は減圧する fact9: そのぴわぴねLv.57は雄々しい fact10: もしもあのまねまくLv.2が眠いとしたら想定し難い
fact6 & fact4 -> int1: そのもくもにLv.21は想定し難い; int1 & fact7 -> int2: このまちょまいLv.67は眠い; int2 & fact3 -> int3: そのぴわぴねLv.57は置き易い; int3 & fact8 -> int4: そのぴわぴねLv.57は減圧する; int4 & fact9 -> hypothesis;
fact6 & fact4 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{c}; int3 & fact8 -> int4: {E}{c}; int4 & fact9 -> hypothesis;
あのまねまくLv.2は減圧する
fact11 -> int5: あのまねまくLv.2は太しとすれば「あのまねまくLv.2は減圧する」ということは真実である;
$facts$ = fact1: 太しモンスターは減圧する fact2: 仮にそのもくもにLv.21が雄々しいとすればそのぴわぴねLv.57は置き易い fact3: もし仮に「このまちょまいLv.67は眠い」ということは事実であればそのぴわぴねLv.57は置き易い fact4: そのもくもにLv.21は太し fact5: もし仮にそのぴわぴねLv.57が太しとすればそのもくもにLv.21は雄々しい fact6: もし仮にそのもくもにLv.21が太しとすればそれは想定し難い fact7: 仮にそのもくもにLv.21は想定し難いとすれば「このまちょまいLv.67は眠い」ということは事実だ fact8: もしもそのぴわぴねLv.57が置き易いとすればそのぴわぴねLv.57は減圧する fact9: そのぴわぴねLv.57は雄々しい fact10: もしもあのまねまくLv.2が眠いとしたら想定し難い ; $hypothesis$ = そのぴわぴねLv.57は減圧するしまたそれは雄々しい ; $proof$ = 
fact6 & fact4 -> int1: そのもくもにLv.21は想定し難い; int1 & fact7 -> int2: このまちょまいLv.67は眠い; int2 & fact3 -> int3: そのぴわぴねLv.57は置き易い; int3 & fact8 -> int4: そのぴわぴねLv.57は減圧する; int4 & fact9 -> hypothesis; __PROVED__
fact6 & fact4 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{b}; int2 & fact3 -> int3: {D}{c}; int3 & fact8 -> int4: {E}{c}; int4 & fact9 -> hypothesis; __PROVED__