the Abyssinian does hymn toasting.
sent1: something is a Wembley if it terms petitio. sent2: if that something is inconsiderate and does not spew is not true it is sacramental. sent3: something is violable if it terms Calamus. sent4: the Abyssinian does not term petitio. sent5: if that there exists something such that it is not a kind of a Wembley is true then the major-general is not violable. sent6: if the fact that something is a kind of a organelle that does not term petitio is wrong then it is a Wembley. sent7: the seashell is a organelle. sent8: the basil does plate Lagidium and is algal. sent9: that something is communal is not false if the fact that it terms basil and it is not a manubrium is not right. sent10: the spoiler does term Calamus if the Abyssinian is a organelle and it does term petitio. sent11: something does hymn toasting if it is a kind of a Wembley. sent12: if the basil plates Lagidium and is algal then it is not a Wembley. sent13: the Abyssinian is synoptic if it terms petitio. sent14: if the Abyssinian does term petitio then it is a Wembley. sent15: the fact that the spoiler does not term Calamus is incorrect if it is a Wembley. sent16: something is a intermittence if it does fray. sent17: the spoiler is not violable.
void -> assump1: Let's assume that the Abyssinian is a organelle but it does not term petitio.; sent3 -> int1: if the spoiler does term Calamus it is violable.; sent6 -> int2: if the fact that the Abyssinian is a organelle that does not term petitio is false then it is a Wembley.; sent11 -> int3: the fact that the Abyssinian does not hymn toasting is wrong if it is a Wembley.;
if the prolonge frays then that it is a kind of a intermittence hold.
sent16 -> hypothesis;
$hypothesis$ = the Abyssinian does hymn toasting. ; $context$ = sent1: something is a Wembley if it terms petitio. sent2: if that something is inconsiderate and does not spew is not true it is sacramental. sent3: something is violable if it terms Calamus. sent4: the Abyssinian does not term petitio. sent5: if that there exists something such that it is not a kind of a Wembley is true then the major-general is not violable. sent6: if the fact that something is a kind of a organelle that does not term petitio is wrong then it is a Wembley. sent7: the seashell is a organelle. sent8: the basil does plate Lagidium and is algal. sent9: that something is communal is not false if the fact that it terms basil and it is not a manubrium is not right. sent10: the spoiler does term Calamus if the Abyssinian is a organelle and it does term petitio. sent11: something does hymn toasting if it is a kind of a Wembley. sent12: if the basil plates Lagidium and is algal then it is not a Wembley. sent13: the Abyssinian is synoptic if it terms petitio. sent14: if the Abyssinian does term petitio then it is a Wembley. sent15: the fact that the spoiler does not term Calamus is incorrect if it is a Wembley. sent16: something is a intermittence if it does fray. sent17: the spoiler is not violable. ; $proof$ = 
void -> assump1: Let's assume that the Abyssinian is a organelle but it does not term petitio.; sent3 -> int1: if the spoiler does term Calamus it is violable.; sent6 -> int2: if the fact that the Abyssinian is a organelle that does not term petitio is false then it is a Wembley.; sent11 -> int3: the fact that the Abyssinian does not hymn toasting is wrong if it is a Wembley.; __UNKNOWN__