the weekly is either not basic or not a concussion or both.
sent1: that the maple is a bedpost and does snuffle conjunction does not hold if something is a bedpost. sent2: the weekly is not a basic or it is a concussion or both. sent3: if the coconut is not a basic the weekly is not a basic and/or it is a concussion. sent4: that the maple is not a bedpost and does snuffle conjunction is incorrect if something is a kind of a bedpost. sent5: the seriema is a kind of a bedpost. sent6: if that the coconut is not a kind of a basic is true then either the weekly is a basic or it is not a kind of a concussion or both. sent7: the coconut is a controllership. sent8: that the maple is not a kind of a bedpost but it is basic is not right. sent9: the fact that the weekly either is not a basic or is not a kind of a concussion or both if the coconut is not a basic is not incorrect. sent10: the nozzle is not provencal if it either does not snuffle conjunction or is not provencal or both. sent11: there exists something such that it is basic. sent12: the fact that the coconut is provencal is not incorrect if it is a kind of a controllership. sent13: the coconut is a plan. sent14: the nozzle is provencal. sent15: the weekly is basic or is not a kind of a concussion or both. sent16: that the maple is a kind of a bedpost that snuffles conjunction is incorrect. sent17: if the maple is a bedpost the nozzle does enjoy maple. sent18: the nozzle is not a basic. sent19: the coconut is a DC. sent20: the fact that something does not enjoy maple and is a controllership is false if the fact that it is not provencal is correct. sent21: if the fact that the maple is not a bedpost and does snuffle conjunction is not correct then the nozzle enjoys maple. sent22: there is something such that it is not non-provencal.
sent12 & sent7 -> int1: the coconut is provencal.; void -> assump1: Let's assume that the coconut is a basic.; int1 & assump1 -> int2: the coconut is both provencal and basic.; int2 -> int3: something is provencal and it is a kind of a basic.; sent5 -> int4: there exists something such that it is a kind of a bedpost.; int4 & sent4 -> int5: that the maple is not a bedpost and does snuffle conjunction is wrong.; sent21 & int5 -> int6: the fact that the nozzle enjoys maple is not false.;
that the weekly is not basic and/or it is not a concussion is not true.
sent20 -> int7: that that the nozzle does not enjoy maple but it is the controllership does not hold if the nozzle is not provencal is true.;
$hypothesis$ = the weekly is either not basic or not a concussion or both. ; $context$ = sent1: that the maple is a bedpost and does snuffle conjunction does not hold if something is a bedpost. sent2: the weekly is not a basic or it is a concussion or both. sent3: if the coconut is not a basic the weekly is not a basic and/or it is a concussion. sent4: that the maple is not a bedpost and does snuffle conjunction is incorrect if something is a kind of a bedpost. sent5: the seriema is a kind of a bedpost. sent6: if that the coconut is not a kind of a basic is true then either the weekly is a basic or it is not a kind of a concussion or both. sent7: the coconut is a controllership. sent8: that the maple is not a kind of a bedpost but it is basic is not right. sent9: the fact that the weekly either is not a basic or is not a kind of a concussion or both if the coconut is not a basic is not incorrect. sent10: the nozzle is not provencal if it either does not snuffle conjunction or is not provencal or both. sent11: there exists something such that it is basic. sent12: the fact that the coconut is provencal is not incorrect if it is a kind of a controllership. sent13: the coconut is a plan. sent14: the nozzle is provencal. sent15: the weekly is basic or is not a kind of a concussion or both. sent16: that the maple is a kind of a bedpost that snuffles conjunction is incorrect. sent17: if the maple is a bedpost the nozzle does enjoy maple. sent18: the nozzle is not a basic. sent19: the coconut is a DC. sent20: the fact that something does not enjoy maple and is a controllership is false if the fact that it is not provencal is correct. sent21: if the fact that the maple is not a bedpost and does snuffle conjunction is not correct then the nozzle enjoys maple. sent22: there is something such that it is not non-provencal. ; $proof$ = 
sent12 & sent7 -> int1: the coconut is provencal.; void -> assump1: Let's assume that the coconut is a basic.; int1 & assump1 -> int2: the coconut is both provencal and basic.; int2 -> int3: something is provencal and it is a kind of a basic.; sent5 -> int4: there exists something such that it is a kind of a bedpost.; int4 & sent4 -> int5: that the maple is not a bedpost and does snuffle conjunction is wrong.; sent21 & int5 -> int6: the fact that the nozzle enjoys maple is not false.; __UNKNOWN__