the defibrillator is impressive.
sent1: the fact that the cod is a ahimsa is true. sent2: the tramp does shelve if it is washable. sent3: the cod is significant if it is a transsexual. sent4: that something is not a ahimsa is not false if the fact that it is a ahimsa and is a syphilitic is incorrect. sent5: that the cod is a kind of a Inchon is not false. sent6: the cod is alterable. sent7: the cod is not a kind of a valetudinarian and/or hesitates. sent8: that the defibrillator is impressive is true if something is valetudinarian. sent9: the cod is a syphilitic. sent10: the swindler does shelve. sent11: if the cod is not a kind of a valetudinarian and/or it does hesitate it is not a kind of a valetudinarian. sent12: if either something is washable or it is a valetudinarian or both then the defibrillator is impressive. sent13: the orderer is appellative. sent14: if something is hateful then it clusters. sent15: something is alterable if it is a kind of a ahimsa. sent16: if something does not shelve then that it is impressive and it is a ahimsa is not true. sent17: the tramp does shelve. sent18: if the tramp does shelve then it is a ahimsa.
sent18 & sent17 -> int1: the tramp is a ahimsa.; sent15 -> int2: if the tramp is a ahimsa then it is alterable.; int1 & int2 -> int3: the tramp is alterable.;
the defibrillator is not impressive.
$hypothesis$ = the defibrillator is impressive. ; $context$ = sent1: the fact that the cod is a ahimsa is true. sent2: the tramp does shelve if it is washable. sent3: the cod is significant if it is a transsexual. sent4: that something is not a ahimsa is not false if the fact that it is a ahimsa and is a syphilitic is incorrect. sent5: that the cod is a kind of a Inchon is not false. sent6: the cod is alterable. sent7: the cod is not a kind of a valetudinarian and/or hesitates. sent8: that the defibrillator is impressive is true if something is valetudinarian. sent9: the cod is a syphilitic. sent10: the swindler does shelve. sent11: if the cod is not a kind of a valetudinarian and/or it does hesitate it is not a kind of a valetudinarian. sent12: if either something is washable or it is a valetudinarian or both then the defibrillator is impressive. sent13: the orderer is appellative. sent14: if something is hateful then it clusters. sent15: something is alterable if it is a kind of a ahimsa. sent16: if something does not shelve then that it is impressive and it is a ahimsa is not true. sent17: the tramp does shelve. sent18: if the tramp does shelve then it is a ahimsa. ; $proof$ = 
sent18 & sent17 -> int1: the tramp is a ahimsa.; sent15 -> int2: if the tramp is a ahimsa then it is alterable.; int1 & int2 -> int3: the tramp is alterable.; __UNKNOWN__