the victim companies Hebraist and is a pharisee.
sent1: something is a goosefish. sent2: if there is something such that the fact that it is gnostic and is not a kind of a brogan does not hold the fact that the hammertoe is scriptural is right. sent3: the victim does company Hebraist if the caricaturist is gnostic. sent4: the will-o'-the-wisp distends. sent5: if the hammertoe is a kind of non-unifilar thing that is a kind of a goosefish the fact that it is not scriptural is right. sent6: the hammertoe is not scriptural if it is unifilar and it is a kind of a goosefish. sent7: the hammertoe is a kind of non-unifilar a goosefish. sent8: the victim is a preschool and a pharisee if the fact that something does distend hold.
void -> assump1: Let's assume that that the caricaturist is both gnostic and not a brogan is wrong.; assump1 -> int1: there exists something such that that it is gnostic and it is not a brogan is wrong.; int1 & sent2 -> int2: the hammertoe is scriptural.; sent5 & sent7 -> int3: the hammertoe is not scriptural.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the caricaturist is both gnostic and not a brogan.; int5 -> int6: the caricaturist is gnostic.; int6 & sent3 -> int7: the victim companies Hebraist.; sent4 -> int8: there exists something such that the fact that it does not distend is incorrect.; int8 & sent8 -> int9: the victim is a preschool and it is a kind of a pharisee.; int9 -> int10: the victim is a pharisee.; int7 & int10 -> hypothesis;
$hypothesis$ = the victim companies Hebraist and is a pharisee. ; $context$ = sent1: something is a goosefish. sent2: if there is something such that the fact that it is gnostic and is not a kind of a brogan does not hold the fact that the hammertoe is scriptural is right. sent3: the victim does company Hebraist if the caricaturist is gnostic. sent4: the will-o'-the-wisp distends. sent5: if the hammertoe is a kind of non-unifilar thing that is a kind of a goosefish the fact that it is not scriptural is right. sent6: the hammertoe is not scriptural if it is unifilar and it is a kind of a goosefish. sent7: the hammertoe is a kind of non-unifilar a goosefish. sent8: the victim is a preschool and a pharisee if the fact that something does distend hold. ; $proof$ = 
void -> assump1: Let's assume that that the caricaturist is both gnostic and not a brogan is wrong.; assump1 -> int1: there exists something such that that it is gnostic and it is not a brogan is wrong.; int1 & sent2 -> int2: the hammertoe is scriptural.; sent5 & sent7 -> int3: the hammertoe is not scriptural.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the caricaturist is both gnostic and not a brogan.; int5 -> int6: the caricaturist is gnostic.; int6 & sent3 -> int7: the victim companies Hebraist.; sent4 -> int8: there exists something such that the fact that it does not distend is incorrect.; int8 & sent8 -> int9: the victim is a preschool and it is a kind of a pharisee.; int9 -> int10: the victim is a pharisee.; int7 & int10 -> hypothesis; __PROVED__