the fact that the fact that the eft is not a insectifuge or it does not caper shabbiness or both does not hold if that the Silex capers noumenon hold is wrong.
sent1: if the Silex is not a lady-slipper then the fact that the fact that that the eft is not a insectifuge or capers shabbiness or both is not wrong is not true is true. sent2: that the eft is not a insectifuge and/or it capers shabbiness is not right if the Silex capers noumenon. sent3: the aviary does caper noumenon and it is a insectifuge. sent4: the Silex is heartless thing that is a kind of a goliard. sent5: the eft is a insectifuge if the Silex is not a kind of a lady-slipper. sent6: the Silex is not vicarial and/or is not a kind of a monastery. sent7: that the eft is not a insectifuge and/or it does not caper shabbiness is wrong if the Silex is not a lady-slipper. sent8: the Silex is not heartless if it capers noumenon and it is a lady-slipper. sent9: the eft is a kind of a insectifuge if the Silex does caper noumenon.
void -> assump1: Let's assume that the Silex capers noumenon.; void -> assump2: Let's assume that the Silex is a lady-slipper.; assump1 & assump2 -> int1: the Silex does caper noumenon and it is a kind of a lady-slipper.; int1 & sent8 -> int2: the Silex is not heartless.; sent4 -> int3: the Silex is heartless.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the Silex is not a lady-slipper.; int5 & sent7 -> int6: the fact that the eft is not a insectifuge and/or it does not caper shabbiness is not true.; [assump1] & int6 -> hypothesis;
the eft does bog hatchery and it is ammoniac.
sent3 -> int7: the aviary capers noumenon.; int7 -> int8: something capers noumenon.;
$hypothesis$ = the fact that the fact that the eft is not a insectifuge or it does not caper shabbiness or both does not hold if that the Silex capers noumenon hold is wrong. ; $context$ = sent1: if the Silex is not a lady-slipper then the fact that the fact that that the eft is not a insectifuge or capers shabbiness or both is not wrong is not true is true. sent2: that the eft is not a insectifuge and/or it capers shabbiness is not right if the Silex capers noumenon. sent3: the aviary does caper noumenon and it is a insectifuge. sent4: the Silex is heartless thing that is a kind of a goliard. sent5: the eft is a insectifuge if the Silex is not a kind of a lady-slipper. sent6: the Silex is not vicarial and/or is not a kind of a monastery. sent7: that the eft is not a insectifuge and/or it does not caper shabbiness is wrong if the Silex is not a lady-slipper. sent8: the Silex is not heartless if it capers noumenon and it is a lady-slipper. sent9: the eft is a kind of a insectifuge if the Silex does caper noumenon. ; $proof$ = 
void -> assump1: Let's assume that the Silex capers noumenon.; void -> assump2: Let's assume that the Silex is a lady-slipper.; assump1 & assump2 -> int1: the Silex does caper noumenon and it is a kind of a lady-slipper.; int1 & sent8 -> int2: the Silex is not heartless.; sent4 -> int3: the Silex is heartless.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the Silex is not a lady-slipper.; int5 & sent7 -> int6: the fact that the eft is not a insectifuge and/or it does not caper shabbiness is not true.; [assump1] & int6 -> hypothesis; __DISPROVED__