あのぽちょぽゆLv.38は掛け難い
fact1: そのぴちゅぴちゅLv.68は利用され易いしかつ掛け難い fact2: 仮にそのぴちゅぴちゅLv.68が厳しいならそのぴちゅぴちゅLv.68は御労しい fact3: 仮にあのぽちょぽゆLv.38が危うしとすればあのぽちょぽゆLv.38は犯し難い fact4: もしもそのぴちゅぴちゅLv.68が御労しいならあのぽちょぽゆLv.38は危うし fact5: そのぴちゅぴちゅLv.68は利用され易くないとしたら「あのぽちょぽゆLv.38は掛け難くなくてそれに厳しくない」ということは正しい fact6: そのぴちゅぴちゅLv.68は利用され易い fact7: もしもあのぽちょぽゆLv.38が犯し難いならあのぽちょぽゆLv.38は掛け難い fact8: 「そのぴちゅぴちゅLv.68は厳しいしそれは利用され易い」ということは成り立つ
fact8 -> int1: そのぴちゅぴちゅLv.68は厳しい; int1 & fact2 -> int2: そのぴちゅぴちゅLv.68は御労しい; int2 & fact4 -> int3: あのぽちょぽゆLv.38は危うし; int3 & fact3 -> int4: あのぽちょぽゆLv.38は犯し難い; int4 & fact7 -> hypothesis;
fact8 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{b}; int3 & fact3 -> int4: {E}{b}; int4 & fact7 -> hypothesis;
あのぽちょぽゆLv.38は掛け難くない
$facts$ = fact1: そのぴちゅぴちゅLv.68は利用され易いしかつ掛け難い fact2: 仮にそのぴちゅぴちゅLv.68が厳しいならそのぴちゅぴちゅLv.68は御労しい fact3: 仮にあのぽちょぽゆLv.38が危うしとすればあのぽちょぽゆLv.38は犯し難い fact4: もしもそのぴちゅぴちゅLv.68が御労しいならあのぽちょぽゆLv.38は危うし fact5: そのぴちゅぴちゅLv.68は利用され易くないとしたら「あのぽちょぽゆLv.38は掛け難くなくてそれに厳しくない」ということは正しい fact6: そのぴちゅぴちゅLv.68は利用され易い fact7: もしもあのぽちょぽゆLv.38が犯し難いならあのぽちょぽゆLv.38は掛け難い fact8: 「そのぴちゅぴちゅLv.68は厳しいしそれは利用され易い」ということは成り立つ ; $hypothesis$ = あのぽちょぽゆLv.38は掛け難い ; $proof$ = 
fact8 -> int1: そのぴちゅぴちゅLv.68は厳しい; int1 & fact2 -> int2: そのぴちゅぴちゅLv.68は御労しい; int2 & fact4 -> int3: あのぽちょぽゆLv.38は危うし; int3 & fact3 -> int4: あのぽちょぽゆLv.38は犯し難い; int4 & fact7 -> hypothesis; __PROVED__
fact8 -> int1: {A}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{b}; int3 & fact3 -> int4: {E}{b}; int4 & fact7 -> hypothesis; __PROVED__