the planner is a Pastor if the matchwood is a tomtit.
sent1: if that the playmaker permits city is not incorrect the planner is a Pastor. sent2: the matchwood is a kraft. sent3: the acarus permits Burt. sent4: if the matchwood does not permit city the fact that that the chigoe is not a kraft and it does not permit Burt is incorrect is not false. sent5: if that the matchwood is not a recessional and it is not a kind of a summit is incorrect it is a recessional. sent6: if the fact that the matchwood is a kraft but it is not a kind of a tomtit is wrong the city is not a kind of a kraft. sent7: if something is unpardonable it does interpolate Mediterranean. sent8: the fact that something is both not biotic and not a tubocurarine does not hold if the fact that it is a kind of a recessional is true. sent9: the matchwood does not permit city if it is not a kind of a Pastor. sent10: there is something such that it is a kraft. sent11: something does permit city if it permits Burt. sent12: if a kraft is a tomtit then the playmaker does permit Burt. sent13: the matchwood is not a Pastor if that it is not biotic and is not a tubocurarine is not true. sent14: something is a tomtit. sent15: the planner permits Burt. sent16: the playmaker is not a Pastor. sent17: something is junior. sent18: something that is not a Pastor is not a kind of a tubocurarine or does not permit city or both. sent19: if something is not a kind of a kraft then it permits Burt.
void -> assump1: Let's assume that the matchwood is a tomtit.; sent2 & assump1 -> int1: the matchwood is a kraft and it is a kind of a tomtit.; int1 -> int2: something is a kraft and a tomtit.; int2 & sent12 -> int3: the playmaker does permit Burt.; sent11 -> int4: the playmaker does permit city if it does permit Burt.; int3 & int4 -> int5: the playmaker does permit city.; int5 & sent1 -> int6: the planner is a Pastor.; [assump1] & int6 -> hypothesis;
the fact that the chigoe is a tomtit is true.
sent8 -> int7: if that the matchwood is a recessional is not incorrect that it is non-biotic and it is not a tubocurarine is not correct.;
$hypothesis$ = the planner is a Pastor if the matchwood is a tomtit. ; $context$ = sent1: if that the playmaker permits city is not incorrect the planner is a Pastor. sent2: the matchwood is a kraft. sent3: the acarus permits Burt. sent4: if the matchwood does not permit city the fact that that the chigoe is not a kraft and it does not permit Burt is incorrect is not false. sent5: if that the matchwood is not a recessional and it is not a kind of a summit is incorrect it is a recessional. sent6: if the fact that the matchwood is a kraft but it is not a kind of a tomtit is wrong the city is not a kind of a kraft. sent7: if something is unpardonable it does interpolate Mediterranean. sent8: the fact that something is both not biotic and not a tubocurarine does not hold if the fact that it is a kind of a recessional is true. sent9: the matchwood does not permit city if it is not a kind of a Pastor. sent10: there is something such that it is a kraft. sent11: something does permit city if it permits Burt. sent12: if a kraft is a tomtit then the playmaker does permit Burt. sent13: the matchwood is not a Pastor if that it is not biotic and is not a tubocurarine is not true. sent14: something is a tomtit. sent15: the planner permits Burt. sent16: the playmaker is not a Pastor. sent17: something is junior. sent18: something that is not a Pastor is not a kind of a tubocurarine or does not permit city or both. sent19: if something is not a kind of a kraft then it permits Burt. ; $proof$ = 
void -> assump1: Let's assume that the matchwood is a tomtit.; sent2 & assump1 -> int1: the matchwood is a kraft and it is a kind of a tomtit.; int1 -> int2: something is a kraft and a tomtit.; int2 & sent12 -> int3: the playmaker does permit Burt.; sent11 -> int4: the playmaker does permit city if it does permit Burt.; int3 & int4 -> int5: the playmaker does permit city.; int5 & sent1 -> int6: the planner is a Pastor.; [assump1] & int6 -> hypothesis; __PROVED__