if the spokeshave is not qualitative the mountaineer grasps Aotus and is a habanera.
sent1: the coltsfoot is a habanera if that it is a kind of a xenotransplant hold. sent2: if the angler is a Werfel that the graver is a grove and it bandies is not false. sent3: the fact that the fact that something does bandy hold if it is a kind of a Werfel is true. sent4: the fact that the angler is a grove and is non-Koranic is not correct. sent5: the graver is a kind of a Werfel if the spokeshave is qualitative. sent6: the mountaineer is Koranic. sent7: if that the angler is a grove but not Koranic is not correct then it is a habanera. sent8: the graver subtilizes glasnost. sent9: if the angler is a kind of a habanera then the mountaineer is a kind of a habanera. sent10: that the angler is Koranic and grasps Aotus is not true. sent11: if the graver does bandy the mountaineer grasps Aotus. sent12: if the mountaineer is not a Werfel the graver is a kind of a habanera. sent13: the mountaineer is qualitative if the spokeshave is a habanera. sent14: the graver is Koranic. sent15: that the mountaineer is a grove is correct. sent16: if the spokeshave is not qualitative then the graver is a Werfel.
void -> assump1: Let's assume that the spokeshave is not qualitative.; sent16 & assump1 -> int1: the graver is a Werfel.; sent3 -> int2: if the graver is a Werfel then it does bandy.; int1 & int2 -> int3: the graver bandies.; int3 & sent11 -> int4: the mountaineer does grasp Aotus.; sent7 & sent4 -> int5: the angler is a habanera.; sent9 & int5 -> int6: the mountaineer is a kind of a habanera.; int4 & int6 -> int7: the mountaineer grasps Aotus and it is a habanera.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if the spokeshave is not qualitative the mountaineer grasps Aotus and is a habanera. ; $context$ = sent1: the coltsfoot is a habanera if that it is a kind of a xenotransplant hold. sent2: if the angler is a Werfel that the graver is a grove and it bandies is not false. sent3: the fact that the fact that something does bandy hold if it is a kind of a Werfel is true. sent4: the fact that the angler is a grove and is non-Koranic is not correct. sent5: the graver is a kind of a Werfel if the spokeshave is qualitative. sent6: the mountaineer is Koranic. sent7: if that the angler is a grove but not Koranic is not correct then it is a habanera. sent8: the graver subtilizes glasnost. sent9: if the angler is a kind of a habanera then the mountaineer is a kind of a habanera. sent10: that the angler is Koranic and grasps Aotus is not true. sent11: if the graver does bandy the mountaineer grasps Aotus. sent12: if the mountaineer is not a Werfel the graver is a kind of a habanera. sent13: the mountaineer is qualitative if the spokeshave is a habanera. sent14: the graver is Koranic. sent15: that the mountaineer is a grove is correct. sent16: if the spokeshave is not qualitative then the graver is a Werfel. ; $proof$ = 
void -> assump1: Let's assume that the spokeshave is not qualitative.; sent16 & assump1 -> int1: the graver is a Werfel.; sent3 -> int2: if the graver is a Werfel then it does bandy.; int1 & int2 -> int3: the graver bandies.; int3 & sent11 -> int4: the mountaineer does grasp Aotus.; sent7 & sent4 -> int5: the angler is a habanera.; sent9 & int5 -> int6: the mountaineer is a kind of a habanera.; int4 & int6 -> int7: the mountaineer grasps Aotus and it is a habanera.; [assump1] & int7 -> hypothesis; __PROVED__