that the waffler is not a public and it does not harvest Silybum does not hold.
sent1: something is a fine and it is plagioclastic if it is non-meteorologic. sent2: that the fact that the waffler does not dally and it is not a dead is not false is not true if something is a uninsurability. sent3: the T-network is not meteorologic if the wallop is both non-plagioclastic and non-fine. sent4: the waffler is not a uninsurability if the wallop is a kind of a uninsurability. sent5: if something is not a uninsurability then it is non-public thing that does not harvest Silybum. sent6: the falcon is a ground. sent7: the wallop is a kind of a ground. sent8: the fact that the Anasazi is plagioclastic but it is non-fine is wrong if the Mattole is not meteorologic. sent9: the Anasazi is plagioclastic and/or it is a dead. sent10: if the fact that something is not a kind of a uninsurability and it is not a kind of a ground is incorrect then it is non-fine. sent11: that the waffler is not a kind of a public and it does not harvest Silybum is wrong if the fact that the T-network is not meteorologic is right. sent12: the T-network is a kind of a fine if the fact that the Anasazi is plagioclastic and is not a kind of a fine is wrong. sent13: the wallop is not plagioclastic if the Anasazi is plagioclastic or a dead or both.
void -> assump1: Let's assume that the wallop is not a uninsurability and it is not a ground.; assump1 -> int1: the wallop is not a ground.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the wallop is not a uninsurability and not a ground is not right.; sent10 -> int4: the wallop is not a fine if that it is both not a uninsurability and not a ground is not true.; int3 & int4 -> int5: the wallop is not a fine.; sent13 & sent9 -> int6: the wallop is non-plagioclastic.; int5 & int6 -> int7: the wallop is not plagioclastic and not fine.; int7 & sent3 -> int8: the T-network is not meteorologic.; int8 & sent11 -> hypothesis;
the waffler is not a public and it does not harvest Silybum.
sent5 -> int9: if the waffler is not a uninsurability it is not public and does not harvest Silybum.;
$hypothesis$ = that the waffler is not a public and it does not harvest Silybum does not hold. ; $context$ = sent1: something is a fine and it is plagioclastic if it is non-meteorologic. sent2: that the fact that the waffler does not dally and it is not a dead is not false is not true if something is a uninsurability. sent3: the T-network is not meteorologic if the wallop is both non-plagioclastic and non-fine. sent4: the waffler is not a uninsurability if the wallop is a kind of a uninsurability. sent5: if something is not a uninsurability then it is non-public thing that does not harvest Silybum. sent6: the falcon is a ground. sent7: the wallop is a kind of a ground. sent8: the fact that the Anasazi is plagioclastic but it is non-fine is wrong if the Mattole is not meteorologic. sent9: the Anasazi is plagioclastic and/or it is a dead. sent10: if the fact that something is not a kind of a uninsurability and it is not a kind of a ground is incorrect then it is non-fine. sent11: that the waffler is not a kind of a public and it does not harvest Silybum is wrong if the fact that the T-network is not meteorologic is right. sent12: the T-network is a kind of a fine if the fact that the Anasazi is plagioclastic and is not a kind of a fine is wrong. sent13: the wallop is not plagioclastic if the Anasazi is plagioclastic or a dead or both. ; $proof$ = 
void -> assump1: Let's assume that the wallop is not a uninsurability and it is not a ground.; assump1 -> int1: the wallop is not a ground.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the wallop is not a uninsurability and not a ground is not right.; sent10 -> int4: the wallop is not a fine if that it is both not a uninsurability and not a ground is not true.; int3 & int4 -> int5: the wallop is not a fine.; sent13 & sent9 -> int6: the wallop is non-plagioclastic.; int5 & int6 -> int7: the wallop is not plagioclastic and not fine.; int7 & sent3 -> int8: the T-network is not meteorologic.; int8 & sent11 -> hypothesis; __PROVED__