the sauerbraten is a conferrer.
sent1: something is a conferrer if it is archducal. sent2: the fact that the ladyfish is not a kind of a Aeolian and/or it is not a descent is not correct. sent3: that the ladyfish does not tonsure and/or is not a geometer is not true. sent4: if the sauerbraten is prokaryotic then the stanchion is a conferrer. sent5: if something is a geometer and tonsures it is not a kind of a conferrer. sent6: the ladyfish is not a tonsure or it is a geometer or both. sent7: the sauerbraten is prokaryotic. sent8: that the bauxite does not panic crake or does not jack foster-brother or both is not right. sent9: that the stanchion panics crake and is a Explorer is not true. sent10: if the fact that something panics crake and is not a Explorer does not hold then it is prokaryotic. sent11: the fact that either the ladyfish is a tonsure or it is not a geometer or both is not false. sent12: the sauerbraten is a Explorer. sent13: if that something is a geometer but it is not a kind of a tonsure is not correct then it does panic crake. sent14: that the sauerbraten is a Manchester hold. sent15: if the stanchion is a Explorer then the thermion is a kind of a incomprehension. sent16: the fact that the stanchion does not unstrap prosody and/or it is not a descent is not correct. sent17: the stanchion is a elution. sent18: if the thermion is not a Explorer then that the stanchion panics crake and is not a kind of a Explorer is not right. sent19: the thermion is not a Explorer if the ladyfish is a kind of a tonsure. sent20: if something is prokaryotic then it is a incomprehension. sent21: the ladyfish is a incomprehension. sent22: the stanchion is not a conferrer and/or it is not a Explorer.
void -> assump1: Let's assume that the ladyfish is not a tonsure.; assump1 -> int1: the ladyfish is not a kind of a tonsure and/or it is not a geometer.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the ladyfish is a kind of a tonsure.; int3 & sent19 -> int4: the thermion is not a kind of a Explorer.; int4 & sent18 -> int5: that the stanchion does panic crake but it is not a Explorer is not right.; sent10 -> int6: the stanchion is prokaryotic if the fact that it does panic crake and it is not a kind of a Explorer is not correct.; int5 & int6 -> int7: the stanchion is not non-prokaryotic.; sent20 -> int8: if the stanchion is prokaryotic then it is a incomprehension.; int7 & int8 -> int9: the stanchion is a kind of a incomprehension.; sent1 -> int10: the sauerbraten is a conferrer if it is archducal.;
the sauerbraten is not a conferrer.
sent5 -> int11: if the sauerbraten is a geometer and it is a tonsure it is not a conferrer.;
$hypothesis$ = the sauerbraten is a conferrer. ; $context$ = sent1: something is a conferrer if it is archducal. sent2: the fact that the ladyfish is not a kind of a Aeolian and/or it is not a descent is not correct. sent3: that the ladyfish does not tonsure and/or is not a geometer is not true. sent4: if the sauerbraten is prokaryotic then the stanchion is a conferrer. sent5: if something is a geometer and tonsures it is not a kind of a conferrer. sent6: the ladyfish is not a tonsure or it is a geometer or both. sent7: the sauerbraten is prokaryotic. sent8: that the bauxite does not panic crake or does not jack foster-brother or both is not right. sent9: that the stanchion panics crake and is a Explorer is not true. sent10: if the fact that something panics crake and is not a Explorer does not hold then it is prokaryotic. sent11: the fact that either the ladyfish is a tonsure or it is not a geometer or both is not false. sent12: the sauerbraten is a Explorer. sent13: if that something is a geometer but it is not a kind of a tonsure is not correct then it does panic crake. sent14: that the sauerbraten is a Manchester hold. sent15: if the stanchion is a Explorer then the thermion is a kind of a incomprehension. sent16: the fact that the stanchion does not unstrap prosody and/or it is not a descent is not correct. sent17: the stanchion is a elution. sent18: if the thermion is not a Explorer then that the stanchion panics crake and is not a kind of a Explorer is not right. sent19: the thermion is not a Explorer if the ladyfish is a kind of a tonsure. sent20: if something is prokaryotic then it is a incomprehension. sent21: the ladyfish is a incomprehension. sent22: the stanchion is not a conferrer and/or it is not a Explorer. ; $proof$ = 
void -> assump1: Let's assume that the ladyfish is not a tonsure.; assump1 -> int1: the ladyfish is not a kind of a tonsure and/or it is not a geometer.; int1 & sent3 -> int2: this is contradiction.; [assump1] & int2 -> int3: the ladyfish is a kind of a tonsure.; int3 & sent19 -> int4: the thermion is not a kind of a Explorer.; int4 & sent18 -> int5: that the stanchion does panic crake but it is not a Explorer is not right.; sent10 -> int6: the stanchion is prokaryotic if the fact that it does panic crake and it is not a kind of a Explorer is not correct.; int5 & int6 -> int7: the stanchion is not non-prokaryotic.; sent20 -> int8: if the stanchion is prokaryotic then it is a incomprehension.; int7 & int8 -> int9: the stanchion is a kind of a incomprehension.; sent1 -> int10: the sauerbraten is a conferrer if it is archducal.; __UNKNOWN__