the Japanese is a kind of a capitol.
sent1: the carnelian seeps. sent2: the shoring does not scale and it is not sulcate. sent3: if a grainfield does seep then the gnomon is not diffuse. sent4: there is something such that it seeps. sent5: there is something such that it diffuses. sent6: the Japanese does not fledge. sent7: if something does not rusticate then it is a kind of a capitol. sent8: the fact that the shoring does not seep but it is diffuse does not hold if it is not a scale. sent9: if the shoring does not rusticate then the fact that it is not a Platte and fledges is not right. sent10: if the gnomon is not diffuse then the Japanese is not a capitol. sent11: the carnelian is a grainfield if the shoring does rusticate. sent12: the shoring is not a Platte but it fledges.
void -> assump1: Let's assume that that the shoring does not rusticate is true.; sent9 & assump1 -> int1: the fact that the shoring is not a Platte and does fledge is not correct.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: the shoring rusticates.; int3 & sent11 -> int4: the carnelian is a grainfield.; int4 & sent1 -> int5: the carnelian is a kind of a grainfield and does seep.; int5 -> int6: something is a grainfield and it does seep.; int6 & sent3 -> int7: the gnomon does not diffuse.; int7 & sent10 -> hypothesis;
the Japanese is a capitol.
sent7 -> int8: if the Japanese does not rusticate then it is a capitol.; sent2 -> int9: the shoring is not a kind of a scale.; sent8 & int9 -> int10: the fact that the shoring does not seep but it is diffuse is not true.;
$hypothesis$ = the Japanese is a kind of a capitol. ; $context$ = sent1: the carnelian seeps. sent2: the shoring does not scale and it is not sulcate. sent3: if a grainfield does seep then the gnomon is not diffuse. sent4: there is something such that it seeps. sent5: there is something such that it diffuses. sent6: the Japanese does not fledge. sent7: if something does not rusticate then it is a kind of a capitol. sent8: the fact that the shoring does not seep but it is diffuse does not hold if it is not a scale. sent9: if the shoring does not rusticate then the fact that it is not a Platte and fledges is not right. sent10: if the gnomon is not diffuse then the Japanese is not a capitol. sent11: the carnelian is a grainfield if the shoring does rusticate. sent12: the shoring is not a Platte but it fledges. ; $proof$ = 
void -> assump1: Let's assume that that the shoring does not rusticate is true.; sent9 & assump1 -> int1: the fact that the shoring is not a Platte and does fledge is not correct.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: the shoring rusticates.; int3 & sent11 -> int4: the carnelian is a grainfield.; int4 & sent1 -> int5: the carnelian is a kind of a grainfield and does seep.; int5 -> int6: something is a grainfield and it does seep.; int6 & sent3 -> int7: the gnomon does not diffuse.; int7 & sent10 -> hypothesis; __DISPROVED__