the Cambodian does not croon.
sent1: the Cambodian does not croon if the flush does taste osteophyte and does sheet. sent2: the fact that the caddisworm is implicit thing that is not a kind of a Manichaeism is not true. sent3: if that the flush is not implicit is not false then the fact that the caddisworm is not a triamcinolone or it is a kind of a Manichaeism or both is incorrect. sent4: if the bastinado is a sheet then the flush is a sheet. sent5: if the southeaster does taste osteophyte the bastinado is a kind of a Rayleigh. sent6: something that gutters Muscari is a kind of a Rayleigh. sent7: if the caddisworm does not gutter Muscari and/or it is implicit then the flush is not a kind of a triamcinolone. sent8: the flush is a kind of a Manichaeism if the fact that the caddisworm is not a triamcinolone and does not sheet is incorrect. sent9: the caddisworm is relativistic and it is a triamcinolone. sent10: the southeaster is a sheet if it is regimental. sent11: the flush does gutter Muscari if the fact that the caddisworm is both not implicit and not a Manichaeism does not hold. sent12: the caddisworm is relativistic. sent13: the fact that the caddisworm is non-implicit thing that is a Manichaeism is false. sent14: the osteophyte is a vizier if it is an analyzer. sent15: the fact that the caddisworm is both non-implicit and not a Manichaeism is not right if it is a kind of a triamcinolone. sent16: that the caddisworm is not non-implicit but it is not a Manichaeism is false if it is a triamcinolone. sent17: if the flush is a Rayleigh it tastes osteophyte. sent18: if something is relativistic then it croons. sent19: if the fact that the caddisworm is a triamcinolone is not false it does sheet. sent20: the flush is not implicit if the bastinado does not gutter Muscari and is not implicit. sent21: the solitaire is a sheet. sent22: the fact that the bastinado is a sheet is not false. sent23: that the Cambodian is relativistic is correct if that the caddisworm is not a triamcinolone or it is a kind of a Manichaeism or both does not hold. sent24: the osteophyte is a kind of an analyzer. sent25: that the caddisworm is not implicit but a Manichaeism is false if the fact that it is a kind of a triamcinolone is not incorrect.
sent9 -> int1: the caddisworm is a triamcinolone.; int1 & sent15 -> int2: the fact that the caddisworm is not implicit and is not a kind of a Manichaeism does not hold.; int2 & sent11 -> int3: the fact that the flush gutters Muscari is true.; sent6 -> int4: the fact that the flush is a kind of the Rayleigh if the flush gutters Muscari is not false.; int3 & int4 -> int5: that the flush is a Rayleigh is true.; int5 & sent17 -> int6: the flush tastes osteophyte.; sent4 & sent22 -> int7: the flush is a kind of a sheet.; int6 & int7 -> int8: the flush does taste osteophyte and it is a sheet.; int8 & sent1 -> hypothesis;
the Cambodian does croon.
sent18 -> int9: the Cambodian does croon if the fact that it is relativistic hold.; sent14 & sent24 -> int10: the osteophyte is a vizier.; int10 -> int11: something is a vizier.;
$hypothesis$ = the Cambodian does not croon. ; $context$ = sent1: the Cambodian does not croon if the flush does taste osteophyte and does sheet. sent2: the fact that the caddisworm is implicit thing that is not a kind of a Manichaeism is not true. sent3: if that the flush is not implicit is not false then the fact that the caddisworm is not a triamcinolone or it is a kind of a Manichaeism or both is incorrect. sent4: if the bastinado is a sheet then the flush is a sheet. sent5: if the southeaster does taste osteophyte the bastinado is a kind of a Rayleigh. sent6: something that gutters Muscari is a kind of a Rayleigh. sent7: if the caddisworm does not gutter Muscari and/or it is implicit then the flush is not a kind of a triamcinolone. sent8: the flush is a kind of a Manichaeism if the fact that the caddisworm is not a triamcinolone and does not sheet is incorrect. sent9: the caddisworm is relativistic and it is a triamcinolone. sent10: the southeaster is a sheet if it is regimental. sent11: the flush does gutter Muscari if the fact that the caddisworm is both not implicit and not a Manichaeism does not hold. sent12: the caddisworm is relativistic. sent13: the fact that the caddisworm is non-implicit thing that is a Manichaeism is false. sent14: the osteophyte is a vizier if it is an analyzer. sent15: the fact that the caddisworm is both non-implicit and not a Manichaeism is not right if it is a kind of a triamcinolone. sent16: that the caddisworm is not non-implicit but it is not a Manichaeism is false if it is a triamcinolone. sent17: if the flush is a Rayleigh it tastes osteophyte. sent18: if something is relativistic then it croons. sent19: if the fact that the caddisworm is a triamcinolone is not false it does sheet. sent20: the flush is not implicit if the bastinado does not gutter Muscari and is not implicit. sent21: the solitaire is a sheet. sent22: the fact that the bastinado is a sheet is not false. sent23: that the Cambodian is relativistic is correct if that the caddisworm is not a triamcinolone or it is a kind of a Manichaeism or both does not hold. sent24: the osteophyte is a kind of an analyzer. sent25: that the caddisworm is not implicit but a Manichaeism is false if the fact that it is a kind of a triamcinolone is not incorrect. ; $proof$ = 
sent9 -> int1: the caddisworm is a triamcinolone.; int1 & sent15 -> int2: the fact that the caddisworm is not implicit and is not a kind of a Manichaeism does not hold.; int2 & sent11 -> int3: the fact that the flush gutters Muscari is true.; sent6 -> int4: the fact that the flush is a kind of the Rayleigh if the flush gutters Muscari is not false.; int3 & int4 -> int5: that the flush is a Rayleigh is true.; int5 & sent17 -> int6: the flush tastes osteophyte.; sent4 & sent22 -> int7: the flush is a kind of a sheet.; int6 & int7 -> int8: the flush does taste osteophyte and it is a sheet.; int8 & sent1 -> hypothesis; __PROVED__