とあるモンスターは押し付けがましいかそれは青い
fact1: あのまねまにゅLv.83は手広いなら「そのまやまにゅLv.41は青い」ということは成り立つ fact2: もしあのまねまにゅLv.83は付き難いとすると「そのまやまにゅLv.41は付き難い」ということは真実だ fact3: あのまねまにゅLv.83は手広い fact4: もし仮に「なんらかのモンスターは押し付けがましいがしかし子供らしくない」ということは間違いなら青くない
fact1 & fact3 -> int1: そのまやまにゅLv.41は青い; int1 -> int2: そのまやまにゅLv.41は押し付けがましいか青いか両方だ; int2 -> hypothesis;
fact1 & fact3 -> int1: {B}{b}; int1 -> int2: ({C}{b} v {B}{b}); int2 -> hypothesis;
そのまやまにゅLv.41は付き難い
fact6 -> int3: もしも「このぷちょぷいLv.12は押し付けがましい一方でそれは子供らしくない」ということは誤っていればそれは青くない;
$facts$ = fact1: あのまねまにゅLv.83は手広いなら「そのまやまにゅLv.41は青い」ということは成り立つ fact2: もしあのまねまにゅLv.83は付き難いとすると「そのまやまにゅLv.41は付き難い」ということは真実だ fact3: あのまねまにゅLv.83は手広い fact4: もし仮に「なんらかのモンスターは押し付けがましいがしかし子供らしくない」ということは間違いなら青くない ; $hypothesis$ = とあるモンスターは押し付けがましいかそれは青い ; $proof$ = 
fact1 & fact3 -> int1: そのまやまにゅLv.41は青い; int1 -> int2: そのまやまにゅLv.41は押し付けがましいか青いか両方だ; int2 -> hypothesis; __PROVED__
fact1 & fact3 -> int1: {B}{b}; int1 -> int2: ({C}{b} v {B}{b}); int2 -> hypothesis; __PROVED__