the GABA gilds Kattegatt if the cavalryman is sulcate.
sent1: that the GABA is obedient is right if the cavalryman is sulcate. sent2: an obedient thing gilds Kattegatt. sent3: if the dictionary does gild Kattegatt then it is a bead.
void -> assump1: Let's assume that the cavalryman is sulcate.; sent1 & assump1 -> int1: the GABA is obedient.; sent2 -> int2: if the GABA is obedient it does gild Kattegatt.; int1 & int2 -> int3: the GABA does gild Kattegatt.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the GABA gilds Kattegatt if the cavalryman is sulcate. ; $context$ = sent1: that the GABA is obedient is right if the cavalryman is sulcate. sent2: an obedient thing gilds Kattegatt. sent3: if the dictionary does gild Kattegatt then it is a bead. ; $proof$ = 
void -> assump1: Let's assume that the cavalryman is sulcate.; sent1 & assump1 -> int1: the GABA is obedient.; sent2 -> int2: if the GABA is obedient it does gild Kattegatt.; int1 & int2 -> int3: the GABA does gild Kattegatt.; [assump1] & int3 -> hypothesis; __PROVED__