the banyan is a knout.
sent1: the convolvulus is an original. sent2: if either something is a volumeter or it is archiepiscopal or both then it is not a plasma. sent3: the wag is not a plasma. sent4: if the convolvulus is not a plasma then that the panorama is a plasma that is not a kind of a statics is wrong. sent5: the panorama is a plasma but it is not an original. sent6: if the panorama is non-phallic the convolvulus is a plasma. sent7: the convolvulus is phallic but not an original if it is not archiepiscopal. sent8: if the convolvulus is a kind of a volumeter then the banyan is a volumeter. sent9: the convolvulus is a volumeter and it is archiepiscopal if the panorama is not a kind of a plasma.
void -> assump1: Let's assume that the convolvulus is not archiepiscopal.; sent7 & assump1 -> int1: the convolvulus is phallic and is not an original.; int1 -> int2: the convolvulus is not a kind of an original.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the convolvulus is archiepiscopal is not false.; int4 -> int5: the convolvulus is a volumeter and/or archiepiscopal.; sent2 -> int6: if the convolvulus is either a volumeter or not non-archiepiscopal or both then it is not a plasma.; int5 & int6 -> int7: the convolvulus is not a plasma.; int7 & sent4 -> int8: that that the panorama is a plasma but not statics is incorrect hold.;
the banyan is a kind of a volumeter.
$hypothesis$ = the banyan is a knout. ; $context$ = sent1: the convolvulus is an original. sent2: if either something is a volumeter or it is archiepiscopal or both then it is not a plasma. sent3: the wag is not a plasma. sent4: if the convolvulus is not a plasma then that the panorama is a plasma that is not a kind of a statics is wrong. sent5: the panorama is a plasma but it is not an original. sent6: if the panorama is non-phallic the convolvulus is a plasma. sent7: the convolvulus is phallic but not an original if it is not archiepiscopal. sent8: if the convolvulus is a kind of a volumeter then the banyan is a volumeter. sent9: the convolvulus is a volumeter and it is archiepiscopal if the panorama is not a kind of a plasma. ; $proof$ = 
void -> assump1: Let's assume that the convolvulus is not archiepiscopal.; sent7 & assump1 -> int1: the convolvulus is phallic and is not an original.; int1 -> int2: the convolvulus is not a kind of an original.; int2 & sent1 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the convolvulus is archiepiscopal is not false.; int4 -> int5: the convolvulus is a volumeter and/or archiepiscopal.; sent2 -> int6: if the convolvulus is either a volumeter or not non-archiepiscopal or both then it is not a plasma.; int5 & int6 -> int7: the convolvulus is not a plasma.; int7 & sent4 -> int8: that that the panorama is a plasma but not statics is incorrect hold.; __UNKNOWN__