the Best is not a bloodstone and is a boil.
sent1: the launce does guard fantasy if that the probationer does not dwarf Cimabue and guards ferrule is false. sent2: if that something is a kind of non-avifaunal thing that does not guard fantasy is not correct then it does guard fantasy. sent3: if the fact that the Best does not guard ferrule and does not dwarf Cimabue is false then it is a assignee. sent4: that the probationer does not dwarf Cimabue but it does guard ferrule is not true. sent5: if the Miss does not boil then the fact that the Best is not a bloodstone and is a boil is not correct. sent6: if the chamomile is not unhelpful then the launce does not guard fantasy. sent7: if the chamomile is not a March but it is unhelpful then the Miss is not cryptobiotic. sent8: if something is cryptobiotic then it is not a bloodstone but a boil. sent9: if the fact that something is not a assignee and is not avifaunal is not true it does not boil. sent10: if the Best does not elbow that it does not guard ferrule and does not dwarf Cimabue is not correct. sent11: the Best is cryptobiotic if it does guard fantasy. sent12: if something is not cryptobiotic then the fact that it is not a assignee and not avifaunal does not hold. sent13: the launce does not guard fantasy if the fact that the chamomile is not a March but it is unhelpful is not right.
void -> assump1: Let's assume that the fact that the chamomile is not a March but it is unhelpful is wrong.; sent13 & assump1 -> int1: the launce does not guard fantasy.; sent1 & sent4 -> int2: the launce does guard fantasy.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the chamomile is not a kind of a March but it is unhelpful.; int4 & sent7 -> int5: the Miss is not cryptobiotic.; sent12 -> int6: that the Miss is not a assignee and is not avifaunal is false if it is not cryptobiotic.; int5 & int6 -> int7: that the Miss is not a kind of a assignee and it is not avifaunal is not true.; sent9 -> int8: if that the Miss is not a assignee and not avifaunal is wrong then it does not boil.; int7 & int8 -> int9: the Miss is not a boil.; int9 & sent5 -> hypothesis;
the Best is not a bloodstone but it is a boil.
sent8 -> int10: if the Best is cryptobiotic then it is not a bloodstone and is a boil.; sent2 -> int11: if the fact that the Best is not avifaunal and does not guard fantasy does not hold it guard fantasy.;
$hypothesis$ = the Best is not a bloodstone and is a boil. ; $context$ = sent1: the launce does guard fantasy if that the probationer does not dwarf Cimabue and guards ferrule is false. sent2: if that something is a kind of non-avifaunal thing that does not guard fantasy is not correct then it does guard fantasy. sent3: if the fact that the Best does not guard ferrule and does not dwarf Cimabue is false then it is a assignee. sent4: that the probationer does not dwarf Cimabue but it does guard ferrule is not true. sent5: if the Miss does not boil then the fact that the Best is not a bloodstone and is a boil is not correct. sent6: if the chamomile is not unhelpful then the launce does not guard fantasy. sent7: if the chamomile is not a March but it is unhelpful then the Miss is not cryptobiotic. sent8: if something is cryptobiotic then it is not a bloodstone but a boil. sent9: if the fact that something is not a assignee and is not avifaunal is not true it does not boil. sent10: if the Best does not elbow that it does not guard ferrule and does not dwarf Cimabue is not correct. sent11: the Best is cryptobiotic if it does guard fantasy. sent12: if something is not cryptobiotic then the fact that it is not a assignee and not avifaunal does not hold. sent13: the launce does not guard fantasy if the fact that the chamomile is not a March but it is unhelpful is not right. ; $proof$ = 
void -> assump1: Let's assume that the fact that the chamomile is not a March but it is unhelpful is wrong.; sent13 & assump1 -> int1: the launce does not guard fantasy.; sent1 & sent4 -> int2: the launce does guard fantasy.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the chamomile is not a kind of a March but it is unhelpful.; int4 & sent7 -> int5: the Miss is not cryptobiotic.; sent12 -> int6: that the Miss is not a assignee and is not avifaunal is false if it is not cryptobiotic.; int5 & int6 -> int7: that the Miss is not a kind of a assignee and it is not avifaunal is not true.; sent9 -> int8: if that the Miss is not a assignee and not avifaunal is wrong then it does not boil.; int7 & int8 -> int9: the Miss is not a boil.; int9 & sent5 -> hypothesis; __DISPROVED__