something is a Kolami and it is a kind of a reservoir.
sent1: the latch is a kind of a flats. sent2: the Strand is a reservoir if the cutout is a skateboard. sent3: the Strand is genitourinary if the latch is a reservoir. sent4: the fact that something is a kind of a reservoir hold. sent5: the peacock is both not bellied and not non-center. sent6: if the latch is a kind of flats thing that is not genitourinary then the peacock is a kind of a cockpit. sent7: if the cutout is a kind of a reign that does not unwrap resh then it is genitourinary. sent8: the fact that the latch is not a cockpit is not wrong. sent9: the cutout is a reign. sent10: something is genitourinary. sent11: if the fact that the cutout is a reign and does not unwrap resh is not correct then it is a kind of a skateboard. sent12: the cutout is a cockpit if it is a kind of a skateboard and it does not unwrap resh. sent13: the cutout is not a reservoir. sent14: the perspirer is genitourinary. sent15: if the cutout is not a reign it does skateboard. sent16: the peacock is not a cockpit. sent17: the latch is not non-flats but it is not genitourinary if the cutout is genitourinary. sent18: the peacock is a kind of a flats but it is not a Jordanian. sent19: the cutout is cathectic but it does not indicate. sent20: if the cutout is genitourinary then the latch is a flats. sent21: the peacock does skateboard. sent22: if the cutout is genitourinary the Strand is a Kolami and is not genitourinary. sent23: something is a Kolami.
void -> assump1: Let's assume that the cutout reigns but it does not unwrap resh.; sent7 & assump1 -> int1: the cutout is genitourinary.; int1 & sent17 -> int2: the latch is flats but it is not genitourinary.; int2 & sent6 -> int3: the peacock is a cockpit.; int3 & sent16 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the cutout is a kind of a reign but it does not unwrap resh does not hold.; int5 & sent11 -> int6: the cutout is a skateboard.; int6 & sent2 -> int7: the Strand is a reservoir.;
$hypothesis$ = something is a Kolami and it is a kind of a reservoir. ; $context$ = sent1: the latch is a kind of a flats. sent2: the Strand is a reservoir if the cutout is a skateboard. sent3: the Strand is genitourinary if the latch is a reservoir. sent4: the fact that something is a kind of a reservoir hold. sent5: the peacock is both not bellied and not non-center. sent6: if the latch is a kind of flats thing that is not genitourinary then the peacock is a kind of a cockpit. sent7: if the cutout is a kind of a reign that does not unwrap resh then it is genitourinary. sent8: the fact that the latch is not a cockpit is not wrong. sent9: the cutout is a reign. sent10: something is genitourinary. sent11: if the fact that the cutout is a reign and does not unwrap resh is not correct then it is a kind of a skateboard. sent12: the cutout is a cockpit if it is a kind of a skateboard and it does not unwrap resh. sent13: the cutout is not a reservoir. sent14: the perspirer is genitourinary. sent15: if the cutout is not a reign it does skateboard. sent16: the peacock is not a cockpit. sent17: the latch is not non-flats but it is not genitourinary if the cutout is genitourinary. sent18: the peacock is a kind of a flats but it is not a Jordanian. sent19: the cutout is cathectic but it does not indicate. sent20: if the cutout is genitourinary then the latch is a flats. sent21: the peacock does skateboard. sent22: if the cutout is genitourinary the Strand is a Kolami and is not genitourinary. sent23: something is a Kolami. ; $proof$ = 
void -> assump1: Let's assume that the cutout reigns but it does not unwrap resh.; sent7 & assump1 -> int1: the cutout is genitourinary.; int1 & sent17 -> int2: the latch is flats but it is not genitourinary.; int2 & sent6 -> int3: the peacock is a cockpit.; int3 & sent16 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the cutout is a kind of a reign but it does not unwrap resh does not hold.; int5 & sent11 -> int6: the cutout is a skateboard.; int6 & sent2 -> int7: the Strand is a reservoir.; __UNKNOWN__