あのみにみにLv.33は掛かり難い
fact1: もしもなんらかのモンスターが犯し難いとすればそれは掛かり難い fact2: 「このぴくぴにゅLv.49は犯し難い」ということは成り立つ fact3: 「分かり辛くないモンスターは注視すし厳めしい」ということは正しい fact4: このぷやぷねLv.71は厳めしい fact5: もしこのぴくぴにゅLv.49が加われるが発揮し易くないとすればこのぷやぷねLv.71は注視す fact6: もしこのぷやぷねLv.71が厳めしいし加えて注視すとしたらあのみにみにLv.33は掛かり難くない fact7: このぴくぴにゅLv.49が注視すとしたらあのぷちゃぷちょLv.62は犯し難い fact8: もしもこのぴくぴにゅLv.49が犯し難いとすればこのぴくぴにゅLv.49は加われるけど発揮し易くない
fact8 & fact2 -> int1: このぴくぴにゅLv.49は加われるけれど発揮し易くない; int1 & fact5 -> int2: このぷやぷねLv.71は注視す; int2 & fact4 -> int3: このぷやぷねLv.71は厳めしいし更にそれは注視す; int3 & fact6 -> hypothesis;
fact8 & fact2 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact5 -> int2: {B}{b}; int2 & fact4 -> int3: ({C}{b} & {B}{b}); int3 & fact6 -> hypothesis;
あのぷちゃぷちょLv.62は掛かり難い
fact9 -> int4: もし仮にあのぷちゃぷちょLv.62が犯し難いならあのぷちゃぷちょLv.62は掛かり難い; fact10 -> int5: もしもこのぴくぴにゅLv.49が分かり辛くないならばこのぴくぴにゅLv.49は注視すししかも厳めしい;
$facts$ = fact1: もしもなんらかのモンスターが犯し難いとすればそれは掛かり難い fact2: 「このぴくぴにゅLv.49は犯し難い」ということは成り立つ fact3: 「分かり辛くないモンスターは注視すし厳めしい」ということは正しい fact4: このぷやぷねLv.71は厳めしい fact5: もしこのぴくぴにゅLv.49が加われるが発揮し易くないとすればこのぷやぷねLv.71は注視す fact6: もしこのぷやぷねLv.71が厳めしいし加えて注視すとしたらあのみにみにLv.33は掛かり難くない fact7: このぴくぴにゅLv.49が注視すとしたらあのぷちゃぷちょLv.62は犯し難い fact8: もしもこのぴくぴにゅLv.49が犯し難いとすればこのぴくぴにゅLv.49は加われるけど発揮し易くない ; $hypothesis$ = あのみにみにLv.33は掛かり難い ; $proof$ = 
fact8 & fact2 -> int1: このぴくぴにゅLv.49は加われるけれど発揮し易くない; int1 & fact5 -> int2: このぷやぷねLv.71は注視す; int2 & fact4 -> int3: このぷやぷねLv.71は厳めしいし更にそれは注視す; int3 & fact6 -> hypothesis; __DISPROVED__
fact8 & fact2 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact5 -> int2: {B}{b}; int2 & fact4 -> int3: ({C}{b} & {B}{b}); int3 & fact6 -> hypothesis; __DISPROVED__