the withdrawer is not a peripheral.
sent1: if the franklin is a honker then the son is a honker but it is not insectan. sent2: the fact that something is not a kind of an aphid and it is not a honker is not true if it is not a cabana. sent3: that the ROM is not a cover-up and/or it is insectan does not hold. sent4: if the fact that something is not a cover-up or is a kind of a squinch or both does not hold then it is an aphid. sent5: if the ROM is an aphid that the franklin is a honker is not false. sent6: the fact that the ROM is not a cover-up and/or is a squinch is not true if it is spectral. sent7: something is a cabana if it is both a honker and not insectan. sent8: if the son is a cabana the withdrawer is not non-peripheral. sent9: the ROM is spectral. sent10: something is a honker if it is spectral and is not a cabana. sent11: the franklin is a honker and it is a peripheral if the son is not an aphid. sent12: if the fact that something is a kind of a cabana but it is not peripheral is incorrect it is not a cabana. sent13: the withdrawer is not peripheral if the franklin is a honker and peripheral.
sent4 -> int1: if the fact that the ROM is not a cover-up or it does squinch or both is not correct it is an aphid.; sent6 & sent9 -> int2: the fact that the ROM is not a kind of a cover-up and/or it is a squinch is wrong.; int1 & int2 -> int3: the ROM is an aphid.; int3 & sent5 -> int4: the franklin is a kind of a honker.; int4 & sent1 -> int5: the son is a honker but it is not insectan.; sent7 -> int6: the son is a cabana if it is a kind of a honker and is not insectan.; int5 & int6 -> int7: that the son is a cabana is correct.; int7 & sent8 -> hypothesis;
the withdrawer is not a peripheral.
$hypothesis$ = the withdrawer is not a peripheral. ; $context$ = sent1: if the franklin is a honker then the son is a honker but it is not insectan. sent2: the fact that something is not a kind of an aphid and it is not a honker is not true if it is not a cabana. sent3: that the ROM is not a cover-up and/or it is insectan does not hold. sent4: if the fact that something is not a cover-up or is a kind of a squinch or both does not hold then it is an aphid. sent5: if the ROM is an aphid that the franklin is a honker is not false. sent6: the fact that the ROM is not a cover-up and/or is a squinch is not true if it is spectral. sent7: something is a cabana if it is both a honker and not insectan. sent8: if the son is a cabana the withdrawer is not non-peripheral. sent9: the ROM is spectral. sent10: something is a honker if it is spectral and is not a cabana. sent11: the franklin is a honker and it is a peripheral if the son is not an aphid. sent12: if the fact that something is a kind of a cabana but it is not peripheral is incorrect it is not a cabana. sent13: the withdrawer is not peripheral if the franklin is a honker and peripheral. ; $proof$ = 
sent4 -> int1: if the fact that the ROM is not a cover-up or it does squinch or both is not correct it is an aphid.; sent6 & sent9 -> int2: the fact that the ROM is not a kind of a cover-up and/or it is a squinch is wrong.; int1 & int2 -> int3: the ROM is an aphid.; int3 & sent5 -> int4: the franklin is a kind of a honker.; int4 & sent1 -> int5: the son is a honker but it is not insectan.; sent7 -> int6: the son is a cabana if it is a kind of a honker and is not insectan.; int5 & int6 -> int7: that the son is a cabana is correct.; int7 & sent8 -> hypothesis; __DISPROVED__