that the carnation is not a kind of a Anguillan and is a hobby is wrong if the alkyl is not unadoptable.
sent1: the carnation is not a Anguillan and is a hobby if the alkyl is not unadoptable. sent2: that the carnation is a Anguillan and it is a hobby is not right. sent3: if the alkyl is monetary then it is unadoptable. sent4: that that the alkyl is monetary is not incorrect if the carnation is not Anguillan but it is a kind of a hobby is not wrong. sent5: the alkyl is monetary if the carnation is a Anguillan and it is a hobby.
void -> assump2: Let's assume that the carnation is non-Anguillan a hobby.; sent4 & assump2 -> int1: the alkyl is monetary.; int1 & sent3 -> int2: the alkyl is unadoptable.; void -> assump1: Let's assume that the alkyl is not unadoptable.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the carnation is not a Anguillan but it is a kind of a hobby does not hold.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the carnation is not a kind of a Anguillan and is a hobby is wrong if the alkyl is not unadoptable. ; $context$ = sent1: the carnation is not a Anguillan and is a hobby if the alkyl is not unadoptable. sent2: that the carnation is a Anguillan and it is a hobby is not right. sent3: if the alkyl is monetary then it is unadoptable. sent4: that that the alkyl is monetary is not incorrect if the carnation is not Anguillan but it is a kind of a hobby is not wrong. sent5: the alkyl is monetary if the carnation is a Anguillan and it is a hobby. ; $proof$ = 
void -> assump2: Let's assume that the carnation is non-Anguillan a hobby.; sent4 & assump2 -> int1: the alkyl is monetary.; int1 & sent3 -> int2: the alkyl is unadoptable.; void -> assump1: Let's assume that the alkyl is not unadoptable.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the fact that the carnation is not a Anguillan but it is a kind of a hobby does not hold.; [assump1] & int4 -> hypothesis; __PROVED__