the chondrite is not a kind of a meclizine but it is a immunosuppression if the indentation is tuberous.
sent1: if the fact that that the chondrite is not a meclizine but it is a kind of a immunosuppression hold does not hold that it boasts is not false. sent2: the chondrite is not handmade. sent3: the chintz is a corporatist if it is not a meclizine and is sugary. sent4: if the indentation is tuberous then the chondrite is both a meclizine and a immunosuppression. sent5: the autotype is a kind if that it is not a kind of a immunosuppression and it does resent chintz is false. sent6: the indentation is not tuberous if the chondrite is a kind of a boast but it is not handmade. sent7: the chondrite is a kind of a meclizine if it is not a insidiousness. sent8: the chondrite is a immunosuppression.
void -> assump1: Let's assume that that the chondrite is not a meclizine but it is a immunosuppression does not hold.; sent1 & assump1 -> int1: the chondrite is a boast.; int1 & sent2 -> int2: the chondrite does boast but it is not handmade.; int2 & sent6 -> int3: the indentation is not tuberous.; void -> assump2: Let's assume that the indentation is tuberous.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the chondrite is not a kind of a meclizine and is a kind of a immunosuppression.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the chondrite is not a kind of a meclizine but it is a immunosuppression if the indentation is tuberous. ; $context$ = sent1: if the fact that that the chondrite is not a meclizine but it is a kind of a immunosuppression hold does not hold that it boasts is not false. sent2: the chondrite is not handmade. sent3: the chintz is a corporatist if it is not a meclizine and is sugary. sent4: if the indentation is tuberous then the chondrite is both a meclizine and a immunosuppression. sent5: the autotype is a kind if that it is not a kind of a immunosuppression and it does resent chintz is false. sent6: the indentation is not tuberous if the chondrite is a kind of a boast but it is not handmade. sent7: the chondrite is a kind of a meclizine if it is not a insidiousness. sent8: the chondrite is a immunosuppression. ; $proof$ = 
void -> assump1: Let's assume that that the chondrite is not a meclizine but it is a immunosuppression does not hold.; sent1 & assump1 -> int1: the chondrite is a boast.; int1 & sent2 -> int2: the chondrite does boast but it is not handmade.; int2 & sent6 -> int3: the indentation is not tuberous.; void -> assump2: Let's assume that the indentation is tuberous.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the chondrite is not a kind of a meclizine and is a kind of a immunosuppression.; [assump2] & int5 -> hypothesis; __PROVED__