if the tunneling self-education happens then the shtik does not occur.
sent1: the shtik happens if the tunneling self-education occurs. sent2: the tunneling vibration but not the tunneling containment happens if the raree-show occurs. sent3: if the pecking gentile does not occur then not the shtik but the tunneling self-education happens. sent4: that the angularness occurs and the ambulatory happens is not correct. sent5: the fact that the pecking saurischian does not occur and the apheticness does not occur does not hold if the unconventionalness happens. sent6: if the fact that the angularness and the ambulatory happens does not hold then the angularness does not occur. sent7: that the argy-bargy occurs is not incorrect if not the shtik but the tunneling self-education occurs. sent8: if the deaminating shanghaier does not occur that both the humiliation and the pecking Pithecanthropus occurs is incorrect. sent9: the pecking saurischian occurs and the monologuizing happens. sent10: the fact that the pecking gentile occurs is true. sent11: if that the angularness does not occur is not incorrect then both the sericulture and the unconventionalness occurs. sent12: the pecking gentile does not occur if that both the humiliation and the pecking Pithecanthropus occurs is false. sent13: both the irreplaceableness and the pecking gentile occurs. sent14: that both the scotching and the irreplaceableness occurs is caused by that the tunneling containment does not occur.
void -> assump1: Let's assume that the shtik occurs.; void -> assump2: Let's assume that the tunneling self-education happens.; assump1 & assump2 -> int1: both the shtik and the tunneling self-education happens.; sent13 -> int2: the irreplaceableness happens.;
the scotching and the argy-bargy happens.
sent6 & sent4 -> int3: the angularness does not occur.; sent11 & int3 -> int4: the sericulture occurs and the unconventionalness occurs.; int4 -> int5: the unconventionalness happens.; sent5 & int5 -> int6: that the pecking saurischian does not occur and the apheticness does not occur does not hold.;
$hypothesis$ = if the tunneling self-education happens then the shtik does not occur. ; $context$ = sent1: the shtik happens if the tunneling self-education occurs. sent2: the tunneling vibration but not the tunneling containment happens if the raree-show occurs. sent3: if the pecking gentile does not occur then not the shtik but the tunneling self-education happens. sent4: that the angularness occurs and the ambulatory happens is not correct. sent5: the fact that the pecking saurischian does not occur and the apheticness does not occur does not hold if the unconventionalness happens. sent6: if the fact that the angularness and the ambulatory happens does not hold then the angularness does not occur. sent7: that the argy-bargy occurs is not incorrect if not the shtik but the tunneling self-education occurs. sent8: if the deaminating shanghaier does not occur that both the humiliation and the pecking Pithecanthropus occurs is incorrect. sent9: the pecking saurischian occurs and the monologuizing happens. sent10: the fact that the pecking gentile occurs is true. sent11: if that the angularness does not occur is not incorrect then both the sericulture and the unconventionalness occurs. sent12: the pecking gentile does not occur if that both the humiliation and the pecking Pithecanthropus occurs is false. sent13: both the irreplaceableness and the pecking gentile occurs. sent14: that both the scotching and the irreplaceableness occurs is caused by that the tunneling containment does not occur. ; $proof$ = 
void -> assump1: Let's assume that the shtik occurs.; void -> assump2: Let's assume that the tunneling self-education happens.; assump1 & assump2 -> int1: both the shtik and the tunneling self-education happens.; sent13 -> int2: the irreplaceableness happens.; __UNKNOWN__