the cantaloup does unbar Tyto.
sent1: if something is injectable but it does not deduce dimness the cantaloup does not unbar Tyto. sent2: there is something such that it does not unbar Tyto. sent3: there is something such that the fact that it is a silene and a cowbarn is not correct. sent4: that the fact that the alembic is not a cowbarn but it does float does not hold hold. sent5: something is not a float and is not reverent. sent6: that something does not skim phenyltoloxamine and it is not a silene does not hold if it is a cowbarn. sent7: the fossil is not a electrotherapist if there is something such that it is not a cowbarn. sent8: if the architect skims phenyltoloxamine then it is injectable. sent9: that the fossil skims phenyltoloxamine is true. sent10: there exists something such that it is injectable and it does deduce dimness. sent11: there exists something such that it is injectable. sent12: if there exists something such that that it is a electrotherapist and does unbar Tyto is incorrect the fact that the cantaloup is injectable is wrong. sent13: the alembic is a cowbarn if the fact that it is not a kind of a cowbarn and floats is incorrect. sent14: the fossil is a electrotherapist if the fact that the architect does deduce dimness is not incorrect. sent15: if there is something such that the fact that it is a silene and it is a kind of a cowbarn does not hold the fossil is not a electrotherapist. sent16: if there is something such that that it does not skim phenyltoloxamine and is not a silene is incorrect the fossil is not injectable. sent17: if something that is not a float is irreverent then the fact that the architect does skim phenyltoloxamine is right. sent18: the architect unbars Tyto if there is something such that it does not skim phenyltoloxamine and it is not a electrotherapist. sent19: something is a silene and it is a cowbarn. sent20: if something that is not a electrotherapist does not skim phenyltoloxamine the fossil is injectable. sent21: that something does skim phenyltoloxamine but it does not unbar Tyto hold. sent22: if something does not float but it is reverent then that the architect does not skim phenyltoloxamine does not hold.
void -> assump1: Let's assume that the architect deduces dimness.; sent14 & assump1 -> int1: the fossil is a electrotherapist.; sent3 & sent15 -> int2: the fossil is not a kind of a electrotherapist.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the architect does not deduce dimness is not wrong.; sent5 & sent17 -> int5: the architect does skim phenyltoloxamine.; sent8 & int5 -> int6: the architect is injectable.; int4 & int6 -> int7: the architect is injectable and does not deduce dimness.; int7 -> int8: there exists something such that it is injectable and it does not deduce dimness.; int8 & sent1 -> hypothesis;
the fact that the cantaloup unbars Tyto hold.
sent6 -> int9: the fact that the alembic does not skim phenyltoloxamine and it is not a silene is not true if it is a kind of a cowbarn.; sent13 & sent4 -> int10: the alembic is a cowbarn.; int9 & int10 -> int11: that the alembic does not skim phenyltoloxamine and it is not a silene is wrong.; int11 -> int12: there exists something such that the fact that it does not skim phenyltoloxamine and it is not a silene is not correct.; int12 & sent16 -> int13: the fossil is uninjectable.; int13 -> int14: there is something such that it is not injectable.;
$hypothesis$ = the cantaloup does unbar Tyto. ; $context$ = sent1: if something is injectable but it does not deduce dimness the cantaloup does not unbar Tyto. sent2: there is something such that it does not unbar Tyto. sent3: there is something such that the fact that it is a silene and a cowbarn is not correct. sent4: that the fact that the alembic is not a cowbarn but it does float does not hold hold. sent5: something is not a float and is not reverent. sent6: that something does not skim phenyltoloxamine and it is not a silene does not hold if it is a cowbarn. sent7: the fossil is not a electrotherapist if there is something such that it is not a cowbarn. sent8: if the architect skims phenyltoloxamine then it is injectable. sent9: that the fossil skims phenyltoloxamine is true. sent10: there exists something such that it is injectable and it does deduce dimness. sent11: there exists something such that it is injectable. sent12: if there exists something such that that it is a electrotherapist and does unbar Tyto is incorrect the fact that the cantaloup is injectable is wrong. sent13: the alembic is a cowbarn if the fact that it is not a kind of a cowbarn and floats is incorrect. sent14: the fossil is a electrotherapist if the fact that the architect does deduce dimness is not incorrect. sent15: if there is something such that the fact that it is a silene and it is a kind of a cowbarn does not hold the fossil is not a electrotherapist. sent16: if there is something such that that it does not skim phenyltoloxamine and is not a silene is incorrect the fossil is not injectable. sent17: if something that is not a float is irreverent then the fact that the architect does skim phenyltoloxamine is right. sent18: the architect unbars Tyto if there is something such that it does not skim phenyltoloxamine and it is not a electrotherapist. sent19: something is a silene and it is a cowbarn. sent20: if something that is not a electrotherapist does not skim phenyltoloxamine the fossil is injectable. sent21: that something does skim phenyltoloxamine but it does not unbar Tyto hold. sent22: if something does not float but it is reverent then that the architect does not skim phenyltoloxamine does not hold. ; $proof$ = 
void -> assump1: Let's assume that the architect deduces dimness.; sent14 & assump1 -> int1: the fossil is a electrotherapist.; sent3 & sent15 -> int2: the fossil is not a kind of a electrotherapist.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the architect does not deduce dimness is not wrong.; sent5 & sent17 -> int5: the architect does skim phenyltoloxamine.; sent8 & int5 -> int6: the architect is injectable.; int4 & int6 -> int7: the architect is injectable and does not deduce dimness.; int7 -> int8: there exists something such that it is injectable and it does not deduce dimness.; int8 & sent1 -> hypothesis; __DISPROVED__