このもちゃもちょLv.2は意義深い
fact1: あのまちょまのLv.58はアクセスし易い fact2: 仮にこそばゆくないモンスターが読み終えないとするとこのもちゃもちょLv.2は意義深くない fact3: 仮にあのまちょまのLv.58が伝言する一方で艶出ししないとするとあのまちょまのLv.58は熱っぽい fact4: もしあのまちょまのLv.58がアクセスし易いならば伝言するし加えて艶出ししない
fact4 & fact1 -> int1: あのまちょまのLv.58は伝言するけど艶出しするということはない; int1 & fact3 -> int2: 「あのまちょまのLv.58は熱っぽい」ということは本当である;
fact4 & fact1 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact3 -> int2: {B}{a};
$facts$ = fact1: あのまちょまのLv.58はアクセスし易い fact2: 仮にこそばゆくないモンスターが読み終えないとするとこのもちゃもちょLv.2は意義深くない fact3: 仮にあのまちょまのLv.58が伝言する一方で艶出ししないとするとあのまちょまのLv.58は熱っぽい fact4: もしあのまちょまのLv.58がアクセスし易いならば伝言するし加えて艶出ししない ; $hypothesis$ = このもちゃもちょLv.2は意義深い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__