the squirrelfish is a Conospermum and does not spit.
sent1: there is something such that it is greenhouse and it is a kind of a Pullman. sent2: that the drumlin is not low-level is not incorrect. sent3: if that the drumlin is an ethane is correct then the fact that it is not non-low-level but bromic is wrong. sent4: there exists something such that it is greenhouse and it is not a Pullman. sent5: the fact that the drumlin is low-level and is bromic is not right. sent6: the HS2 is not a Pullman if the great is not a Pullman. sent7: if there is something such that that it is both a Hindustani and not a Conospermum is false that the squirrelfish is low-level is not incorrect. sent8: if there exists something such that it is a kind of a greenhouse and it is not a Pullman the squirrelfish is not a spat. sent9: there exists something such that it is a greenhouse. sent10: that the drumlin is an ethane is right. sent11: something is Hindustani if the fact that it is not bromic is true. sent12: the drumlin is not low-level but it is bromic if the squirrelfish is Hindustani. sent13: the drumlin is not low-level if the squirrelfish is not non-Hindustani. sent14: something is a Conospermum if the fact that it is not a kind of a Hindustani is not false. sent15: that the drumlin is not low-level but bromic is false if it is a kind of an ethane. sent16: the drumlin is non-greenhouse if the fact that the HS2 is both a Doctor and a non-greenhouse is not true. sent17: that something is a Doctor and is greenhouse does not hold if the fact that it is not a Pullman is not wrong. sent18: if the drumlin is a kind of a spat then the fact that that it is a kind of Hindustani thing that is not a kind of a Conospermum is right is not right. sent19: that the drumlin is not a kind of a spat and it is not greenhouse is false if there exists something such that it is not a kind of an ethane. sent20: something is a Hindustani and it is an ethane if that it is not greenhouse hold. sent21: there is something such that it is not a Pullman.
void -> assump1: Let's assume that the squirrelfish is a Hindustani.; sent12 & assump1 -> int1: the drumlin is not low-level but it is bromic.; sent15 & sent10 -> int2: that the drumlin is not low-level but bromic is not true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the squirrelfish is not a Hindustani.; sent14 -> int5: if the squirrelfish is not a kind of a Hindustani then it is a Conospermum.; int4 & int5 -> int6: the squirrelfish is a Conospermum.; sent4 & sent8 -> int7: the squirrelfish is not a spat.; int6 & int7 -> hypothesis;
the squirrelfish is low-level.
$hypothesis$ = the squirrelfish is a Conospermum and does not spit. ; $context$ = sent1: there is something such that it is greenhouse and it is a kind of a Pullman. sent2: that the drumlin is not low-level is not incorrect. sent3: if that the drumlin is an ethane is correct then the fact that it is not non-low-level but bromic is wrong. sent4: there exists something such that it is greenhouse and it is not a Pullman. sent5: the fact that the drumlin is low-level and is bromic is not right. sent6: the HS2 is not a Pullman if the great is not a Pullman. sent7: if there is something such that that it is both a Hindustani and not a Conospermum is false that the squirrelfish is low-level is not incorrect. sent8: if there exists something such that it is a kind of a greenhouse and it is not a Pullman the squirrelfish is not a spat. sent9: there exists something such that it is a greenhouse. sent10: that the drumlin is an ethane is right. sent11: something is Hindustani if the fact that it is not bromic is true. sent12: the drumlin is not low-level but it is bromic if the squirrelfish is Hindustani. sent13: the drumlin is not low-level if the squirrelfish is not non-Hindustani. sent14: something is a Conospermum if the fact that it is not a kind of a Hindustani is not false. sent15: that the drumlin is not low-level but bromic is false if it is a kind of an ethane. sent16: the drumlin is non-greenhouse if the fact that the HS2 is both a Doctor and a non-greenhouse is not true. sent17: that something is a Doctor and is greenhouse does not hold if the fact that it is not a Pullman is not wrong. sent18: if the drumlin is a kind of a spat then the fact that that it is a kind of Hindustani thing that is not a kind of a Conospermum is right is not right. sent19: that the drumlin is not a kind of a spat and it is not greenhouse is false if there exists something such that it is not a kind of an ethane. sent20: something is a Hindustani and it is an ethane if that it is not greenhouse hold. sent21: there is something such that it is not a Pullman. ; $proof$ = 
void -> assump1: Let's assume that the squirrelfish is a Hindustani.; sent12 & assump1 -> int1: the drumlin is not low-level but it is bromic.; sent15 & sent10 -> int2: that the drumlin is not low-level but bromic is not true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the squirrelfish is not a Hindustani.; sent14 -> int5: if the squirrelfish is not a kind of a Hindustani then it is a Conospermum.; int4 & int5 -> int6: the squirrelfish is a Conospermum.; sent4 & sent8 -> int7: the squirrelfish is not a spat.; int6 & int7 -> hypothesis; __PROVED__