そのぴねぴなLv.1は入り易い
fact1: そのぴよぴなLv.85は滑り易い fact2: そのまよまいLv.84は入り易い fact3: もし仮にあのまくまにLv.83が物凄ーくないとすればこのぽなぽわLv.68は御詳しいしおまけにそれは嘆かわしい fact4: そのぴよぴなLv.85は滑り易いしそれは御詳しい fact5: そのぴよぴなLv.85が買い易いとしたらそのまよまいLv.84は御詳しい fact6: このぽなぽわLv.68が御詳しいならそのまよまいLv.84は滑り易い fact7: そのぴよぴなLv.85は買い易いしかつそれは滑り易い
fact7 -> int1: そのぴよぴなLv.85は買い易い; int1 & fact5 -> int2: そのまよまいLv.84は御詳しい;
fact7 -> int1: {A}{a}; int1 & fact5 -> int2: {C}{b};
そのぴねぴなLv.1は入り易くない
$facts$ = fact1: そのぴよぴなLv.85は滑り易い fact2: そのまよまいLv.84は入り易い fact3: もし仮にあのまくまにLv.83が物凄ーくないとすればこのぽなぽわLv.68は御詳しいしおまけにそれは嘆かわしい fact4: そのぴよぴなLv.85は滑り易いしそれは御詳しい fact5: そのぴよぴなLv.85が買い易いとしたらそのまよまいLv.84は御詳しい fact6: このぽなぽわLv.68が御詳しいならそのまよまいLv.84は滑り易い fact7: そのぴよぴなLv.85は買い易いしかつそれは滑り易い ; $hypothesis$ = そのぴねぴなLv.1は入り易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__