the saxifrage is not boneless.
sent1: there exists nothing such that it is a chat and is not vocational. sent2: the taffrail is a Pollock if something does sadden or it silences taffrail or both. sent3: if the fact that the angle is a chat that is not vocational is wrong then the sportscaster does sadden. sent4: the saxifrage is not boneless if the fact that the spectrometer is toned but not non-ambiversive is false. sent5: if the fact that the taffrail is a Pollock is not false then the tenoroon is toneless. sent6: if the tenoroon is toneless the fact that the spectrometer is both not toneless and ambiversive is not true.
sent1 -> int1: that the angle is a kind of a chat that is not vocational is false.; sent3 & int1 -> int2: the sportscaster does sadden.; int2 -> int3: the sportscaster does sadden and/or does silence taffrail.; int3 -> int4: something saddens and/or it does silence taffrail.; int4 & sent2 -> int5: the taffrail is a kind of a Pollock.; sent5 & int5 -> int6: the tenoroon is toneless.; sent6 & int6 -> int7: that the spectrometer is toned but it is ambiversive is not true.; sent4 & int7 -> hypothesis;
$hypothesis$ = the saxifrage is not boneless. ; $context$ = sent1: there exists nothing such that it is a chat and is not vocational. sent2: the taffrail is a Pollock if something does sadden or it silences taffrail or both. sent3: if the fact that the angle is a chat that is not vocational is wrong then the sportscaster does sadden. sent4: the saxifrage is not boneless if the fact that the spectrometer is toned but not non-ambiversive is false. sent5: if the fact that the taffrail is a Pollock is not false then the tenoroon is toneless. sent6: if the tenoroon is toneless the fact that the spectrometer is both not toneless and ambiversive is not true. ; $proof$ = 
sent1 -> int1: that the angle is a kind of a chat that is not vocational is false.; sent3 & int1 -> int2: the sportscaster does sadden.; int2 -> int3: the sportscaster does sadden and/or does silence taffrail.; int3 -> int4: something saddens and/or it does silence taffrail.; int4 & sent2 -> int5: the taffrail is a kind of a Pollock.; sent5 & int5 -> int6: the tenoroon is toneless.; sent6 & int6 -> int7: that the spectrometer is toned but it is ambiversive is not true.; sent4 & int7 -> hypothesis; __PROVED__