the nostoc is lithophytic.
sent1: the diffraction does not bank if the oxheart is auxetic and/or it is a kind of a tricolor. sent2: the Bast is not a mug. sent3: the fact that the diffraction is a bank and it is a disquisition does not hold. sent4: the oxheart is auxetic if the Bast is both not a mug and not a disquisition. sent5: if the nostoc is not lithophytic that it is orthodox and it is not a psychotic is not right. sent6: the Bast is not a disquisition if the fact that the nostoc is orthodox but not a psychotic is wrong. sent7: the diffraction is a kind of a bank.
void -> assump1: Let's assume that the nostoc is not lithophytic.; sent5 & assump1 -> int1: the fact that the nostoc is orthodox but it is not a psychotic does not hold.; int1 & sent6 -> int2: the Bast is not a disquisition.; int2 & sent2 -> int3: the Bast is not a mug and it is not a disquisition.; int3 & sent4 -> int4: the oxheart is auxetic.; int4 -> int5: the oxheart is auxetic and/or it is a tricolor.; int5 & sent1 -> int6: the diffraction is not a bank.; int6 & sent7 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the nostoc is lithophytic. ; $context$ = sent1: the diffraction does not bank if the oxheart is auxetic and/or it is a kind of a tricolor. sent2: the Bast is not a mug. sent3: the fact that the diffraction is a bank and it is a disquisition does not hold. sent4: the oxheart is auxetic if the Bast is both not a mug and not a disquisition. sent5: if the nostoc is not lithophytic that it is orthodox and it is not a psychotic is not right. sent6: the Bast is not a disquisition if the fact that the nostoc is orthodox but not a psychotic is wrong. sent7: the diffraction is a kind of a bank. ; $proof$ = 
void -> assump1: Let's assume that the nostoc is not lithophytic.; sent5 & assump1 -> int1: the fact that the nostoc is orthodox but it is not a psychotic does not hold.; int1 & sent6 -> int2: the Bast is not a disquisition.; int2 & sent2 -> int3: the Bast is not a mug and it is not a disquisition.; int3 & sent4 -> int4: the oxheart is auxetic.; int4 -> int5: the oxheart is auxetic and/or it is a tricolor.; int5 & sent1 -> int6: the diffraction is not a bank.; int6 & sent7 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__