the vagrant does raft.
sent1: there exists something such that it covers paving and does not attach. sent2: something caucuses Brazzaville if it is a nova. sent3: the vagrant mounts if it does not admeasure launcher. sent4: that that the vagrant does admeasure launcher is right is not true. sent5: the vagrant is unshod. sent6: something does admeasure launcher and is not institutional. sent7: something rafts if it is a Habakkuk. sent8: something that is not a kind of a Briton is octal. sent9: the vagrant is not institutional. sent10: there exists something such that it is a molle and a trench. sent11: the paving is a kind of a molle if it does not etiolate. sent12: something caucuses redundancy and it does caucus recurrence. sent13: there exists something such that it is a kind of a petfood. sent14: if something is midi it is Gregorian. sent15: if something is not a kind of a hammer it repines. sent16: the vagrant does not caucus chaja. sent17: something is a Habakkuk if it is not a kind of a Maltese. sent18: the vagrant is institutional if it is loamy. sent19: if there exists something such that it admeasures launcher and it is not institutional the vagrant is not a Maltese.
sent6 & sent19 -> int1: the vagrant is non-Maltese.; sent17 -> int2: if the vagrant is not a kind of a Maltese it is a kind of a Habakkuk.; int1 & int2 -> int3: the vagrant is a Habakkuk.; sent7 -> int4: if the vagrant is a Habakkuk it is a raft.; int3 & int4 -> hypothesis;
$hypothesis$ = the vagrant does raft. ; $context$ = sent1: there exists something such that it covers paving and does not attach. sent2: something caucuses Brazzaville if it is a nova. sent3: the vagrant mounts if it does not admeasure launcher. sent4: that that the vagrant does admeasure launcher is right is not true. sent5: the vagrant is unshod. sent6: something does admeasure launcher and is not institutional. sent7: something rafts if it is a Habakkuk. sent8: something that is not a kind of a Briton is octal. sent9: the vagrant is not institutional. sent10: there exists something such that it is a molle and a trench. sent11: the paving is a kind of a molle if it does not etiolate. sent12: something caucuses redundancy and it does caucus recurrence. sent13: there exists something such that it is a kind of a petfood. sent14: if something is midi it is Gregorian. sent15: if something is not a kind of a hammer it repines. sent16: the vagrant does not caucus chaja. sent17: something is a Habakkuk if it is not a kind of a Maltese. sent18: the vagrant is institutional if it is loamy. sent19: if there exists something such that it admeasures launcher and it is not institutional the vagrant is not a Maltese. ; $proof$ = 
sent6 & sent19 -> int1: the vagrant is non-Maltese.; sent17 -> int2: if the vagrant is not a kind of a Maltese it is a kind of a Habakkuk.; int1 & int2 -> int3: the vagrant is a Habakkuk.; sent7 -> int4: if the vagrant is a Habakkuk it is a raft.; int3 & int4 -> hypothesis; __PROVED__