the spongefly does not radio cardsharp.
sent1: if the spongefly is a kind of an attendant the lactase is a closeness. sent2: the damson is not a proliferation. sent3: if the lactase is a kind of a closeness then the dressmaker does radio haploidy. sent4: if the spongefly is a kind of a casement it is tearless. sent5: if the damson is unworthy then the guyot is a small. sent6: if the damson is not a kind of a proliferation then it is unworthy and kibitzes. sent7: if the dressmaker does radio haploidy the guyot is not a small. sent8: something is an attendant if that it is tearless is right. sent9: something does not radio cardsharp if it is not a kind of a casement.
void -> assump1: Let's assume that the spongefly is a kind of a casement.; sent4 & assump1 -> int1: the spongefly is tearless.; sent8 -> int2: if the fact that the spongefly is tearless is not incorrect it is a kind of an attendant.; int1 & int2 -> int3: the spongefly is an attendant.; int3 & sent1 -> int4: the lactase is a closeness.; int4 & sent3 -> int5: the dressmaker does radio haploidy.; int5 & sent7 -> int6: the guyot is not small.; sent6 & sent2 -> int7: the damson is unworthy and it does kibitz.; int7 -> int8: the damson is unworthy.; sent5 & int8 -> int9: the guyot is a small.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the fact that the spongefly is not a casement is correct.; sent9 -> int12: if the spongefly is not a casement then it does not radio cardsharp.; int11 & int12 -> hypothesis;
$hypothesis$ = the spongefly does not radio cardsharp. ; $context$ = sent1: if the spongefly is a kind of an attendant the lactase is a closeness. sent2: the damson is not a proliferation. sent3: if the lactase is a kind of a closeness then the dressmaker does radio haploidy. sent4: if the spongefly is a kind of a casement it is tearless. sent5: if the damson is unworthy then the guyot is a small. sent6: if the damson is not a kind of a proliferation then it is unworthy and kibitzes. sent7: if the dressmaker does radio haploidy the guyot is not a small. sent8: something is an attendant if that it is tearless is right. sent9: something does not radio cardsharp if it is not a kind of a casement. ; $proof$ = 
void -> assump1: Let's assume that the spongefly is a kind of a casement.; sent4 & assump1 -> int1: the spongefly is tearless.; sent8 -> int2: if the fact that the spongefly is tearless is not incorrect it is a kind of an attendant.; int1 & int2 -> int3: the spongefly is an attendant.; int3 & sent1 -> int4: the lactase is a closeness.; int4 & sent3 -> int5: the dressmaker does radio haploidy.; int5 & sent7 -> int6: the guyot is not small.; sent6 & sent2 -> int7: the damson is unworthy and it does kibitz.; int7 -> int8: the damson is unworthy.; sent5 & int8 -> int9: the guyot is a small.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the fact that the spongefly is not a casement is correct.; sent9 -> int12: if the spongefly is not a casement then it does not radio cardsharp.; int11 & int12 -> hypothesis; __PROVED__