the aminophylline is a supplication.
sent1: if the pterosaur is an education then the transparency does revise kilovolt. sent2: the pterosaur is a Mongol or it is an education or both. sent3: the moneybag does not revise kilovolt if there is something such that it does not moor and does not knock. sent4: the moneybag moors if the transparency is a moors. sent5: if the transparency does moor the moneybag is a moor and is not a knock. sent6: if the chartreuse is not terpsichorean but it is costal then the fact that the diesel-electric is a deductible is not incorrect. sent7: if the transparency is a kind of a moor the fact that the moneybag does moor but it does not revise kilovolt is not false. sent8: if the pterosaur is a Mongol then the transparency revises kilovolt. sent9: if the moneybag is a moor and not a knock then the aminophylline is not a supplication. sent10: if something is a deductible it does not revise sheared and is pharyngeal. sent11: if the pterosaur is a kind of a supplication the aminophylline is a kind of a supplication. sent12: that something is not an education and it is not a Mongol does not hold if it does not revise kilovolt. sent13: if something does revise kilovolt it is a moor. sent14: if that something does not revise fenestration is not wrong it is not terpsichorean and it is costal. sent15: the pterosaur is a moor. sent16: everything does not revise fenestration. sent17: if something does not revise sheared and is pharyngeal then it is not canonic. sent18: the moneybag does moor. sent19: if the aminophylline revises kilovolt then the transparency revises kilovolt and is not a supplication.
sent2 & sent8 & sent1 -> int1: the transparency does revise kilovolt.; sent13 -> int2: the transparency is a kind of a moor if it does revise kilovolt.; int1 & int2 -> int3: the transparency is a kind of a moor.; int3 & sent5 -> int4: the moneybag is a moor but it is not a knock.; int4 & sent9 -> hypothesis;
the aminophylline is a supplication.
sent17 -> int5: the diesel-electric is not canonic if it does not revise sheared and it is pharyngeal.; sent14 -> int6: the small is non-terpsichorean but it is costal if it does not revise fenestration.; sent16 -> int7: the fact that the small does not revise fenestration hold.; int6 & int7 -> int8: the small is both non-terpsichorean and not non-costal.; int8 -> int9: everything is not terpsichorean but costal.; int9 -> int10: the chartreuse is both not terpsichorean and not non-costal.; sent6 & int10 -> int11: the diesel-electric is a kind of a deductible.; sent10 -> int12: if the diesel-electric is a deductible then that it does not revise sheared and is pharyngeal is true.; int11 & int12 -> int13: the diesel-electric does not revise sheared and is pharyngeal.; int5 & int13 -> int14: the diesel-electric is not canonic.; sent12 -> int15: if the moneybag does not revise kilovolt then the fact that it is not an education and it is not a kind of a Mongol is wrong.;
$hypothesis$ = the aminophylline is a supplication. ; $context$ = sent1: if the pterosaur is an education then the transparency does revise kilovolt. sent2: the pterosaur is a Mongol or it is an education or both. sent3: the moneybag does not revise kilovolt if there is something such that it does not moor and does not knock. sent4: the moneybag moors if the transparency is a moors. sent5: if the transparency does moor the moneybag is a moor and is not a knock. sent6: if the chartreuse is not terpsichorean but it is costal then the fact that the diesel-electric is a deductible is not incorrect. sent7: if the transparency is a kind of a moor the fact that the moneybag does moor but it does not revise kilovolt is not false. sent8: if the pterosaur is a Mongol then the transparency revises kilovolt. sent9: if the moneybag is a moor and not a knock then the aminophylline is not a supplication. sent10: if something is a deductible it does not revise sheared and is pharyngeal. sent11: if the pterosaur is a kind of a supplication the aminophylline is a kind of a supplication. sent12: that something is not an education and it is not a Mongol does not hold if it does not revise kilovolt. sent13: if something does revise kilovolt it is a moor. sent14: if that something does not revise fenestration is not wrong it is not terpsichorean and it is costal. sent15: the pterosaur is a moor. sent16: everything does not revise fenestration. sent17: if something does not revise sheared and is pharyngeal then it is not canonic. sent18: the moneybag does moor. sent19: if the aminophylline revises kilovolt then the transparency revises kilovolt and is not a supplication. ; $proof$ = 
sent2 & sent8 & sent1 -> int1: the transparency does revise kilovolt.; sent13 -> int2: the transparency is a kind of a moor if it does revise kilovolt.; int1 & int2 -> int3: the transparency is a kind of a moor.; int3 & sent5 -> int4: the moneybag is a moor but it is not a knock.; int4 & sent9 -> hypothesis; __DISPROVED__