このまちゅまちゅLv.65は上場しない一方でそれは来辛い
fact1: もしなんらかのモンスターが長呼するとするとそのぴえぴちゅLv.79が長呼するしその上それは読み難い fact2: もしもあのぷよぷゆLv.5が行き易いならあのぷよぷゆLv.5は気まずくないし加えて書き留めない fact3: そのぴえぴちゅLv.79が長呼するとしたらこのぷちゃぷなLv.12はどす黒いということはないけれどそれは上場する fact4: なにがしかのモンスターは長呼するとすれば「それは上場しない一方で来辛い」ということは成り立つ fact5: あのぷよぷゆLv.5は行き易い fact6: もしあのぷよぷゆLv.5が気まずくないとするとこのぴのぴにょLv.61は長呼するしおまけに間断無い
fact4 -> int1: 仮にこのまちゅまちゅLv.65が長呼するとすればそれは上場しないが来辛い;
fact4 -> int1: {A}{aa} -> (¬{AA}{aa} & {AB}{aa});
あのもいもにゃLv.5は上場する
fact8 & fact10 -> int2: あのぷよぷゆLv.5は気まずくなくてその上書き留めない; int2 -> int3: あのぷよぷゆLv.5は気まずいということはない; fact9 & int3 -> int4: このぴのぴにょLv.61は長呼するしまた間断無い; int4 -> int5: このぴのぴにょLv.61は長呼する; int5 -> int6: 「長呼する」モンスターはいる; int6 & fact11 -> int7: そのぴえぴちゅLv.79は長呼するし読み難い; int7 -> int8: そのぴえぴちゅLv.79は長呼する; fact7 & int8 -> int9: このぷちゃぷなLv.12はどす黒くないがしかしそれは上場する; int9 -> int10: 「どす黒いということはないけれど上場する」モンスターはいる;
$facts$ = fact1: もしなんらかのモンスターが長呼するとするとそのぴえぴちゅLv.79が長呼するしその上それは読み難い fact2: もしもあのぷよぷゆLv.5が行き易いならあのぷよぷゆLv.5は気まずくないし加えて書き留めない fact3: そのぴえぴちゅLv.79が長呼するとしたらこのぷちゃぷなLv.12はどす黒いということはないけれどそれは上場する fact4: なにがしかのモンスターは長呼するとすれば「それは上場しない一方で来辛い」ということは成り立つ fact5: あのぷよぷゆLv.5は行き易い fact6: もしあのぷよぷゆLv.5が気まずくないとするとこのぴのぴにょLv.61は長呼するしおまけに間断無い ; $hypothesis$ = このまちゅまちゅLv.65は上場しない一方でそれは来辛い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__