the cultivar is not a bondsman.
sent1: that the ferrocyanide is a bondsman is true. sent2: the attrition is not a kind of a traitor. sent3: if that the accordionist is a Cerambycidae is true it is a Sterope. sent4: if that the attrition is not a kind of a traitor is right then it is a kind of a spot. sent5: if something is a kind of a anatotitan it is a CPU. sent6: that the cultivar is not a Cerambycidae is right. sent7: the accordionist is a Cerambycidae. sent8: if the accordionist is a kind of a Sterope that is coccal then the fact that the attrition is not a kind of a CPU hold. sent9: the cultivar is not a bondsman if the ferrocyanide is not a Oceanid. sent10: if the attrition is not a kind of a traitor it spots and it is a kind of a anatotitan.
sent3 & sent7 -> int1: the accordionist is a Sterope.; void -> assump1: Let's assume that that the accordionist is coccal hold.; int1 & assump1 -> int2: the accordionist is a kind of a Sterope and it is coccal.; int2 & sent8 -> int3: the attrition is not a CPU.; sent5 -> int4: the attrition is a kind of a CPU if that it is a anatotitan is not incorrect.; sent10 & sent2 -> int5: the attrition spots and it is a kind of a anatotitan.; int5 -> int6: the attrition is a kind of a anatotitan.; int4 & int6 -> int7: the attrition is a CPU.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that the accordionist is not coccal is not wrong.; int9 -> int10: there is something such that it is not coccal.;
$hypothesis$ = the cultivar is not a bondsman. ; $context$ = sent1: that the ferrocyanide is a bondsman is true. sent2: the attrition is not a kind of a traitor. sent3: if that the accordionist is a Cerambycidae is true it is a Sterope. sent4: if that the attrition is not a kind of a traitor is right then it is a kind of a spot. sent5: if something is a kind of a anatotitan it is a CPU. sent6: that the cultivar is not a Cerambycidae is right. sent7: the accordionist is a Cerambycidae. sent8: if the accordionist is a kind of a Sterope that is coccal then the fact that the attrition is not a kind of a CPU hold. sent9: the cultivar is not a bondsman if the ferrocyanide is not a Oceanid. sent10: if the attrition is not a kind of a traitor it spots and it is a kind of a anatotitan. ; $proof$ = 
sent3 & sent7 -> int1: the accordionist is a Sterope.; void -> assump1: Let's assume that that the accordionist is coccal hold.; int1 & assump1 -> int2: the accordionist is a kind of a Sterope and it is coccal.; int2 & sent8 -> int3: the attrition is not a CPU.; sent5 -> int4: the attrition is a kind of a CPU if that it is a anatotitan is not incorrect.; sent10 & sent2 -> int5: the attrition spots and it is a kind of a anatotitan.; int5 -> int6: the attrition is a kind of a anatotitan.; int4 & int6 -> int7: the attrition is a CPU.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: that the accordionist is not coccal is not wrong.; int9 -> int10: there is something such that it is not coccal.; __UNKNOWN__