that the slide is not a archerfish but allergic hold if the purgative is not a haircloth.
sent1: if the cuttlefish is a kind of a archerfish the slide is allergic. sent2: the cuttlefish does not perplex petroglyph and is a haircloth. sent3: if the purgative is not a kind of a archerfish then the slide is allergic and it is a haircloth. sent4: the slide is a haircloth. sent5: if the purgative is not a archerfish that the slide is a kind of a haircloth is correct. sent6: if the purgative is not allergic the slide is allergic. sent7: if the slide is not allergic the cuttlefish is a archerfish. sent8: if the cuttlefish is not allergic then the slide is not a archerfish but it is allergic. sent9: the slide is not non-allergic if the cuttlefish is not a archerfish. sent10: the purgative is not a haircloth but it is allergic if the slide is not a archerfish. sent11: the cuttlefish is a kind of a archerfish if the slide is not a kind of a archerfish. sent12: if the slide is not allergic the cuttlefish is not a archerfish but it is allergic. sent13: that the gold is a kind of a archerfish is not false. sent14: if the cuttlefish is not allergic then the fact that the slide is allergic is not wrong. sent15: the slide does perplex gold and it is allergic. sent16: the purgative is a haircloth if the cuttlefish is allergic.
void -> assump1: Let's assume that the cuttlefish is allergic.; sent16 & assump1 -> int1: the purgative is a kind of a haircloth.; void -> assump2: Let's assume that the purgative is not a kind of a haircloth.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the cuttlefish is not allergic.; sent8 & int3 -> int4: the slide is not a archerfish but it is allergic.; [assump2] & int4 -> hypothesis;
$hypothesis$ = that the slide is not a archerfish but allergic hold if the purgative is not a haircloth. ; $context$ = sent1: if the cuttlefish is a kind of a archerfish the slide is allergic. sent2: the cuttlefish does not perplex petroglyph and is a haircloth. sent3: if the purgative is not a kind of a archerfish then the slide is allergic and it is a haircloth. sent4: the slide is a haircloth. sent5: if the purgative is not a archerfish that the slide is a kind of a haircloth is correct. sent6: if the purgative is not allergic the slide is allergic. sent7: if the slide is not allergic the cuttlefish is a archerfish. sent8: if the cuttlefish is not allergic then the slide is not a archerfish but it is allergic. sent9: the slide is not non-allergic if the cuttlefish is not a archerfish. sent10: the purgative is not a haircloth but it is allergic if the slide is not a archerfish. sent11: the cuttlefish is a kind of a archerfish if the slide is not a kind of a archerfish. sent12: if the slide is not allergic the cuttlefish is not a archerfish but it is allergic. sent13: that the gold is a kind of a archerfish is not false. sent14: if the cuttlefish is not allergic then the fact that the slide is allergic is not wrong. sent15: the slide does perplex gold and it is allergic. sent16: the purgative is a haircloth if the cuttlefish is allergic. ; $proof$ = 
void -> assump1: Let's assume that the cuttlefish is allergic.; sent16 & assump1 -> int1: the purgative is a kind of a haircloth.; void -> assump2: Let's assume that the purgative is not a kind of a haircloth.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the cuttlefish is not allergic.; sent8 & int3 -> int4: the slide is not a archerfish but it is allergic.; [assump2] & int4 -> hypothesis; __PROVED__