if the percoid does not abuse Buchenwald then the projector is not field-crop.
sent1: that that the poultryman is not field-crop hold is not right. sent2: if the projector is a kaon and is field-crop the percoid is not Austronesian. sent3: if something is a kaon then it is Austronesian. sent4: the fact that the economist is a kaon and/or is not unbreakable is false if the dixie abuses Buchenwald. sent5: the mulberry is breakable if something is both not a kaon and not Austronesian. sent6: the projector is non-Austronesian if that the percoid is not field-crop hold. sent7: if the projector is not Austronesian then the percoid is not field-crop. sent8: the dixie is unbreakable. sent9: if the fact that the percoid abuses Buchenwald is true that the projector is field-crop does not hold. sent10: the projector does abuse Buchenwald. sent11: if the dixie is both not breakable and not Austronesian the percoid is not a kind of a kaon. sent12: if the dixie is unbreakable then the percoid is a kind of a kaon. sent13: the dixie is not field-crop. sent14: if the percoid is unbreakable then the dixie does abuse Buchenwald. sent15: the appeaser is an overshoot and is not a kind of a kaon. sent16: the projector is not a Austronesian. sent17: the dixie is gravitational. sent18: the projector is not field-crop if the percoid is a kind of a Austronesian and does not abuse Buchenwald. sent19: the projector is not field-crop if the fact that the percoid is Austronesian and does abuse Buchenwald is correct. sent20: if something does abuse Buchenwald then it is both not a kaon and not Austronesian. sent21: something does abuse Buchenwald if it is field-crop. sent22: the gentian is field-crop. sent23: the projector is unbreakable.
sent12 & sent8 -> int1: that the percoid is a kaon hold.; sent3 -> int2: if the percoid is a kind of a kaon it is a Austronesian.; int1 & int2 -> int3: the percoid is Austronesian.; void -> assump1: Let's assume that that the percoid does not abuse Buchenwald is correct.; int3 & assump1 -> int4: the percoid is a Austronesian that does not abuse Buchenwald.; int4 & sent18 -> int5: the projector is not field-crop.; [assump1] & int5 -> hypothesis;
the mulberry is not unbreakable.
sent20 -> int6: if the dixie does abuse Buchenwald then it is not a kaon and it is not a kind of a Austronesian.;
$hypothesis$ = if the percoid does not abuse Buchenwald then the projector is not field-crop. ; $context$ = sent1: that that the poultryman is not field-crop hold is not right. sent2: if the projector is a kaon and is field-crop the percoid is not Austronesian. sent3: if something is a kaon then it is Austronesian. sent4: the fact that the economist is a kaon and/or is not unbreakable is false if the dixie abuses Buchenwald. sent5: the mulberry is breakable if something is both not a kaon and not Austronesian. sent6: the projector is non-Austronesian if that the percoid is not field-crop hold. sent7: if the projector is not Austronesian then the percoid is not field-crop. sent8: the dixie is unbreakable. sent9: if the fact that the percoid abuses Buchenwald is true that the projector is field-crop does not hold. sent10: the projector does abuse Buchenwald. sent11: if the dixie is both not breakable and not Austronesian the percoid is not a kind of a kaon. sent12: if the dixie is unbreakable then the percoid is a kind of a kaon. sent13: the dixie is not field-crop. sent14: if the percoid is unbreakable then the dixie does abuse Buchenwald. sent15: the appeaser is an overshoot and is not a kind of a kaon. sent16: the projector is not a Austronesian. sent17: the dixie is gravitational. sent18: the projector is not field-crop if the percoid is a kind of a Austronesian and does not abuse Buchenwald. sent19: the projector is not field-crop if the fact that the percoid is Austronesian and does abuse Buchenwald is correct. sent20: if something does abuse Buchenwald then it is both not a kaon and not Austronesian. sent21: something does abuse Buchenwald if it is field-crop. sent22: the gentian is field-crop. sent23: the projector is unbreakable. ; $proof$ = 
sent12 & sent8 -> int1: that the percoid is a kaon hold.; sent3 -> int2: if the percoid is a kind of a kaon it is a Austronesian.; int1 & int2 -> int3: the percoid is Austronesian.; void -> assump1: Let's assume that that the percoid does not abuse Buchenwald is correct.; int3 & assump1 -> int4: the percoid is a Austronesian that does not abuse Buchenwald.; int4 & sent18 -> int5: the projector is not field-crop.; [assump1] & int5 -> hypothesis; __PROVED__