if the pulsar does deaminate covalence the graphite is not non-infinitival.
sent1: the graphite is infinitival if the pulsar is a sheep. sent2: the graphite does deaminate covalence. sent3: if the graphite is a sheep the pulsar deaminates covalence. sent4: the graphite is not non-infinitival if the pulsar is a kind of a determiner. sent5: the pulsar is a ironworks. sent6: the pulsar is infinitival if it is a sheep. sent7: the fetishism is a sheep if the pulsar is infinitival. sent8: the metharbital does deaminate covalence. sent9: if the pulsar is infinitival the graphite does deaminate covalence. sent10: that the pulsar is infinitival is right if the graphite is a kind of a sheep. sent11: the graphite is a sheep. sent12: if the pulsar is a sheep then the graphite deaminates covalence. sent13: the hitchhiker is a sheep. sent14: the pulsar is a sheep if it deaminates covalence. sent15: the pulsar is infinitival if the graphite does deaminate covalence. sent16: the pulsar is a primary. sent17: if the pulsar is infinitival that the graphite is a kind of a sheep is not wrong. sent18: the pulsar is asynergic. sent19: the pulsar tunnels cigar. sent20: if the graphite is not non-infinitival it is a sheep.
void -> assump1: Let's assume that the pulsar deaminates covalence.; sent14 & assump1 -> int1: the pulsar is a sheep.; sent1 & int1 -> int2: that the graphite is infinitival hold.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if the pulsar does deaminate covalence the graphite is not non-infinitival. ; $context$ = sent1: the graphite is infinitival if the pulsar is a sheep. sent2: the graphite does deaminate covalence. sent3: if the graphite is a sheep the pulsar deaminates covalence. sent4: the graphite is not non-infinitival if the pulsar is a kind of a determiner. sent5: the pulsar is a ironworks. sent6: the pulsar is infinitival if it is a sheep. sent7: the fetishism is a sheep if the pulsar is infinitival. sent8: the metharbital does deaminate covalence. sent9: if the pulsar is infinitival the graphite does deaminate covalence. sent10: that the pulsar is infinitival is right if the graphite is a kind of a sheep. sent11: the graphite is a sheep. sent12: if the pulsar is a sheep then the graphite deaminates covalence. sent13: the hitchhiker is a sheep. sent14: the pulsar is a sheep if it deaminates covalence. sent15: the pulsar is infinitival if the graphite does deaminate covalence. sent16: the pulsar is a primary. sent17: if the pulsar is infinitival that the graphite is a kind of a sheep is not wrong. sent18: the pulsar is asynergic. sent19: the pulsar tunnels cigar. sent20: if the graphite is not non-infinitival it is a sheep. ; $proof$ = 
void -> assump1: Let's assume that the pulsar deaminates covalence.; sent14 & assump1 -> int1: the pulsar is a sheep.; sent1 & int1 -> int2: that the graphite is infinitival hold.; [assump1] & int2 -> hypothesis; __PROVED__