the Ayrshire is a kind of a Lilium.
sent1: the fact that the dhow does not dim ordainer and is not tuneless is incorrect. sent2: the fact that the zooid is not tuneless and not an embellishment is not right if the dhow is tuneless. sent3: the axis is not a Lilium if that the zooid is not tuneless and it is not an embellishment is incorrect. sent4: if the dhow is not tuneless then it is not a chitchat. sent5: the beeline is not a kind of an embellishment. sent6: if something is not a kind of a Lilium then it is not squinty. sent7: the quartering is not a zymase. sent8: if the dhow is not tuneless then the beeline is not a chitchat but it is squinty. sent9: the quartering is a perishability if the beeline is not a chitchat but it is squinty. sent10: if the zooid is a kind of a Lilium then that the axis is not a Lilium and it is not an embellishment is false. sent11: if the fact that the fact that the Ayrshire is not tuneless and it does not dim ordainer is correct is not right the dhow is not squinty. sent12: the beeline is a Lilium if the fact that the Ayrshire is not squinty is true. sent13: that the beeline is not a Lilium is not correct. sent14: the fact that if the quartering is not the perishability then the quartering is not a kind of an embellishment hold. sent15: if something is not a kind of a zymase then it is not a perishability.
void -> assump1: Let's assume that the dhow is not tuneless.; sent8 & assump1 -> int1: the beeline is not a chitchat but it is squinty.; int1 & sent9 -> int2: the quartering is a kind of a perishability.; sent15 -> int3: the quartering is not a perishability if it is not a kind of a zymase.; int3 & sent7 -> int4: the quartering is not a kind of a perishability.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the dhow is tuneless.; int6 & sent2 -> int7: that the zooid is tuneful thing that is not an embellishment is incorrect.; int7 & sent3 -> int8: the axis is not a kind of a Lilium.;
$hypothesis$ = the Ayrshire is a kind of a Lilium. ; $context$ = sent1: the fact that the dhow does not dim ordainer and is not tuneless is incorrect. sent2: the fact that the zooid is not tuneless and not an embellishment is not right if the dhow is tuneless. sent3: the axis is not a Lilium if that the zooid is not tuneless and it is not an embellishment is incorrect. sent4: if the dhow is not tuneless then it is not a chitchat. sent5: the beeline is not a kind of an embellishment. sent6: if something is not a kind of a Lilium then it is not squinty. sent7: the quartering is not a zymase. sent8: if the dhow is not tuneless then the beeline is not a chitchat but it is squinty. sent9: the quartering is a perishability if the beeline is not a chitchat but it is squinty. sent10: if the zooid is a kind of a Lilium then that the axis is not a Lilium and it is not an embellishment is false. sent11: if the fact that the fact that the Ayrshire is not tuneless and it does not dim ordainer is correct is not right the dhow is not squinty. sent12: the beeline is a Lilium if the fact that the Ayrshire is not squinty is true. sent13: that the beeline is not a Lilium is not correct. sent14: the fact that if the quartering is not the perishability then the quartering is not a kind of an embellishment hold. sent15: if something is not a kind of a zymase then it is not a perishability. ; $proof$ = 
void -> assump1: Let's assume that the dhow is not tuneless.; sent8 & assump1 -> int1: the beeline is not a chitchat but it is squinty.; int1 & sent9 -> int2: the quartering is a kind of a perishability.; sent15 -> int3: the quartering is not a perishability if it is not a kind of a zymase.; int3 & sent7 -> int4: the quartering is not a kind of a perishability.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the dhow is tuneless.; int6 & sent2 -> int7: that the zooid is tuneful thing that is not an embellishment is incorrect.; int7 & sent3 -> int8: the axis is not a kind of a Lilium.; __UNKNOWN__