このぽのぽちょLv.90は乾き易い
fact1: もしもあのぷちゅぷいLv.39がドラマ化すればこのぷなぷちゅLv.14は把握し易いかあるいは真新しくないかどちらもである fact2: 仮にこのまちゅまにゃLv.25が無さ過ぎるとしたら怖ーい fact3: もしもこのぷなぷちゅLv.14が把握し易いとしたらこのまちゅまにゃLv.25は無さ過ぎる fact4: もしもこのぽのぽちょLv.90は来難いとしたら「それは乾き易くない」ということは成り立たない fact5: なにがしかのモンスターが無さ過ぎないとすれば来難くてかつそれはドラマ化する fact6: 仮に「なんらかのモンスターは怖ーいということはない」ということは事実だとすると「それは乾き易いしそれは無さ過ぎる」ということは確かであるということはない fact7: このぷなぷちゅLv.14が真新しくないとするとこのまちゅまにゃLv.25は無さ過ぎる fact8: あのぷちゅぷいLv.39はドラマ化する fact9: もし「あのぷちゅぷいLv.39は乾き易いし加えて無さ過ぎる」ということは偽だとすればこのぷなぷちゅLv.14は無さ過ぎない fact10: このまちゅまにゃLv.25が怖ーいならばこのぽのぽちょLv.90は来難い
fact1 & fact8 -> int1: このぷなぷちゅLv.14は把握し易いかまたは真新しいということはないかまたはどちらもだ; int1 & fact3 & fact7 -> int2: このまちゅまにゃLv.25は無さ過ぎる; int2 & fact2 -> int3: このまちゅまにゃLv.25は怖ーい; int3 & fact10 -> int4: このぽのぽちょLv.90は来難い; int4 & fact4 -> hypothesis;
fact1 & fact8 -> int1: ({AA}{b} v ¬{AB}{b}); int1 & fact3 & fact7 -> int2: {B}{c}; int2 & fact2 -> int3: {C}{c}; int3 & fact10 -> int4: {D}{d}; int4 & fact4 -> hypothesis;
このぷなぷちゅLv.14は来難い
fact13 -> int5: もしこのぷなぷちゅLv.14が無さ過ぎないとするとこのぷなぷちゅLv.14は来難くてそれにそれはドラマ化する; fact12 -> int6: 仮にこのまちゅまにゃLv.25は怖ーくないとすれば「それは乾き易いし無さ過ぎる」ということは事実と異なる;
$facts$ = fact1: もしもあのぷちゅぷいLv.39がドラマ化すればこのぷなぷちゅLv.14は把握し易いかあるいは真新しくないかどちらもである fact2: 仮にこのまちゅまにゃLv.25が無さ過ぎるとしたら怖ーい fact3: もしもこのぷなぷちゅLv.14が把握し易いとしたらこのまちゅまにゃLv.25は無さ過ぎる fact4: もしもこのぽのぽちょLv.90は来難いとしたら「それは乾き易くない」ということは成り立たない fact5: なにがしかのモンスターが無さ過ぎないとすれば来難くてかつそれはドラマ化する fact6: 仮に「なんらかのモンスターは怖ーいということはない」ということは事実だとすると「それは乾き易いしそれは無さ過ぎる」ということは確かであるということはない fact7: このぷなぷちゅLv.14が真新しくないとするとこのまちゅまにゃLv.25は無さ過ぎる fact8: あのぷちゅぷいLv.39はドラマ化する fact9: もし「あのぷちゅぷいLv.39は乾き易いし加えて無さ過ぎる」ということは偽だとすればこのぷなぷちゅLv.14は無さ過ぎない fact10: このまちゅまにゃLv.25が怖ーいならばこのぽのぽちょLv.90は来難い ; $hypothesis$ = このぽのぽちょLv.90は乾き易い ; $proof$ = 
fact1 & fact8 -> int1: このぷなぷちゅLv.14は把握し易いかまたは真新しいということはないかまたはどちらもだ; int1 & fact3 & fact7 -> int2: このまちゅまにゃLv.25は無さ過ぎる; int2 & fact2 -> int3: このまちゅまにゃLv.25は怖ーい; int3 & fact10 -> int4: このぽのぽちょLv.90は来難い; int4 & fact4 -> hypothesis; __PROVED__
fact1 & fact8 -> int1: ({AA}{b} v ¬{AB}{b}); int1 & fact3 & fact7 -> int2: {B}{c}; int2 & fact2 -> int3: {C}{c}; int3 & fact10 -> int4: {D}{d}; int4 & fact4 -> hypothesis; __PROVED__