the surfboard is not pyrographic.
sent1: the topping is not wingless. sent2: the topping is non-pyrographic. sent3: if the topping is not nonslippery the nose is wingless. sent4: the topping is not nonslippery if it is a kind of pyrographic thing that is a Wisconsinite. sent5: the lexicographer is diurnal. sent6: the fact that the nose is diurnal is true. sent7: the brad is diurnal. sent8: the surfboard is not a kind of a Wisconsinite. sent9: the nose is nonslippery. sent10: the nose is not wingless. sent11: the surfboard is diurnal. sent12: the surfboard is not pyrographic if the topping is not a Wisconsinite. sent13: the topping is not italic. sent14: the topping is diurnal. sent15: the fact that the nose is not a Wisconsinite is right. sent16: the fact that the topping is a number hold. sent17: if something that is diurnal is a Wisconsinite then it is not nonslippery. sent18: if that the topping is not pyrographic and it is not a Wisconsinite is incorrect the surfboard is pyrographic. sent19: the nose is not pyrographic. sent20: the primary is not wingless. sent21: that the surfboard is not nonslippery is right if the topping is not pyrographic.
void -> assump1: Let's assume that the topping is a Wisconsinite.; sent14 & assump1 -> int1: the topping is diurnal and it is a Wisconsinite.; sent17 -> int2: if the topping is a kind of diurnal thing that is a Wisconsinite then it is not nonslippery.; int1 & int2 -> int3: the topping is not nonslippery.; int3 & sent3 -> int4: the nose is wingless.; int4 & sent10 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the topping is not a Wisconsinite is correct.; int6 & sent12 -> hypothesis;
the surfboard is pyrographic.
$hypothesis$ = the surfboard is not pyrographic. ; $context$ = sent1: the topping is not wingless. sent2: the topping is non-pyrographic. sent3: if the topping is not nonslippery the nose is wingless. sent4: the topping is not nonslippery if it is a kind of pyrographic thing that is a Wisconsinite. sent5: the lexicographer is diurnal. sent6: the fact that the nose is diurnal is true. sent7: the brad is diurnal. sent8: the surfboard is not a kind of a Wisconsinite. sent9: the nose is nonslippery. sent10: the nose is not wingless. sent11: the surfboard is diurnal. sent12: the surfboard is not pyrographic if the topping is not a Wisconsinite. sent13: the topping is not italic. sent14: the topping is diurnal. sent15: the fact that the nose is not a Wisconsinite is right. sent16: the fact that the topping is a number hold. sent17: if something that is diurnal is a Wisconsinite then it is not nonslippery. sent18: if that the topping is not pyrographic and it is not a Wisconsinite is incorrect the surfboard is pyrographic. sent19: the nose is not pyrographic. sent20: the primary is not wingless. sent21: that the surfboard is not nonslippery is right if the topping is not pyrographic. ; $proof$ = 
void -> assump1: Let's assume that the topping is a Wisconsinite.; sent14 & assump1 -> int1: the topping is diurnal and it is a Wisconsinite.; sent17 -> int2: if the topping is a kind of diurnal thing that is a Wisconsinite then it is not nonslippery.; int1 & int2 -> int3: the topping is not nonslippery.; int3 & sent3 -> int4: the nose is wingless.; int4 & sent10 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that the topping is not a Wisconsinite is correct.; int6 & sent12 -> hypothesis; __PROVED__