the fact that the patty-pan is a kind of a matriarchy and it is a spoor does not hold.
sent1: the patty-pan is an en. sent2: there exists something such that it does claw pleurisy. sent3: there exists something such that that it is a kind of unseductive thing that is a spoor is incorrect. sent4: the fact that the patty-pan is a matriarchy and a spoor does not hold if there is something such that it is unseductive. sent5: the micropyle does not claw wordmonger. sent6: if there is something such that it is not Aboriginal then the patty-pan corrodes brooklime and it is a kind of a matriarchy. sent7: the tunic is a hypertensive if there exists something such that it is both not a sou and not an automaton. sent8: if something is a hypertensive then that it is not seductive and it does not exult patty-pan is not correct. sent9: something that does not claw wordmonger is both not a sou and not an automaton. sent10: the plane is a Romaic and it does exult patty-pan. sent11: the crayfish is not seductive if there exists something such that the fact that it is not untidy and it is a kind of a pentoxide is wrong. sent12: something is a spoor if that it does claw active is correct. sent13: that something is not Aboriginal if the fact that it is non-seductive thing that does not exult patty-pan is not right is not false. sent14: the tunic corrodes intensification. sent15: the commonwealth is non-Aboriginal thing that does not corrode brooklime if the electrum corrode brooklime. sent16: there is something such that it is not a claro. sent17: the fact that the micropyle does claw active is not false if the tunic is not untidy but it is a pentoxide. sent18: that the commonwealth is not Aboriginal and it does not corrode brooklime is not correct if the fact that there is something such that it does exult patty-pan is not wrong.
void -> assump1: Let's assume that the tunic is not untidy and is a kind of a pentoxide.; sent17 & assump1 -> int1: the micropyle does claw active.; sent10 -> int2: the plane does exult patty-pan.; int2 -> int3: there exists something such that it does exult patty-pan.; int3 & sent18 -> int4: that the commonwealth is non-Aboriginal thing that does not corrode brooklime is not true.;
the patty-pan is a kind of a matriarchy that is a spoor.
sent13 -> int5: if that the tunic is not seductive and it does not exult patty-pan does not hold then it is not Aboriginal.; sent8 -> int6: if the tunic is hypertensive then that it is not seductive and it does not exult patty-pan does not hold.; sent9 -> int7: the micropyle is not a sou and not an automaton if it does not claw wordmonger.; int7 & sent5 -> int8: the micropyle is not a sou and it is not an automaton.; int8 -> int9: there exists something such that it is not a sou and it is not a kind of an automaton.; int9 & sent7 -> int10: the tunic is a hypertensive.; int6 & int10 -> int11: that the tunic is not seductive and does not exult patty-pan is false.; int5 & int11 -> int12: the tunic is not Aboriginal.; int12 -> int13: there exists something such that it is not Aboriginal.; int13 & sent6 -> int14: the patty-pan corrodes brooklime and is a kind of a matriarchy.; int14 -> int15: that the patty-pan is a kind of a matriarchy is true.; sent12 -> int16: if the patty-pan does claw active it is a spoor.;
$hypothesis$ = the fact that the patty-pan is a kind of a matriarchy and it is a spoor does not hold. ; $context$ = sent1: the patty-pan is an en. sent2: there exists something such that it does claw pleurisy. sent3: there exists something such that that it is a kind of unseductive thing that is a spoor is incorrect. sent4: the fact that the patty-pan is a matriarchy and a spoor does not hold if there is something such that it is unseductive. sent5: the micropyle does not claw wordmonger. sent6: if there is something such that it is not Aboriginal then the patty-pan corrodes brooklime and it is a kind of a matriarchy. sent7: the tunic is a hypertensive if there exists something such that it is both not a sou and not an automaton. sent8: if something is a hypertensive then that it is not seductive and it does not exult patty-pan is not correct. sent9: something that does not claw wordmonger is both not a sou and not an automaton. sent10: the plane is a Romaic and it does exult patty-pan. sent11: the crayfish is not seductive if there exists something such that the fact that it is not untidy and it is a kind of a pentoxide is wrong. sent12: something is a spoor if that it does claw active is correct. sent13: that something is not Aboriginal if the fact that it is non-seductive thing that does not exult patty-pan is not right is not false. sent14: the tunic corrodes intensification. sent15: the commonwealth is non-Aboriginal thing that does not corrode brooklime if the electrum corrode brooklime. sent16: there is something such that it is not a claro. sent17: the fact that the micropyle does claw active is not false if the tunic is not untidy but it is a pentoxide. sent18: that the commonwealth is not Aboriginal and it does not corrode brooklime is not correct if the fact that there is something such that it does exult patty-pan is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the tunic is not untidy and is a kind of a pentoxide.; sent17 & assump1 -> int1: the micropyle does claw active.; sent10 -> int2: the plane does exult patty-pan.; int2 -> int3: there exists something such that it does exult patty-pan.; int3 & sent18 -> int4: that the commonwealth is non-Aboriginal thing that does not corrode brooklime is not true.; __UNKNOWN__