the hamper is not carpellate.
sent1: if the fact that the hamper ripostes and it is paranasal is incorrect it is not carpellate. sent2: if the lutefisk is paranasal then it does stink curiosa. sent3: the fact that the hamper is a riposte and it is paranasal is false if that the lutefisk is not paranasal hold. sent4: the lutefisk is aphetic but it is not a lineman if it stinks curiosa. sent5: the lutefisk is a lineman.
void -> assump1: Let's assume that the lutefisk is paranasal.; sent2 & assump1 -> int1: the fact that the lutefisk does stink curiosa is not false.; int1 & sent4 -> int2: the lutefisk is aphetic but it is not a lineman.; int2 -> int3: that the lutefisk is not a lineman is true.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the lutefisk is not paranasal hold.; int5 & sent3 -> int6: that the hamper is a kind of a riposte that is paranasal is not correct.; int6 & sent1 -> hypothesis;
$hypothesis$ = the hamper is not carpellate. ; $context$ = sent1: if the fact that the hamper ripostes and it is paranasal is incorrect it is not carpellate. sent2: if the lutefisk is paranasal then it does stink curiosa. sent3: the fact that the hamper is a riposte and it is paranasal is false if that the lutefisk is not paranasal hold. sent4: the lutefisk is aphetic but it is not a lineman if it stinks curiosa. sent5: the lutefisk is a lineman. ; $proof$ = 
void -> assump1: Let's assume that the lutefisk is paranasal.; sent2 & assump1 -> int1: the fact that the lutefisk does stink curiosa is not false.; int1 & sent4 -> int2: the lutefisk is aphetic but it is not a lineman.; int2 -> int3: that the lutefisk is not a lineman is true.; int3 & sent5 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fact that the lutefisk is not paranasal hold.; int5 & sent3 -> int6: that the hamper is a kind of a riposte that is paranasal is not correct.; int6 & sent1 -> hypothesis; __PROVED__