「そのぷちゅぷにゅLv.65は捕まえ易くないししかも忠実忠実しかない」ということは成り立たない
fact1: あのまなまゆLv.84は多しとすると「そのぷちゅぷにゅLv.65は捕まえ易いけどそれは忠実忠実しかない」ということは事実でない fact2: もし仮にそのぷにぷにょLv.58が極まり悪いならあのまなまゆLv.84は多し fact3: 「あのまなまゆLv.84は止む無し一方で多しない」ということは嘘である fact4: そのぷにぷにょLv.58は止む無し fact5: 「そのぷにぷにょLv.58は極まり悪いし止む無し」ということは成り立つ fact6: 仮に「あのまなまゆLv.84は多し」ということは真実だとすれば「そのぷちゅぷにゅLv.65は捕まえ易くなくて忠実忠実しいということはない」ということは誤りだ
fact5 -> int1: そのぷにぷにょLv.58は極まり悪い; int1 & fact2 -> int2: あのまなまゆLv.84は多し; int2 & fact6 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact6 -> hypothesis;
$facts$ = fact1: あのまなまゆLv.84は多しとすると「そのぷちゅぷにゅLv.65は捕まえ易いけどそれは忠実忠実しかない」ということは事実でない fact2: もし仮にそのぷにぷにょLv.58が極まり悪いならあのまなまゆLv.84は多し fact3: 「あのまなまゆLv.84は止む無し一方で多しない」ということは嘘である fact4: そのぷにぷにょLv.58は止む無し fact5: 「そのぷにぷにょLv.58は極まり悪いし止む無し」ということは成り立つ fact6: 仮に「あのまなまゆLv.84は多し」ということは真実だとすれば「そのぷちゅぷにゅLv.65は捕まえ易くなくて忠実忠実しいということはない」ということは誤りだ ; $hypothesis$ = 「そのぷちゅぷにゅLv.65は捕まえ易くないししかも忠実忠実しかない」ということは成り立たない ; $proof$ = 
fact5 -> int1: そのぷにぷにょLv.58は極まり悪い; int1 & fact2 -> int2: あのまなまゆLv.84は多し; int2 & fact6 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{b}; int2 & fact6 -> hypothesis; __PROVED__