the ironwork deaminates transition.
sent1: a count deaminates kern and/or is non-fabian. sent2: that the prefect is a crake that does peck breechloader is not true. sent3: the fact that the prefect does not peck applicant hold. sent4: the housefather does deaminate transition if the prefect is fabian. sent5: that something is fashionable is true. sent6: the fact that the prefect does deaminate kern and/or is not fabian is incorrect if the housefather does not deaminate kern. sent7: the pussley is not denotative. sent8: if there exists something such that it is fashionable then the fact that the prefect does not peck applicant and is a crake is not correct. sent9: if something is not denotative the fact that the madnep is fashionable or does not peck applicant or both is wrong. sent10: something does not deaminate transition and/or it is not fabian if it counts. sent11: The fact that the applicant does not peck prefect hold. sent12: the housefather is a collision and does not deaminate kern if the ironwork does deaminate transition. sent13: if that the madnep is not unfashionable or it does not peck applicant or both is not correct it is not a crake. sent14: if the housefather does not deaminate transition or it is not fabian or both then the ironwork deaminate transition. sent15: that the prefect is not a kind of a crake but it does peck breechloader is not correct if it does not peck applicant. sent16: something is a count if that it is not a crake and does peck breechloader is not correct. sent17: if the fact that the fact that the prefect is not a kind of a crake and is a collision is right does not hold the fact that it does deaminate transition is not false. sent18: that the housefather is both not a collision and a crake is wrong if the fact that it does not deaminate kern is not false.
void -> assump1: Let's assume that the ironwork does deaminate transition.; sent12 & assump1 -> int1: the housefather is a collision that does not deaminate kern.; int1 -> int2: the housefather does not deaminate kern.; int2 & sent6 -> int3: the fact that the prefect deaminates kern or is not fabian or both is not correct.; sent1 -> int4: if the prefect is a count it deaminates kern or is not fabian or both.; sent16 -> int5: the prefect is a kind of a count if that it is not a crake and pecks breechloader does not hold.; sent15 & sent3 -> int6: that the prefect is not a kind of a crake and pecks breechloader is not true.; int5 & int6 -> int7: the prefect is a count.; int4 & int7 -> int8: the prefect does deaminate kern or it is not fabian or both.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the ironwork does deaminate transition.
sent10 -> int10: either the housefather does not deaminate transition or it is non-fabian or both if it is a count.; sent5 & sent8 -> int11: the fact that that the prefect does not peck applicant and is a crake is not true is not wrong.; int11 -> int12: there is something such that the fact that it does not peck applicant and it is a crake is false.;
$hypothesis$ = the ironwork deaminates transition. ; $context$ = sent1: a count deaminates kern and/or is non-fabian. sent2: that the prefect is a crake that does peck breechloader is not true. sent3: the fact that the prefect does not peck applicant hold. sent4: the housefather does deaminate transition if the prefect is fabian. sent5: that something is fashionable is true. sent6: the fact that the prefect does deaminate kern and/or is not fabian is incorrect if the housefather does not deaminate kern. sent7: the pussley is not denotative. sent8: if there exists something such that it is fashionable then the fact that the prefect does not peck applicant and is a crake is not correct. sent9: if something is not denotative the fact that the madnep is fashionable or does not peck applicant or both is wrong. sent10: something does not deaminate transition and/or it is not fabian if it counts. sent11: The fact that the applicant does not peck prefect hold. sent12: the housefather is a collision and does not deaminate kern if the ironwork does deaminate transition. sent13: if that the madnep is not unfashionable or it does not peck applicant or both is not correct it is not a crake. sent14: if the housefather does not deaminate transition or it is not fabian or both then the ironwork deaminate transition. sent15: that the prefect is not a kind of a crake but it does peck breechloader is not correct if it does not peck applicant. sent16: something is a count if that it is not a crake and does peck breechloader is not correct. sent17: if the fact that the fact that the prefect is not a kind of a crake and is a collision is right does not hold the fact that it does deaminate transition is not false. sent18: that the housefather is both not a collision and a crake is wrong if the fact that it does not deaminate kern is not false. ; $proof$ = 
void -> assump1: Let's assume that the ironwork does deaminate transition.; sent12 & assump1 -> int1: the housefather is a collision that does not deaminate kern.; int1 -> int2: the housefather does not deaminate kern.; int2 & sent6 -> int3: the fact that the prefect deaminates kern or is not fabian or both is not correct.; sent1 -> int4: if the prefect is a count it deaminates kern or is not fabian or both.; sent16 -> int5: the prefect is a kind of a count if that it is not a crake and pecks breechloader does not hold.; sent15 & sent3 -> int6: that the prefect is not a kind of a crake and pecks breechloader is not true.; int5 & int6 -> int7: the prefect is a count.; int4 & int7 -> int8: the prefect does deaminate kern or it is not fabian or both.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __DISPROVED__