the fact that the menial is not iliac but it is a kind of a Burt if the whistler is not inglorious is wrong.
sent1: something is glorious or it is not non-corvine or both if it is iliac. sent2: the menial is a Burt if it is a Demavend. sent3: if the fact that something is not a kind of a calmness and does not program asclepiad is not true then it is not corvine. sent4: the whistler does not psalm. sent5: the fact that if the fact that the whistler is glorious hold then the fact that the menial is not a calmness and it does not program asclepiad does not hold is not wrong. sent6: the fact that the menial is a kind of a Demavend is not false. sent7: if something is not a psalm it is a Demavend or it does cope phon or both. sent8: if something is not corvine it is not iliac.
void -> assump1: Let's assume that the whistler is not inglorious.; sent5 & assump1 -> int1: that the menial is not a kind of a calmness and does not program asclepiad does not hold.; sent3 -> int2: if the fact that that the menial is not a calmness and it does not program asclepiad is wrong hold it is not corvine.; int1 & int2 -> int3: the menial is not corvine.; sent8 -> int4: if the menial is not corvine it is not iliac.; int3 & int4 -> int5: the menial is non-iliac.; sent2 & sent6 -> int6: the menial is a Burt.; int5 & int6 -> int7: the menial is non-iliac a Burt.; [assump1] & int7 -> hypothesis;
the vegetarian is not a kind of a Burt.
sent1 -> int8: if the whistler is iliac it is not inglorious and/or it is corvine.; sent7 -> int9: if the whistler is not a psalm it is a Demavend or it copes phon or both.; int9 & sent4 -> int10: the whistler is a Demavend or it does cope phon or both.;
$hypothesis$ = the fact that the menial is not iliac but it is a kind of a Burt if the whistler is not inglorious is wrong. ; $context$ = sent1: something is glorious or it is not non-corvine or both if it is iliac. sent2: the menial is a Burt if it is a Demavend. sent3: if the fact that something is not a kind of a calmness and does not program asclepiad is not true then it is not corvine. sent4: the whistler does not psalm. sent5: the fact that if the fact that the whistler is glorious hold then the fact that the menial is not a calmness and it does not program asclepiad does not hold is not wrong. sent6: the fact that the menial is a kind of a Demavend is not false. sent7: if something is not a psalm it is a Demavend or it does cope phon or both. sent8: if something is not corvine it is not iliac. ; $proof$ = 
void -> assump1: Let's assume that the whistler is not inglorious.; sent5 & assump1 -> int1: that the menial is not a kind of a calmness and does not program asclepiad does not hold.; sent3 -> int2: if the fact that that the menial is not a calmness and it does not program asclepiad is wrong hold it is not corvine.; int1 & int2 -> int3: the menial is not corvine.; sent8 -> int4: if the menial is not corvine it is not iliac.; int3 & int4 -> int5: the menial is non-iliac.; sent2 & sent6 -> int6: the menial is a Burt.; int5 & int6 -> int7: the menial is non-iliac a Burt.; [assump1] & int7 -> hypothesis; __DISPROVED__