このぽなぽえLv.55は作り難い
fact1: このものもくLv.70は薄青くておまけに勇ましい fact2: 仮にあのぷねぷのLv.3がやばいということはないとしたらこのぴにょぴわLv.57は掴み難いし加えて特許する fact3: 仮にあのぷねぷのLv.3が敵中深いとするとそれはやばくない fact4: 勇ましいモンスターは作り難い fact5: もしこのものもくLv.70は作り難いならば「このぴにょぴわLv.57は作り難い」ということは正しい fact6: このぴにょぴわLv.57は特許する
fact6 -> int1: このぴにょぴわLv.57は特許する;
fact6 -> int1: {A}{a};
このぽなぽえLv.55は作り難いということはない
fact10 -> int2: このものもくLv.70が勇ましいとすればこのものもくLv.70は作り難い; fact8 -> int3: このものもくLv.70は勇ましい; int2 & int3 -> int4: このものもくLv.70は作り難い; fact7 & int4 -> int5: このぴにょぴわLv.57は作り難い;
$facts$ = fact1: このものもくLv.70は薄青くておまけに勇ましい fact2: 仮にあのぷねぷのLv.3がやばいということはないとしたらこのぴにょぴわLv.57は掴み難いし加えて特許する fact3: 仮にあのぷねぷのLv.3が敵中深いとするとそれはやばくない fact4: 勇ましいモンスターは作り難い fact5: もしこのものもくLv.70は作り難いならば「このぴにょぴわLv.57は作り難い」ということは正しい fact6: このぴにょぴわLv.57は特許する ; $hypothesis$ = このぽなぽえLv.55は作り難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__