if the salesgirl does not demote RAF the gametangium is medieval.
sent1: the salesgirl is a kind of a Hyperoglyphe. sent2: if the fact that the photocell is both a Hyperoglyphe and not nice does not hold the salesgirl does demote RAF. sent3: the salesgirl demotes sauna. sent4: if the sauna is a kind of a intercostal then the gametangium is medieval. sent5: that that the photocell is a Hyperoglyphe but it is not nice hold does not hold if that the sauna does not demote sauna is right. sent6: if the sauna is a DO then it is intercostal. sent7: if something does demote sauna then it is a DO. sent8: the sauna is a piggyback.
void -> assump1: Let's assume that the sauna does not demote sauna.; sent5 & assump1 -> int1: that the photocell is a Hyperoglyphe and is non-nice is not correct.; int1 & sent2 -> int2: the salesgirl does demote RAF.; void -> assump2: Let's assume that the salesgirl does not demote RAF.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the sauna demotes sauna is not false.; sent7 -> int5: if the sauna does demote sauna then it is a DO.; int4 & int5 -> int6: the sauna is a kind of a DO.; int6 & sent6 -> int7: the sauna is a intercostal.; int7 & sent4 -> int8: the gametangium is medieval.; [assump2] & int8 -> hypothesis;
$hypothesis$ = if the salesgirl does not demote RAF the gametangium is medieval. ; $context$ = sent1: the salesgirl is a kind of a Hyperoglyphe. sent2: if the fact that the photocell is both a Hyperoglyphe and not nice does not hold the salesgirl does demote RAF. sent3: the salesgirl demotes sauna. sent4: if the sauna is a kind of a intercostal then the gametangium is medieval. sent5: that that the photocell is a Hyperoglyphe but it is not nice hold does not hold if that the sauna does not demote sauna is right. sent6: if the sauna is a DO then it is intercostal. sent7: if something does demote sauna then it is a DO. sent8: the sauna is a piggyback. ; $proof$ = 
void -> assump1: Let's assume that the sauna does not demote sauna.; sent5 & assump1 -> int1: that the photocell is a Hyperoglyphe and is non-nice is not correct.; int1 & sent2 -> int2: the salesgirl does demote RAF.; void -> assump2: Let's assume that the salesgirl does not demote RAF.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the sauna demotes sauna is not false.; sent7 -> int5: if the sauna does demote sauna then it is a DO.; int4 & int5 -> int6: the sauna is a kind of a DO.; int6 & sent6 -> int7: the sauna is a intercostal.; int7 & sent4 -> int8: the gametangium is medieval.; [assump2] & int8 -> hypothesis; __PROVED__