the tetrachlorethylene quintuples MFA if the crofter is a soured.
sent1: the stuffer does scour outstation. sent2: the stifler is an egotism if it is a CRT. sent3: the stuffer is a CRT if the crofter is a 1820s. sent4: the ablactation is a CRT. sent5: the stuffer is an egotism if the stifler is a CRT. sent6: if that the crofter quintuples MFA is not incorrect then the tetrachlorethylene is a 1820s. sent7: if the fact that the crofter does sour is not false then it is a kind of a 1820s. sent8: the fact that the hand does silence palomino hold. sent9: if the stifler is a kind of a 1820s the fact that the crofter is a kind of an egotism is true. sent10: the crofter does sour if it does silence palomino. sent11: if the crofter is a CRT then the stuffer is a kind of a 1820s. sent12: if the stuffer is a 1820s the crofter silences palomino. sent13: if the stuffer does silence palomino the stifler is an egotism. sent14: if the tetrachlorethylene is a kind of a 1820s then the crofter does quintuple MFA. sent15: something does silence palomino if it is a CRT. sent16: the crofter is myocardial. sent17: the tetrachlorethylene is soured. sent18: if the tetrachlorethylene sours the crofter does quintuple MFA.
void -> assump1: Let's assume that the crofter is a soured.; sent7 & assump1 -> int1: the crofter is a 1820s.; int1 & sent3 -> int2: that the stuffer is a kind of a CRT is right.; sent15 -> int3: that the stuffer does silence palomino is not incorrect if it is a CRT.; int2 & int3 -> int4: the stuffer silences palomino.; int4 & sent13 -> int5: the stifler is an egotism.;
$hypothesis$ = the tetrachlorethylene quintuples MFA if the crofter is a soured. ; $context$ = sent1: the stuffer does scour outstation. sent2: the stifler is an egotism if it is a CRT. sent3: the stuffer is a CRT if the crofter is a 1820s. sent4: the ablactation is a CRT. sent5: the stuffer is an egotism if the stifler is a CRT. sent6: if that the crofter quintuples MFA is not incorrect then the tetrachlorethylene is a 1820s. sent7: if the fact that the crofter does sour is not false then it is a kind of a 1820s. sent8: the fact that the hand does silence palomino hold. sent9: if the stifler is a kind of a 1820s the fact that the crofter is a kind of an egotism is true. sent10: the crofter does sour if it does silence palomino. sent11: if the crofter is a CRT then the stuffer is a kind of a 1820s. sent12: if the stuffer is a 1820s the crofter silences palomino. sent13: if the stuffer does silence palomino the stifler is an egotism. sent14: if the tetrachlorethylene is a kind of a 1820s then the crofter does quintuple MFA. sent15: something does silence palomino if it is a CRT. sent16: the crofter is myocardial. sent17: the tetrachlorethylene is soured. sent18: if the tetrachlorethylene sours the crofter does quintuple MFA. ; $proof$ = 
void -> assump1: Let's assume that the crofter is a soured.; sent7 & assump1 -> int1: the crofter is a 1820s.; int1 & sent3 -> int2: that the stuffer is a kind of a CRT is right.; sent15 -> int3: that the stuffer does silence palomino is not incorrect if it is a CRT.; int2 & int3 -> int4: the stuffer silences palomino.; int4 & sent13 -> int5: the stifler is an egotism.; __UNKNOWN__