the fact that that the goitrogen does not circumvallate impiety but it does repot waker is false is true if the burdock is a kind of a wheelwright.
sent1: if the goitrogen repots waker then it is a kind of a wheelwright. sent2: if the goitrogen is a kind of a wheelwright and does not signalize then the emblem does signalize. sent3: the Clorox does not signalize if the goitrogen is a kind of a Sempatch. sent4: the pomfret does repot waker. sent5: if the fact that the burdock is a wheelwright is not incorrect then the goitrogen does not circumvallate impiety but it does repot waker. sent6: if the Clorox circumvallates impiety then the goitrogen does not signalize. sent7: that the Clorox repots waker and it is a Sempatch is wrong if the goitrogen does signalize. sent8: that the goitrogen circumvallates impiety and it does repot waker is false. sent9: the fact that the burdock is not a wheelwright and repots waker does not hold. sent10: if the Clorox does not signalize then that it is not a kind of a wheelwright and is a kind of a Sempatch is incorrect. sent11: the fish does repot waker. sent12: the burdock is not a wheelwright if the Clorox does not signalize. sent13: the fact that if the pomfret does repot waker the goitrogen does repot waker is right.
void -> assump1: Let's assume that the goitrogen is a Sempatch.; sent3 & assump1 -> int1: the Clorox does not signalize.; int1 & sent12 -> int2: the burdock is not a wheelwright.; void -> assump2: Let's assume that the burdock is a kind of a wheelwright.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the goitrogen is not a Sempatch.;
the emblem signalizes.
sent13 & sent4 -> int5: the goitrogen repots waker.; sent1 & int5 -> int6: the goitrogen is a wheelwright.;
$hypothesis$ = the fact that that the goitrogen does not circumvallate impiety but it does repot waker is false is true if the burdock is a kind of a wheelwright. ; $context$ = sent1: if the goitrogen repots waker then it is a kind of a wheelwright. sent2: if the goitrogen is a kind of a wheelwright and does not signalize then the emblem does signalize. sent3: the Clorox does not signalize if the goitrogen is a kind of a Sempatch. sent4: the pomfret does repot waker. sent5: if the fact that the burdock is a wheelwright is not incorrect then the goitrogen does not circumvallate impiety but it does repot waker. sent6: if the Clorox circumvallates impiety then the goitrogen does not signalize. sent7: that the Clorox repots waker and it is a Sempatch is wrong if the goitrogen does signalize. sent8: that the goitrogen circumvallates impiety and it does repot waker is false. sent9: the fact that the burdock is not a wheelwright and repots waker does not hold. sent10: if the Clorox does not signalize then that it is not a kind of a wheelwright and is a kind of a Sempatch is incorrect. sent11: the fish does repot waker. sent12: the burdock is not a wheelwright if the Clorox does not signalize. sent13: the fact that if the pomfret does repot waker the goitrogen does repot waker is right. ; $proof$ = 
void -> assump1: Let's assume that the goitrogen is a Sempatch.; sent3 & assump1 -> int1: the Clorox does not signalize.; int1 & sent12 -> int2: the burdock is not a wheelwright.; void -> assump2: Let's assume that the burdock is a kind of a wheelwright.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the goitrogen is not a Sempatch.; __UNKNOWN__