the extinction is not eradicable.
sent1: the phosgene deduces sarong and it does unbar Kwanzaa. sent2: the flagfish is spousal and it is a Forth. sent3: the fact that the plastid does not deduce Anzio and is Wilsonian is not right. sent4: if there is something such that the fact that it does not deduce Anzio and it is Wilsonian does not hold then the flag is a kind of a Southey. sent5: the extinction is ineradicable if the flag does unbar Kwanzaa and is stomatal. sent6: a Southey unbars Kwanzaa. sent7: if something is a kind of a Forth then it is stomatal. sent8: if that that the flagfish is not a kind of a Forth is false hold the flag is a Forth. sent9: if the flagfish is not non-spousal the extinction is non-spousal. sent10: the flagfish is eradicable.
sent3 -> int1: there is something such that that it does not deduce Anzio and it is Wilsonian is not true.; int1 & sent4 -> int2: the fact that the flag is a Southey is correct.; sent6 -> int3: if the flag is a kind of a Southey it does unbar Kwanzaa.; int2 & int3 -> int4: the flag unbars Kwanzaa.; sent7 -> int5: if the flag is a kind of a Forth then it is stomatal.; sent2 -> int6: the flagfish is a Forth.; sent8 & int6 -> int7: the flag is a kind of a Forth.; int5 & int7 -> int8: the flag is stomatal.; int4 & int8 -> int9: the flag does unbar Kwanzaa and is stomatal.; int9 & sent5 -> hypothesis;
$hypothesis$ = the extinction is not eradicable. ; $context$ = sent1: the phosgene deduces sarong and it does unbar Kwanzaa. sent2: the flagfish is spousal and it is a Forth. sent3: the fact that the plastid does not deduce Anzio and is Wilsonian is not right. sent4: if there is something such that the fact that it does not deduce Anzio and it is Wilsonian does not hold then the flag is a kind of a Southey. sent5: the extinction is ineradicable if the flag does unbar Kwanzaa and is stomatal. sent6: a Southey unbars Kwanzaa. sent7: if something is a kind of a Forth then it is stomatal. sent8: if that that the flagfish is not a kind of a Forth is false hold the flag is a Forth. sent9: if the flagfish is not non-spousal the extinction is non-spousal. sent10: the flagfish is eradicable. ; $proof$ = 
sent3 -> int1: there is something such that that it does not deduce Anzio and it is Wilsonian is not true.; int1 & sent4 -> int2: the fact that the flag is a Southey is correct.; sent6 -> int3: if the flag is a kind of a Southey it does unbar Kwanzaa.; int2 & int3 -> int4: the flag unbars Kwanzaa.; sent7 -> int5: if the flag is a kind of a Forth then it is stomatal.; sent2 -> int6: the flagfish is a Forth.; sent8 & int6 -> int7: the flag is a kind of a Forth.; int5 & int7 -> int8: the flag is stomatal.; int4 & int8 -> int9: the flag does unbar Kwanzaa and is stomatal.; int9 & sent5 -> hypothesis; __PROVED__