the Yquem is not endergonic.
sent1: the Yquem is lesser. sent2: the roble is a kind of a Lyrurus. sent3: that if the roble is a Lyrurus then the cocoon does incriminate antipyretic is true. sent4: if there is something such that it incriminates antipyretic then the Yquem is not non-lesser and it is corinthian. sent5: something is endergonic if it is corinthian.
sent3 & sent2 -> int1: the cocoon does incriminate antipyretic.; int1 -> int2: something incriminates antipyretic.; int2 & sent4 -> int3: the Yquem is both lesser and corinthian.; int3 -> int4: the Yquem is corinthian.; sent5 -> int5: the Yquem is endergonic if the fact that it is corinthian is not false.; int4 & int5 -> hypothesis;
$hypothesis$ = the Yquem is not endergonic. ; $context$ = sent1: the Yquem is lesser. sent2: the roble is a kind of a Lyrurus. sent3: that if the roble is a Lyrurus then the cocoon does incriminate antipyretic is true. sent4: if there is something such that it incriminates antipyretic then the Yquem is not non-lesser and it is corinthian. sent5: something is endergonic if it is corinthian. ; $proof$ = 
sent3 & sent2 -> int1: the cocoon does incriminate antipyretic.; int1 -> int2: something incriminates antipyretic.; int2 & sent4 -> int3: the Yquem is both lesser and corinthian.; int3 -> int4: the Yquem is corinthian.; sent5 -> int5: the Yquem is endergonic if the fact that it is corinthian is not false.; int4 & int5 -> hypothesis; __DISPROVED__