the incubus is not a kind of a laryngismus.
sent1: the abrasion is a Shirer or it horripilates philosophy or both. sent2: the chest does not horripilate philosophy. sent3: something does slither and/or it is a kind of a cancroid if it does horripilate philosophy. sent4: that the abrasion is a Taricha hold if the twistwood does reposit chest. sent5: the abrasion is not a kind of a Taricha if the fact that it is a Taricha and is not a Shirer is false. sent6: the twistwood is a Taricha if there is something such that the fact that it does not slither and is not a kind of a Taricha is not correct. sent7: the fact that the abrasion is a Taricha and is not a kind of a Shirer is false. sent8: the twistwood horripilates philosophy if it is not a laryngismus. sent9: something horripilates philosophy if the fact that it does reposit chest is incorrect. sent10: that something does not slither and does horripilate philosophy is false if it is not a cancroid. sent11: if the abrasion is a Taricha it does not reposit chest and/or it is a kind of a cancroid. sent12: something either does not slither or is cancroid or both if the fact that it does horripilate philosophy is correct. sent13: that the abrasion does reposit chest is true if the twistwood is a Taricha. sent14: something is a kind of a laryngismus if it is a kind of a Taricha. sent15: that the abrasion does not slither and is not a Taricha is not true if there exists something such that it does not horripilate philosophy. sent16: if the twistwood does not slither and/or is a cancroid the incubus is not a kind of a laryngismus.
void -> assump1: Let's assume that the twistwood reposits chest.; sent4 & assump1 -> int1: the abrasion is a Taricha.; sent5 & sent7 -> int2: the abrasion is not a Taricha.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the twistwood does not reposit chest.; sent9 -> int5: if the twistwood does not reposit chest then it horripilates philosophy.; int4 & int5 -> int6: the twistwood does horripilate philosophy.; sent12 -> int7: if the twistwood horripilates philosophy it either does not slither or is a cancroid or both.; int6 & int7 -> int8: the twistwood either does not slither or is a cancroid or both.; int8 & sent16 -> hypothesis;
the abrasion does reposit chest.
sent10 -> int9: if the incubus is not a cancroid then the fact that it does not slither and does horripilate philosophy is not correct.;
$hypothesis$ = the incubus is not a kind of a laryngismus. ; $context$ = sent1: the abrasion is a Shirer or it horripilates philosophy or both. sent2: the chest does not horripilate philosophy. sent3: something does slither and/or it is a kind of a cancroid if it does horripilate philosophy. sent4: that the abrasion is a Taricha hold if the twistwood does reposit chest. sent5: the abrasion is not a kind of a Taricha if the fact that it is a Taricha and is not a Shirer is false. sent6: the twistwood is a Taricha if there is something such that the fact that it does not slither and is not a kind of a Taricha is not correct. sent7: the fact that the abrasion is a Taricha and is not a kind of a Shirer is false. sent8: the twistwood horripilates philosophy if it is not a laryngismus. sent9: something horripilates philosophy if the fact that it does reposit chest is incorrect. sent10: that something does not slither and does horripilate philosophy is false if it is not a cancroid. sent11: if the abrasion is a Taricha it does not reposit chest and/or it is a kind of a cancroid. sent12: something either does not slither or is cancroid or both if the fact that it does horripilate philosophy is correct. sent13: that the abrasion does reposit chest is true if the twistwood is a Taricha. sent14: something is a kind of a laryngismus if it is a kind of a Taricha. sent15: that the abrasion does not slither and is not a Taricha is not true if there exists something such that it does not horripilate philosophy. sent16: if the twistwood does not slither and/or is a cancroid the incubus is not a kind of a laryngismus. ; $proof$ = 
void -> assump1: Let's assume that the twistwood reposits chest.; sent4 & assump1 -> int1: the abrasion is a Taricha.; sent5 & sent7 -> int2: the abrasion is not a Taricha.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the twistwood does not reposit chest.; sent9 -> int5: if the twistwood does not reposit chest then it horripilates philosophy.; int4 & int5 -> int6: the twistwood does horripilate philosophy.; sent12 -> int7: if the twistwood horripilates philosophy it either does not slither or is a cancroid or both.; int6 & int7 -> int8: the twistwood either does not slither or is a cancroid or both.; int8 & sent16 -> hypothesis; __PROVED__