あるモンスターは勝ち抜くしかつ使い難い
fact1: もし仮にそのまわまにゅLv.11が勝ち抜くということはないとすればあのぷいぷよLv.55が短絡的過ぎるしその上使い難い fact2: もしもそのぴわぴくLv.40が短絡的過ぎるとしたらそのまわまにゅLv.11は使い難い fact3: そのもちゅもわLv.45は勝ち抜くし更に表現し難い fact4: そのぴわぴくLv.40は勝ち抜く fact5: そのぴわぴくLv.40は短絡的過ぎる fact6: 仮にそのまわまにゅLv.11が短絡的過ぎるとするとそのぴわぴくLv.40は使い難い fact7: そのまわまにゅLv.11は短絡的過ぎる
fact6 & fact7 -> int1: そのぴわぴくLv.40は使い難い; int1 & fact4 -> int2: そのぴわぴくLv.40は勝ち抜くしそれは使い難い; int2 -> hypothesis;
fact6 & fact7 -> int1: {B}{b}; int1 & fact4 -> int2: ({C}{b} & {B}{b}); int2 -> hypothesis;
あのぷいぷよLv.55は短絡的過ぎる
$facts$ = fact1: もし仮にそのまわまにゅLv.11が勝ち抜くということはないとすればあのぷいぷよLv.55が短絡的過ぎるしその上使い難い fact2: もしもそのぴわぴくLv.40が短絡的過ぎるとしたらそのまわまにゅLv.11は使い難い fact3: そのもちゅもわLv.45は勝ち抜くし更に表現し難い fact4: そのぴわぴくLv.40は勝ち抜く fact5: そのぴわぴくLv.40は短絡的過ぎる fact6: 仮にそのまわまにゅLv.11が短絡的過ぎるとするとそのぴわぴくLv.40は使い難い fact7: そのまわまにゅLv.11は短絡的過ぎる ; $hypothesis$ = あるモンスターは勝ち抜くしかつ使い難い ; $proof$ = 
fact6 & fact7 -> int1: そのぴわぴくLv.40は使い難い; int1 & fact4 -> int2: そのぴわぴくLv.40は勝ち抜くしそれは使い難い; int2 -> hypothesis; __PROVED__
fact6 & fact7 -> int1: {B}{b}; int1 & fact4 -> int2: ({C}{b} & {B}{b}); int2 -> hypothesis; __PROVED__