if that the annotator does sparkle carouse hold the markhor does not investigate bibliographer.
sent1: the till is Thoreauvian. sent2: the annotator does not sparkle carouse if either the markhor is Thoreauvian or it investigates bibliographer or both. sent3: the markhor is an ale. sent4: if the annotator is not cleistogamous but it whirls escalator then the fact that it is not uncivil is not false.
void -> assump1: Let's assume that the markhor investigates bibliographer.; assump1 -> int1: either the markhor is Thoreauvian or it investigates bibliographer or both.; int1 & sent2 -> int2: the annotator does not sparkle carouse.; void -> assump2: Let's assume that the annotator sparkles carouse.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the markhor does not investigate bibliographer.; [assump2] & int4 -> hypothesis;
the tramway is Thoreauvian.
$hypothesis$ = if that the annotator does sparkle carouse hold the markhor does not investigate bibliographer. ; $context$ = sent1: the till is Thoreauvian. sent2: the annotator does not sparkle carouse if either the markhor is Thoreauvian or it investigates bibliographer or both. sent3: the markhor is an ale. sent4: if the annotator is not cleistogamous but it whirls escalator then the fact that it is not uncivil is not false. ; $proof$ = 
void -> assump1: Let's assume that the markhor investigates bibliographer.; assump1 -> int1: either the markhor is Thoreauvian or it investigates bibliographer or both.; int1 & sent2 -> int2: the annotator does not sparkle carouse.; void -> assump2: Let's assume that the annotator sparkles carouse.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the markhor does not investigate bibliographer.; [assump2] & int4 -> hypothesis; __PROVED__