that the fact that the cragsman is not Jamaican is not incorrect if the glycol is a kind of a patrol and it is a kind of a Mosaic is wrong.
sent1: if something is Muscovite or a brittle-star or both it is not a kind of a Jamaican. sent2: if the cragsman is either a Muscovite or a brittle-star or both then it is not non-Jamaican. sent3: the glycol is a kind of a brittle-star and it is not non-Mosaic. sent4: the glycol is unneurotic. sent5: the cragsman is not Mosaic if the glycol is a kind of a Jamaican that is a kind of a patrol. sent6: if the glycol does patrol and is Mosaic then the cragsman is a Jamaican. sent7: something is not a Jamaican if it is a brittle-star. sent8: that the GB is not a brittle-star but it is a patrol if that the glycol is a Mosaic is not incorrect hold. sent9: that the cragsman is not a Muscovite and is a Mosaic is not true if the weeds is a kind of a Jamaican. sent10: the glycol is a Mosaic if that the cragsman is non-Muscovite and not Mosaic is not right. sent11: if something slices citizenship and/or it does slice disability then it is a babyminder. sent12: the cragsman is a Jamaican. sent13: if something does slice GB then it is not a creep. sent14: if the glycol is a kind of a patrol the cragsman is a Muscovite. sent15: the cragsman is non-Jamaican if it is a brittle-star. sent16: the glycol is a kind of a Mosaic.
void -> assump1: Let's assume that the glycol is a patrol and a Mosaic.; assump1 -> int1: the glycol patrols.; int1 & sent14 -> int2: the cragsman is a Muscovite.; int2 -> int3: the cragsman either is a Muscovite or is a brittle-star or both.; sent1 -> int4: if the cragsman is Muscovite and/or it is a brittle-star it is non-Jamaican.; int3 & int4 -> int5: the cragsman is not a kind of a Jamaican.; [assump1] & int5 -> hypothesis;
the GB is not a brittle-star.
sent13 -> int6: if the semigloss slices GB it is not a kind of a creep.;
$hypothesis$ = that the fact that the cragsman is not Jamaican is not incorrect if the glycol is a kind of a patrol and it is a kind of a Mosaic is wrong. ; $context$ = sent1: if something is Muscovite or a brittle-star or both it is not a kind of a Jamaican. sent2: if the cragsman is either a Muscovite or a brittle-star or both then it is not non-Jamaican. sent3: the glycol is a kind of a brittle-star and it is not non-Mosaic. sent4: the glycol is unneurotic. sent5: the cragsman is not Mosaic if the glycol is a kind of a Jamaican that is a kind of a patrol. sent6: if the glycol does patrol and is Mosaic then the cragsman is a Jamaican. sent7: something is not a Jamaican if it is a brittle-star. sent8: that the GB is not a brittle-star but it is a patrol if that the glycol is a Mosaic is not incorrect hold. sent9: that the cragsman is not a Muscovite and is a Mosaic is not true if the weeds is a kind of a Jamaican. sent10: the glycol is a Mosaic if that the cragsman is non-Muscovite and not Mosaic is not right. sent11: if something slices citizenship and/or it does slice disability then it is a babyminder. sent12: the cragsman is a Jamaican. sent13: if something does slice GB then it is not a creep. sent14: if the glycol is a kind of a patrol the cragsman is a Muscovite. sent15: the cragsman is non-Jamaican if it is a brittle-star. sent16: the glycol is a kind of a Mosaic. ; $proof$ = 
void -> assump1: Let's assume that the glycol is a patrol and a Mosaic.; assump1 -> int1: the glycol patrols.; int1 & sent14 -> int2: the cragsman is a Muscovite.; int2 -> int3: the cragsman either is a Muscovite or is a brittle-star or both.; sent1 -> int4: if the cragsman is Muscovite and/or it is a brittle-star it is non-Jamaican.; int3 & int4 -> int5: the cragsman is not a kind of a Jamaican.; [assump1] & int5 -> hypothesis; __DISPROVED__