that if the crappie does vex hesitance then the glacier is not a reach is not right.
sent1: if something that is not a boucle is biennial then it is not a grog. sent2: if the applejack is not a biennial the crappie is both not a boucle and a biennial. sent3: the applejack is not biennial and it does not cruise. sent4: something does not barrack foreshock but it is a reach if it is not a biennial. sent5: the glacier does not reach if the crappie vexes hesitance and is not a grog.
sent3 -> int1: the applejack is non-biennial.; int1 & sent2 -> int2: the crappie is not a boucle and is biennial.; sent1 -> int3: if the fact that the crappie is both not a boucle and a biennial hold it is not a kind of a grog.; int2 & int3 -> int4: the crappie is not a grog.; void -> assump1: Let's assume that the crappie vexes hesitance.; int4 & assump1 -> int5: the crappie does vex hesitance but it is not a grog.; int5 & sent5 -> int6: the glacier is not a reach.; [assump1] & int6 -> hypothesis;
the khimar does not barrack foreshock and is a reach.
sent4 -> int7: if the khimar is not a biennial then it does not barrack foreshock and is a kind of a reach.;
$hypothesis$ = that if the crappie does vex hesitance then the glacier is not a reach is not right. ; $context$ = sent1: if something that is not a boucle is biennial then it is not a grog. sent2: if the applejack is not a biennial the crappie is both not a boucle and a biennial. sent3: the applejack is not biennial and it does not cruise. sent4: something does not barrack foreshock but it is a reach if it is not a biennial. sent5: the glacier does not reach if the crappie vexes hesitance and is not a grog. ; $proof$ = 
sent3 -> int1: the applejack is non-biennial.; int1 & sent2 -> int2: the crappie is not a boucle and is biennial.; sent1 -> int3: if the fact that the crappie is both not a boucle and a biennial hold it is not a kind of a grog.; int2 & int3 -> int4: the crappie is not a grog.; void -> assump1: Let's assume that the crappie vexes hesitance.; int4 & assump1 -> int5: the crappie does vex hesitance but it is not a grog.; int5 & sent5 -> int6: the glacier is not a reach.; [assump1] & int6 -> hypothesis; __DISPROVED__