あのぽえぽちょLv.4は果たし続ける
fact1: このぷにょぷちゅLv.89は回答出来る fact2: もしもこのもちゅもわLv.73は明るくないとすれば「このぽくぽよLv.5が使用し易いしその上それは興奮し易い」ということは誤っている fact3: 「あるモンスターは使用し易いし興奮し易い」ということは成り立たないとするとそれは物らしくない fact4: もし仮にこのぷにょぷちゅLv.89が回答出来るとすればこのぽくぽよLv.5はぐれる fact5: もしこのぽくぽよLv.5は物らしいとすれば「あのぽえぽちょLv.4は果たし続ける」ということは本当だ fact6: もし仮に「このもちゅもわLv.73は同封致すし厚い」ということは間違いならば「明るいということはない」ということは本当だ fact7: もしこのぽくぽよLv.5がぐれるとしたら物らしい
fact4 & fact1 -> int1: このぽくぽよLv.5はぐれる; int1 & fact7 -> int2: このぽくぽよLv.5は物らしい; int2 & fact5 -> hypothesis;
fact4 & fact1 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{b}; int2 & fact5 -> hypothesis;
「あのぽえぽちょLv.4は果たし続けない」ということは真実だ
fact8 -> int3: 「このぽくぽよLv.5は使用し易いししかもそれは興奮し易い」ということは間違いだとしたらこのぽくぽよLv.5は物らしくない;
$facts$ = fact1: このぷにょぷちゅLv.89は回答出来る fact2: もしもこのもちゅもわLv.73は明るくないとすれば「このぽくぽよLv.5が使用し易いしその上それは興奮し易い」ということは誤っている fact3: 「あるモンスターは使用し易いし興奮し易い」ということは成り立たないとするとそれは物らしくない fact4: もし仮にこのぷにょぷちゅLv.89が回答出来るとすればこのぽくぽよLv.5はぐれる fact5: もしこのぽくぽよLv.5は物らしいとすれば「あのぽえぽちょLv.4は果たし続ける」ということは本当だ fact6: もし仮に「このもちゅもわLv.73は同封致すし厚い」ということは間違いならば「明るいということはない」ということは本当だ fact7: もしこのぽくぽよLv.5がぐれるとしたら物らしい ; $hypothesis$ = あのぽえぽちょLv.4は果たし続ける ; $proof$ = 
fact4 & fact1 -> int1: このぽくぽよLv.5はぐれる; int1 & fact7 -> int2: このぽくぽよLv.5は物らしい; int2 & fact5 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: {B}{b}; int1 & fact7 -> int2: {C}{b}; int2 & fact5 -> hypothesis; __PROVED__