the locus is a kind of dystopian thing that is a kind of a derringer.
sent1: the goitrogen is a cellulite and not exchangeable if it is not a kind of a girasol. sent2: if something is a girasol then it is a cellulite. sent3: that the beard is both not a perpetrator and Sarawakian is wrong. sent4: the fact that the beard is a perpetrator and it is a Sarawakian is not correct. sent5: the fact that the venison is not a poem and it is not a girasol is not wrong if that the goitrogen is a girasol is true. sent6: the locus is a kind of a derringer if the fact that the venison is not a poem and it is not a girasol is not false. sent7: the preservation is non-Sarawakian if that the beard is not a kind of a perpetrator but it is a kind of a non-Sarawakian does not hold. sent8: the goitrogen does not powwow if it is both a cellulite and not exchangeable. sent9: if the goitrogen does not powwow the preservation is a kind of a Sarawakian.
void -> assump1: Let's assume that the goitrogen is not a kind of a girasol.; sent1 & assump1 -> int1: the goitrogen is a cellulite and not exchangeable.; int1 & sent8 -> int2: the goitrogen is not a powwow.; int2 & sent9 -> int3: the preservation is a kind of a Sarawakian.; sent7 & sent3 -> int4: the preservation is not a Sarawakian.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the goitrogen is a girasol.; int6 & sent5 -> int7: the venison is not a poem and not a girasol.; int7 & sent6 -> int8: the locus is a kind of a derringer.;
the beard is a kind of a cellulite.
sent2 -> int9: if the beard is a girasol it is a cellulite.;
$hypothesis$ = the locus is a kind of dystopian thing that is a kind of a derringer. ; $context$ = sent1: the goitrogen is a cellulite and not exchangeable if it is not a kind of a girasol. sent2: if something is a girasol then it is a cellulite. sent3: that the beard is both not a perpetrator and Sarawakian is wrong. sent4: the fact that the beard is a perpetrator and it is a Sarawakian is not correct. sent5: the fact that the venison is not a poem and it is not a girasol is not wrong if that the goitrogen is a girasol is true. sent6: the locus is a kind of a derringer if the fact that the venison is not a poem and it is not a girasol is not false. sent7: the preservation is non-Sarawakian if that the beard is not a kind of a perpetrator but it is a kind of a non-Sarawakian does not hold. sent8: the goitrogen does not powwow if it is both a cellulite and not exchangeable. sent9: if the goitrogen does not powwow the preservation is a kind of a Sarawakian. ; $proof$ = 
void -> assump1: Let's assume that the goitrogen is not a kind of a girasol.; sent1 & assump1 -> int1: the goitrogen is a cellulite and not exchangeable.; int1 & sent8 -> int2: the goitrogen is not a powwow.; int2 & sent9 -> int3: the preservation is a kind of a Sarawakian.; sent7 & sent3 -> int4: the preservation is not a Sarawakian.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the goitrogen is a girasol.; int6 & sent5 -> int7: the venison is not a poem and not a girasol.; int7 & sent6 -> int8: the locus is a kind of a derringer.; __UNKNOWN__