there is something such that the fact that it is a kind of non-actual thing that is not a kind of a Urbana does not hold.
sent1: the fact that the campmate does not shout and is actual does not hold. sent2: if the campmate does not stick shoeful that it is not actual and it is a kind of a Urbana does not hold. sent3: the nonconformist is baptismal and it shouts. sent4: there is something such that the fact that it is not actual but a Urbana is false. sent5: the fact that the nonconformist is not a kind of a jackstraw but it is a Urbana is not true if the campmate is baptismal. sent6: if the housing is a kind of a grouper then that the campmate does stick shoeful but it is not a kind of a catalufa is not true. sent7: the fact that the housing is not a grouper and is a kind of an original is not correct. sent8: if something does not stick shoeful the fact that it is not actual and is not a Urbana is incorrect. sent9: if the fact that the housing shouts but it is not a catalufa is not true the fact that it does not shouts hold. sent10: the campmate is not a catalufa if the nonconformist is baptismal.
sent3 -> int1: that the nonconformist is baptismal is not wrong.; int1 & sent10 -> int2: the campmate is not a catalufa.; void -> assump1: Let's assume that the fact that the campmate sticks shoeful is not incorrect.; int2 & assump1 -> int3: the campmate does stick shoeful and is not a kind of a catalufa.; sent8 -> int4: if the campmate does not stick shoeful the fact that it is both not actual and not a Urbana does not hold.;
that the nonconformist is not a jackstraw and is a Urbana is not correct.
$hypothesis$ = there is something such that the fact that it is a kind of non-actual thing that is not a kind of a Urbana does not hold. ; $context$ = sent1: the fact that the campmate does not shout and is actual does not hold. sent2: if the campmate does not stick shoeful that it is not actual and it is a kind of a Urbana does not hold. sent3: the nonconformist is baptismal and it shouts. sent4: there is something such that the fact that it is not actual but a Urbana is false. sent5: the fact that the nonconformist is not a kind of a jackstraw but it is a Urbana is not true if the campmate is baptismal. sent6: if the housing is a kind of a grouper then that the campmate does stick shoeful but it is not a kind of a catalufa is not true. sent7: the fact that the housing is not a grouper and is a kind of an original is not correct. sent8: if something does not stick shoeful the fact that it is not actual and is not a Urbana is incorrect. sent9: if the fact that the housing shouts but it is not a catalufa is not true the fact that it does not shouts hold. sent10: the campmate is not a catalufa if the nonconformist is baptismal. ; $proof$ = 
sent3 -> int1: that the nonconformist is baptismal is not wrong.; int1 & sent10 -> int2: the campmate is not a catalufa.; void -> assump1: Let's assume that the fact that the campmate sticks shoeful is not incorrect.; int2 & assump1 -> int3: the campmate does stick shoeful and is not a kind of a catalufa.; sent8 -> int4: if the campmate does not stick shoeful the fact that it is both not actual and not a Urbana does not hold.; __UNKNOWN__