the flab does jar bore.
sent1: if the sister is a coach the exporter is a goddess. sent2: the fact that if the sister is a goddess the exporter does coach is true. sent3: if the flab is fibrillose then the exporter is a kind of a code. sent4: that the sister does urticate chilliness and/or does not emend flab is not correct. sent5: if that something is a goddess and it is glad is wrong it is not a kind of a goddess. sent6: that the sister is a goddess is right if the flab is a code. sent7: if something that is not calcicolous does not code it does not jar bore. sent8: the exporter is not glad. sent9: the fact that something does not coach is correct if the fact that it does urticate chilliness and/or it does not emend flab is not correct. sent10: if the fact that the flab is non-fibrillose but not a consuetude is false then it codes. sent11: the fact that if that the flab is not calcicolous is not wrong the fact that the flab is not fibrillose and it is not a kind of a consuetude is incorrect is not incorrect. sent12: if something is a kind of calcicolous thing that is not a code it does not coach. sent13: if the flab is calcicolous it jars bore. sent14: if the flab is non-calcicolous then that it is fibrillose and not a consuetude is not true. sent15: if something is not a goddess then it is non-calcicolous and it does not code.
void -> assump1: Let's assume that the flab is not calcicolous.; sent11 & assump1 -> int1: that the flab is not fibrillose and is not a consuetude is not right.; int1 & sent10 -> int2: the flab does code.; int2 & sent6 -> int3: the sister is a goddess.; int3 & sent2 -> int4: the exporter is a coach.;
the flab does not jar bore.
sent7 -> int5: the flab does not jar bore if the fact that it is not calcicolous and is not a code hold.; sent15 -> int6: if the flab is not a kind of a goddess then it is not calcicolous and is not a code.; sent5 -> int7: the flab is not a goddess if that it is a goddess and it is glad does not hold.; sent9 -> int8: the sister is not a coach if that it urticates chilliness and/or it does not emend flab is not true.; int8 & sent4 -> int9: the fact that the sister does not coach is not wrong.; int9 -> int10: there exists something such that it does not coach.;
$hypothesis$ = the flab does jar bore. ; $context$ = sent1: if the sister is a coach the exporter is a goddess. sent2: the fact that if the sister is a goddess the exporter does coach is true. sent3: if the flab is fibrillose then the exporter is a kind of a code. sent4: that the sister does urticate chilliness and/or does not emend flab is not correct. sent5: if that something is a goddess and it is glad is wrong it is not a kind of a goddess. sent6: that the sister is a goddess is right if the flab is a code. sent7: if something that is not calcicolous does not code it does not jar bore. sent8: the exporter is not glad. sent9: the fact that something does not coach is correct if the fact that it does urticate chilliness and/or it does not emend flab is not correct. sent10: if the fact that the flab is non-fibrillose but not a consuetude is false then it codes. sent11: the fact that if that the flab is not calcicolous is not wrong the fact that the flab is not fibrillose and it is not a kind of a consuetude is incorrect is not incorrect. sent12: if something is a kind of calcicolous thing that is not a code it does not coach. sent13: if the flab is calcicolous it jars bore. sent14: if the flab is non-calcicolous then that it is fibrillose and not a consuetude is not true. sent15: if something is not a goddess then it is non-calcicolous and it does not code. ; $proof$ = 
void -> assump1: Let's assume that the flab is not calcicolous.; sent11 & assump1 -> int1: that the flab is not fibrillose and is not a consuetude is not right.; int1 & sent10 -> int2: the flab does code.; int2 & sent6 -> int3: the sister is a goddess.; int3 & sent2 -> int4: the exporter is a coach.; __UNKNOWN__