the effigy is air-to-air.
sent1: either the granule is not air-to-air or it is tinny or both. sent2: the granule is not a Hertfordshire and/or it is not tinny. sent3: if the effigy is not air-to-air then the granule is a Hertfordshire. sent4: the panelist is a tub-thumper. sent5: if the granule does not clangor Doctor it is not non-chordal but a mouse. sent6: the granule is a Hertfordshire. sent7: the effigy is not air-to-air and/or it is not tinny. sent8: that the granule capsules background is not incorrect. sent9: if that something does not mouse and does not clangor raccoon is false it is not air-to-air. sent10: the granule is not tinny and/or is not air-to-air. sent11: the effigy is a Hertfordshire. sent12: the granule is a Hertfordshire or non-tinny or both. sent13: the granule does not clangor Doctor if the fact that the raccoon does clangor Doctor and/or it is not malicious is not true. sent14: if the effigy is not air-to-air then the fact that the granule is not a Hertfordshire or it is not tinny or both is wrong.
void -> assump1: Let's assume that the fact that the effigy is not air-to-air is not incorrect.; sent14 & assump1 -> int1: that the granule is either not a Hertfordshire or not tinny or both is not right.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
the effigy is not air-to-air.
sent9 -> int3: the effigy is non-air-to-air if the fact that it does not mouse and does not clangor raccoon is false.; sent4 -> int4: something is a kind of a tub-thumper.;
$hypothesis$ = the effigy is air-to-air. ; $context$ = sent1: either the granule is not air-to-air or it is tinny or both. sent2: the granule is not a Hertfordshire and/or it is not tinny. sent3: if the effigy is not air-to-air then the granule is a Hertfordshire. sent4: the panelist is a tub-thumper. sent5: if the granule does not clangor Doctor it is not non-chordal but a mouse. sent6: the granule is a Hertfordshire. sent7: the effigy is not air-to-air and/or it is not tinny. sent8: that the granule capsules background is not incorrect. sent9: if that something does not mouse and does not clangor raccoon is false it is not air-to-air. sent10: the granule is not tinny and/or is not air-to-air. sent11: the effigy is a Hertfordshire. sent12: the granule is a Hertfordshire or non-tinny or both. sent13: the granule does not clangor Doctor if the fact that the raccoon does clangor Doctor and/or it is not malicious is not true. sent14: if the effigy is not air-to-air then the fact that the granule is not a Hertfordshire or it is not tinny or both is wrong. ; $proof$ = 
void -> assump1: Let's assume that the fact that the effigy is not air-to-air is not incorrect.; sent14 & assump1 -> int1: that the granule is either not a Hertfordshire or not tinny or both is not right.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__