the fingerstall is not a kind of a caseworm.
sent1: if something is not a Ignatius then it is popular thing that is not expensive. sent2: the fingerstall is a purchase if it impedes Callistephus. sent3: if the Ghanian does suggest snowbank then it is not wearable. sent4: if the fact that the fingerstall is not a kind of a Ignatius is correct then it is popular. sent5: if the fact that the bijou is not a plastid and it is not unwearable is not true the Ghanian is not a plastid. sent6: something is not a caseworm if it is not a kind of a caseworm or is not a kind of a Ignatius or both. sent7: the Ghanian does not snowmobile. sent8: if the Ghanian is not a kind of a plastid then the fingerstall is not a Ignatius and it is not a caseworm. sent9: something is not a caseworm or it is not a plastid or both if it is unwearable. sent10: the marginalization is expensive. sent11: if the fact that the fingerstall is a Ignatius is true then it is a caseworm. sent12: if the fingerstall is not a kind of a plastid then that it is popular but not expensive does not hold. sent13: something is associational or it suggests snowbank or both if it does not snowmobile. sent14: if the Ghanian is associational then it is unwearable. sent15: the fingerstall is not a kind of a plastid. sent16: the fingerstall is a scurf.
sent1 -> int1: that the fingerstall is popular but it is not expensive hold if the fact that it is not a Ignatius is correct.; void -> assump1: Let's assume that the fingerstall is not a Ignatius.; int1 & assump1 -> int2: the fingerstall is popular and is not expensive.; sent12 & sent15 -> int3: the fact that the fingerstall is popular and is not expensive is not correct.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fingerstall is a kind of a Ignatius.; int5 & sent11 -> hypothesis;
the fingerstall is not a caseworm.
$hypothesis$ = the fingerstall is not a kind of a caseworm. ; $context$ = sent1: if something is not a Ignatius then it is popular thing that is not expensive. sent2: the fingerstall is a purchase if it impedes Callistephus. sent3: if the Ghanian does suggest snowbank then it is not wearable. sent4: if the fact that the fingerstall is not a kind of a Ignatius is correct then it is popular. sent5: if the fact that the bijou is not a plastid and it is not unwearable is not true the Ghanian is not a plastid. sent6: something is not a caseworm if it is not a kind of a caseworm or is not a kind of a Ignatius or both. sent7: the Ghanian does not snowmobile. sent8: if the Ghanian is not a kind of a plastid then the fingerstall is not a Ignatius and it is not a caseworm. sent9: something is not a caseworm or it is not a plastid or both if it is unwearable. sent10: the marginalization is expensive. sent11: if the fact that the fingerstall is a Ignatius is true then it is a caseworm. sent12: if the fingerstall is not a kind of a plastid then that it is popular but not expensive does not hold. sent13: something is associational or it suggests snowbank or both if it does not snowmobile. sent14: if the Ghanian is associational then it is unwearable. sent15: the fingerstall is not a kind of a plastid. sent16: the fingerstall is a scurf. ; $proof$ = 
sent1 -> int1: that the fingerstall is popular but it is not expensive hold if the fact that it is not a Ignatius is correct.; void -> assump1: Let's assume that the fingerstall is not a Ignatius.; int1 & assump1 -> int2: the fingerstall is popular and is not expensive.; sent12 & sent15 -> int3: the fact that the fingerstall is popular and is not expensive is not correct.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the fingerstall is a kind of a Ignatius.; int5 & sent11 -> hypothesis; __DISPROVED__