that if the pad does imply Thysanoptera and is not valvular the seriema does not superscribe graniteware is not true.
sent1: if there is something such that it is not hemic and it implies Thysanoptera the seriema does not superscribe graniteware. sent2: the pythium is a kind of non-hemic thing that implies Thysanoptera if the pad does implies Thysanoptera.
void -> assump1: Let's assume that the pad does imply Thysanoptera and is not valvular.; assump1 -> int1: the pad implies Thysanoptera.; sent2 & int1 -> int2: the pythium is not hemic but it implies Thysanoptera.; int2 -> int3: there is something such that that it is a kind of non-hemic thing that implies Thysanoptera hold.; int3 & sent1 -> int4: the fact that the seriema does not superscribe graniteware is true.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that if the pad does imply Thysanoptera and is not valvular the seriema does not superscribe graniteware is not true. ; $context$ = sent1: if there is something such that it is not hemic and it implies Thysanoptera the seriema does not superscribe graniteware. sent2: the pythium is a kind of non-hemic thing that implies Thysanoptera if the pad does implies Thysanoptera. ; $proof$ = 
void -> assump1: Let's assume that the pad does imply Thysanoptera and is not valvular.; assump1 -> int1: the pad implies Thysanoptera.; sent2 & int1 -> int2: the pythium is not hemic but it implies Thysanoptera.; int2 -> int3: there is something such that that it is a kind of non-hemic thing that implies Thysanoptera hold.; int3 & sent1 -> int4: the fact that the seriema does not superscribe graniteware is true.; [assump1] & int4 -> hypothesis; __DISPROVED__