that the bluegill is a ghillie and it is a blini does not hold.
sent1: if the fact that the godmother is lawful thing that mystifies solidarity is not true then it is a penetrator. sent2: that the godmother is unlawful and does mystify solidarity is not right. sent3: the hayrack is not Socratic if the godmother is not unlawful but it does mystify solidarity. sent4: that something is a kind of Socratic thing that is a kind of a penetrator is false if it does not wrest hang-up. sent5: the bluegill is a ghillie if the pigskin does wrest hang-up. sent6: the bluegill is a blini. sent7: if something is not a kind of a penetrator then the fact that it is a ghillie and is a kind of a blini is not true. sent8: the hayrack is Socratic. sent9: the pigskin does wrest hang-up if the godmother is a kind of a penetrator. sent10: the hayrack does mystify solidarity.
void -> assump1: Let's assume that the godmother is not unlawful and mystifies solidarity.; sent3 & assump1 -> int1: the hayrack is not Socratic.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the fact that the godmother is not unlawful and mystifies solidarity is correct is incorrect.; int3 & sent1 -> int4: the fact that the godmother is a penetrator is correct.; int4 & sent9 -> int5: the pigskin does wrest hang-up.; int5 & sent5 -> int6: that the bluegill is a ghillie is not false.; int6 & sent6 -> hypothesis;
that the bluegill is a ghillie and a blini is not true.
sent7 -> int7: that the bluegill is a kind of a ghillie and is a blini is not correct if it is not a penetrator.;
$hypothesis$ = that the bluegill is a ghillie and it is a blini does not hold. ; $context$ = sent1: if the fact that the godmother is lawful thing that mystifies solidarity is not true then it is a penetrator. sent2: that the godmother is unlawful and does mystify solidarity is not right. sent3: the hayrack is not Socratic if the godmother is not unlawful but it does mystify solidarity. sent4: that something is a kind of Socratic thing that is a kind of a penetrator is false if it does not wrest hang-up. sent5: the bluegill is a ghillie if the pigskin does wrest hang-up. sent6: the bluegill is a blini. sent7: if something is not a kind of a penetrator then the fact that it is a ghillie and is a kind of a blini is not true. sent8: the hayrack is Socratic. sent9: the pigskin does wrest hang-up if the godmother is a kind of a penetrator. sent10: the hayrack does mystify solidarity. ; $proof$ = 
void -> assump1: Let's assume that the godmother is not unlawful and mystifies solidarity.; sent3 & assump1 -> int1: the hayrack is not Socratic.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the fact that the godmother is not unlawful and mystifies solidarity is correct is incorrect.; int3 & sent1 -> int4: the fact that the godmother is a penetrator is correct.; int4 & sent9 -> int5: the pigskin does wrest hang-up.; int5 & sent5 -> int6: that the bluegill is a ghillie is not false.; int6 & sent6 -> hypothesis; __DISPROVED__