あのぴなぴやLv.94は上場する
fact1: このまくまにょLv.14は悪しくてそれに暫くする fact2: もし仮にあのぷにょぷにLv.8が神々しいとするとあのぷにょぷにLv.8はもどかしい fact3: 仮にあのぷにょぷにLv.8が間断無いならあのぷにょぷにLv.8は神々しい fact4: もしあのぷにょぷにLv.8が暫くすればこのまくまにょLv.14は神々しくない fact5: あのぷにょぷにLv.8がもどかしいならばあのぴなぴやLv.94は上場しない fact6: このまくまにょLv.14が上場するとしたらあのぴなぴやLv.94は上場する
fact1 -> int1: このまくまにょLv.14は悪しい;
fact1 -> int1: {A}{a};
あのぴなぴやLv.94は上場する
$facts$ = fact1: このまくまにょLv.14は悪しくてそれに暫くする fact2: もし仮にあのぷにょぷにLv.8が神々しいとするとあのぷにょぷにLv.8はもどかしい fact3: 仮にあのぷにょぷにLv.8が間断無いならあのぷにょぷにLv.8は神々しい fact4: もしあのぷにょぷにLv.8が暫くすればこのまくまにょLv.14は神々しくない fact5: あのぷにょぷにLv.8がもどかしいならばあのぴなぴやLv.94は上場しない fact6: このまくまにょLv.14が上場するとしたらあのぴなぴやLv.94は上場する ; $hypothesis$ = あのぴなぴやLv.94は上場する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__