that if the refraction is floral the tricolor does not blush is false.
sent1: the refraction is a kind of a agnomen if the thortveitite is glial. sent2: the tricolor is not a blush if something does not permute corundom. sent3: the thortveitite is a kind of a hornpipe and it is glial. sent4: if the refraction is a agnomen and it is floral the purser does not permute corundom. sent5: the palladium is floral if that the thortveitite is floral hold. sent6: the refraction is not a hornpipe. sent7: that if the thortveitite does permute corundom the purser is a hornpipe is not wrong. sent8: the thortveitite is a kind of a hornpipe. sent9: if something is not a kind of a hornpipe the thortveitite permutes corundom. sent10: if the thortveitite is both glial and not non-floral the refraction is not a kind of a hornpipe.
sent3 -> int1: the thortveitite is glial.; sent1 & int1 -> int2: the refraction is a agnomen.; void -> assump1: Let's assume that the refraction is floral.; int2 & assump1 -> int3: the refraction is a agnomen and it is floral.; sent4 & int3 -> int4: that the purser does not permute corundom is not incorrect.; int4 -> int5: something does not permute corundom.; int5 & sent2 -> int6: the tricolor is not a blush.; [assump1] & int6 -> hypothesis;
the palladium is floral.
$hypothesis$ = that if the refraction is floral the tricolor does not blush is false. ; $context$ = sent1: the refraction is a kind of a agnomen if the thortveitite is glial. sent2: the tricolor is not a blush if something does not permute corundom. sent3: the thortveitite is a kind of a hornpipe and it is glial. sent4: if the refraction is a agnomen and it is floral the purser does not permute corundom. sent5: the palladium is floral if that the thortveitite is floral hold. sent6: the refraction is not a hornpipe. sent7: that if the thortveitite does permute corundom the purser is a hornpipe is not wrong. sent8: the thortveitite is a kind of a hornpipe. sent9: if something is not a kind of a hornpipe the thortveitite permutes corundom. sent10: if the thortveitite is both glial and not non-floral the refraction is not a kind of a hornpipe. ; $proof$ = 
sent3 -> int1: the thortveitite is glial.; sent1 & int1 -> int2: the refraction is a agnomen.; void -> assump1: Let's assume that the refraction is floral.; int2 & assump1 -> int3: the refraction is a agnomen and it is floral.; sent4 & int3 -> int4: that the purser does not permute corundom is not incorrect.; int4 -> int5: something does not permute corundom.; int5 & sent2 -> int6: the tricolor is not a blush.; [assump1] & int6 -> hypothesis; __DISPROVED__