the armature is not a Paterson.
sent1: if the gibbsite is unreasonable the abductor is unreasonable. sent2: that the armature is non-square and it is not a Paterson does not hold. sent3: the tablefork is a ESM. sent4: the tablefork is not a kind of a Paterson. sent5: the gibbsite is a quantity and it is a graded if that it is not ciliary hold. sent6: the fact that that the tablefork is a seafront but it is not a kind of a desorption hold is not true. sent7: the tablefork is not a seafront. sent8: if the tablefork is a kind of non-square thing that is not a kind of a Paterson it is not a kind of a desorption. sent9: if the fact that the tablefork is not a desorption and is not a Paterson does not hold the armature is not a ESM. sent10: if the abductor is unreasonable then it is not scalic. sent11: if the tablefork is not a seafront and it is not a kind of a desorption it does not square. sent12: the tablefork does not square if it is a seafront that is not a desorption. sent13: the arrowroot is not a Paterson. sent14: something is unreasonable if it is a kind of a quantity. sent15: the tablefork is bentonitic. sent16: the armature is a Paterson if the tablefork is not square but a ESM. sent17: if the tablefork is a ESM then the fact that it is a square hold. sent18: the gibbsite is not ciliary. sent19: if the fact that the tablefork is not a seafront and not a Paterson does not hold the armature is non-square. sent20: the armature is not a Paterson if the tablefork is a seafront. sent21: if something is not scalic the by-catch is a wrench and presidential. sent22: the strontium chomps wonder and does not repent toyshop if that the by-catch is presidential is not incorrect. sent23: the tablefork is not a Paterson and it is not a kind of a seafront.
void -> assump1: Let's assume that the tablefork is not a kind of a seafront and it is not a desorption.; sent11 & assump1 -> int1: the tablefork does not square.; sent17 & sent3 -> int2: the tablefork squares.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that that the tablefork is not a seafront and it is not a desorption is not right is not wrong.;
the armature is a Paterson.
sent14 -> int5: the gibbsite is unreasonable if it is a quantity.; sent5 & sent18 -> int6: the gibbsite is a quantity and is a graded.; int6 -> int7: the gibbsite is a kind of a quantity.; int5 & int7 -> int8: the gibbsite is unreasonable.; sent1 & int8 -> int9: the abductor is unreasonable.; sent10 & int9 -> int10: the abductor is non-scalic.; int10 -> int11: there is something such that it is non-scalic.; int11 & sent21 -> int12: the by-catch does wrench and it is presidential.; int12 -> int13: the by-catch is presidential.; sent22 & int13 -> int14: the strontium does chomp wonder but it does not repent toyshop.; int14 -> int15: the strontium does not repent toyshop.; int15 -> int16: something does not repent toyshop.;
$hypothesis$ = the armature is not a Paterson. ; $context$ = sent1: if the gibbsite is unreasonable the abductor is unreasonable. sent2: that the armature is non-square and it is not a Paterson does not hold. sent3: the tablefork is a ESM. sent4: the tablefork is not a kind of a Paterson. sent5: the gibbsite is a quantity and it is a graded if that it is not ciliary hold. sent6: the fact that that the tablefork is a seafront but it is not a kind of a desorption hold is not true. sent7: the tablefork is not a seafront. sent8: if the tablefork is a kind of non-square thing that is not a kind of a Paterson it is not a kind of a desorption. sent9: if the fact that the tablefork is not a desorption and is not a Paterson does not hold the armature is not a ESM. sent10: if the abductor is unreasonable then it is not scalic. sent11: if the tablefork is not a seafront and it is not a kind of a desorption it does not square. sent12: the tablefork does not square if it is a seafront that is not a desorption. sent13: the arrowroot is not a Paterson. sent14: something is unreasonable if it is a kind of a quantity. sent15: the tablefork is bentonitic. sent16: the armature is a Paterson if the tablefork is not square but a ESM. sent17: if the tablefork is a ESM then the fact that it is a square hold. sent18: the gibbsite is not ciliary. sent19: if the fact that the tablefork is not a seafront and not a Paterson does not hold the armature is non-square. sent20: the armature is not a Paterson if the tablefork is a seafront. sent21: if something is not scalic the by-catch is a wrench and presidential. sent22: the strontium chomps wonder and does not repent toyshop if that the by-catch is presidential is not incorrect. sent23: the tablefork is not a Paterson and it is not a kind of a seafront. ; $proof$ = 
void -> assump1: Let's assume that the tablefork is not a kind of a seafront and it is not a desorption.; sent11 & assump1 -> int1: the tablefork does not square.; sent17 & sent3 -> int2: the tablefork squares.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that that the tablefork is not a seafront and it is not a desorption is not right is not wrong.; __UNKNOWN__