the fact that the Uniat is a kind of a Nielsen hold.
sent1: the Wright is not a kind of a mother if the windstorm is not a mother. sent2: if the bombardon is a digest the Uniat is a Nielsen. sent3: the bombardon is a kind of a digest if the carnotite is not a headspace and it does not caper mutilator. sent4: the carnotite is a digest if the assemblywoman does not caper carnotite and it is not a headspace. sent5: if the assemblywoman is not lexicographic the carnotite is not a kind of a headspace. sent6: something is not a subclass if it is lexicographic. sent7: the fact that if there is something such that that it is a digest and capers glutton is not true the network does not digest hold. sent8: if the fact that the carnotite is lexicographic is not false then the Uniat is not a Nielsen. sent9: the bouffant is attachable. sent10: if there is something such that it is a kind of a evaluator then the windstorm does not mother. sent11: the fact that the Wright does not shop accuracy and is not a kind of a arabesque is incorrect if it does not mother. sent12: if the fact that the bouffant is attachable is not incorrect then it is a kind of a evaluator. sent13: everything capers carnotite. sent14: if the fact that something does not shop accuracy and is not a arabesque is not correct it does not bog Zionist. sent15: if the network is not a kind of a digest then that the bombardon does not caper mutilator and is a headspace is incorrect. sent16: if the carnotite is a kind of a Nielsen and does not caper mutilator the fact that the assemblywoman is lexicographic is true. sent17: the fact that the assemblywoman does not digest is not right. sent18: the assemblywoman is not a kind of a subclass. sent19: if the assemblywoman is not lexicographic the carnotite is not a headspace and it does not caper mutilator. sent20: that something is a kind of a digest and capers glutton is not true if it does not bog Zionist.
void -> assump1: Let's assume that the assemblywoman is lexicographic.; sent13 -> int1: the fact that the assemblywoman does caper carnotite is true.;
the Uniat is not a Nielsen.
sent20 -> int2: if the Wright does not bog Zionist that it does digest and does caper glutton is not correct.; sent14 -> int3: if the fact that the Wright does not shop accuracy and it is not a arabesque is not correct then it does not bog Zionist.; sent12 & sent9 -> int4: the bouffant is a evaluator.; int4 -> int5: there exists something such that it is a evaluator.; int5 & sent10 -> int6: that the windstorm is not a kind of a mother is correct.; sent1 & int6 -> int7: the fact that the Wright does not mother hold.; sent11 & int7 -> int8: that the Wright does not shop accuracy and it is not a arabesque does not hold.; int3 & int8 -> int9: the fact that the Wright does not bog Zionist hold.; int2 & int9 -> int10: the fact that the Wright is a kind of a digest that does caper glutton is not right.; int10 -> int11: there exists something such that the fact that it digests and it capers glutton does not hold.; int11 & sent7 -> int12: the network is not a digest.; sent15 & int12 -> int13: the fact that the bombardon does not caper mutilator and is a headspace is incorrect.; int13 -> int14: there exists something such that that it does not caper mutilator and is a kind of a headspace does not hold.;
$hypothesis$ = the fact that the Uniat is a kind of a Nielsen hold. ; $context$ = sent1: the Wright is not a kind of a mother if the windstorm is not a mother. sent2: if the bombardon is a digest the Uniat is a Nielsen. sent3: the bombardon is a kind of a digest if the carnotite is not a headspace and it does not caper mutilator. sent4: the carnotite is a digest if the assemblywoman does not caper carnotite and it is not a headspace. sent5: if the assemblywoman is not lexicographic the carnotite is not a kind of a headspace. sent6: something is not a subclass if it is lexicographic. sent7: the fact that if there is something such that that it is a digest and capers glutton is not true the network does not digest hold. sent8: if the fact that the carnotite is lexicographic is not false then the Uniat is not a Nielsen. sent9: the bouffant is attachable. sent10: if there is something such that it is a kind of a evaluator then the windstorm does not mother. sent11: the fact that the Wright does not shop accuracy and is not a kind of a arabesque is incorrect if it does not mother. sent12: if the fact that the bouffant is attachable is not incorrect then it is a kind of a evaluator. sent13: everything capers carnotite. sent14: if the fact that something does not shop accuracy and is not a arabesque is not correct it does not bog Zionist. sent15: if the network is not a kind of a digest then that the bombardon does not caper mutilator and is a headspace is incorrect. sent16: if the carnotite is a kind of a Nielsen and does not caper mutilator the fact that the assemblywoman is lexicographic is true. sent17: the fact that the assemblywoman does not digest is not right. sent18: the assemblywoman is not a kind of a subclass. sent19: if the assemblywoman is not lexicographic the carnotite is not a headspace and it does not caper mutilator. sent20: that something is a kind of a digest and capers glutton is not true if it does not bog Zionist. ; $proof$ = 
void -> assump1: Let's assume that the assemblywoman is lexicographic.; sent13 -> int1: the fact that the assemblywoman does caper carnotite is true.; __UNKNOWN__