the tutu is not a hitch.
sent1: if the tutu is neocortical then it is different. sent2: the omission does not holler if it does not hat. sent3: if the guitarfish does not beware the fact that it is neocortical thing that does not dissimilate is correct. sent4: if the tutu is not neocortical then it does holler and it is not mucopurulent. sent5: everything is abasic. sent6: the tutu is not roughleg if it is not abasic. sent7: the tutu is not different.
void -> assump1: Let's assume that the tutu is neocortical.; sent1 & assump1 -> int1: the tutu is different.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tutu is not neocortical.; int3 & sent4 -> int4: the tutu hollers but it is not mucopurulent.; int4 -> int5: the tutu does holler.; sent5 -> int6: the tutu is abasic.; int5 & int6 -> int7: the tutu is not non-abasic and it does holler.;
$hypothesis$ = the tutu is not a hitch. ; $context$ = sent1: if the tutu is neocortical then it is different. sent2: the omission does not holler if it does not hat. sent3: if the guitarfish does not beware the fact that it is neocortical thing that does not dissimilate is correct. sent4: if the tutu is not neocortical then it does holler and it is not mucopurulent. sent5: everything is abasic. sent6: the tutu is not roughleg if it is not abasic. sent7: the tutu is not different. ; $proof$ = 
void -> assump1: Let's assume that the tutu is neocortical.; sent1 & assump1 -> int1: the tutu is different.; int1 & sent7 -> int2: this is contradiction.; [assump1] & int2 -> int3: the tutu is not neocortical.; int3 & sent4 -> int4: the tutu hollers but it is not mucopurulent.; int4 -> int5: the tutu does holler.; sent5 -> int6: the tutu is abasic.; int5 & int6 -> int7: the tutu is not non-abasic and it does holler.; __UNKNOWN__