the pacemaker does not warm vitalist and does crawl if the guard is not a kind of a cohabitation.
sent1: the scallion is not a francium but it does warm Dachau if the guard is not a cohabitation. sent2: there exists nothing such that it is not a reserpine and it is original. sent3: the pacemaker is a crawl if the scallion is a Agkistrodon. sent4: if something is not a kind of a francium but it warms Dachau then it is a Agkistrodon. sent5: the pacemaker does not warm vitalist if there is something such that the fact that it is not a reserpine and it is a kind of an original is wrong.
void -> assump1: Let's assume that that the guard is not a cohabitation hold.; sent1 & assump1 -> int1: the scallion is not a kind of a francium and warms Dachau.; sent4 -> int2: the scallion is a Agkistrodon if the fact that it is not a francium and it does warm Dachau is true.; int1 & int2 -> int3: the fact that the scallion is a kind of a Agkistrodon is true.; int3 & sent3 -> int4: the pacemaker is a crawl.; sent2 -> int5: that the phlogiston is not a reserpine and is original is false.; int5 -> int6: there exists something such that the fact that it is not a kind of a reserpine and it is a kind of an original does not hold.; int6 & sent5 -> int7: the pacemaker does not warm vitalist.; int4 & int7 -> int8: the pacemaker does not warm vitalist and does crawl.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the pacemaker does not warm vitalist and does crawl if the guard is not a kind of a cohabitation. ; $context$ = sent1: the scallion is not a francium but it does warm Dachau if the guard is not a cohabitation. sent2: there exists nothing such that it is not a reserpine and it is original. sent3: the pacemaker is a crawl if the scallion is a Agkistrodon. sent4: if something is not a kind of a francium but it warms Dachau then it is a Agkistrodon. sent5: the pacemaker does not warm vitalist if there is something such that the fact that it is not a reserpine and it is a kind of an original is wrong. ; $proof$ = 
void -> assump1: Let's assume that that the guard is not a cohabitation hold.; sent1 & assump1 -> int1: the scallion is not a kind of a francium and warms Dachau.; sent4 -> int2: the scallion is a Agkistrodon if the fact that it is not a francium and it does warm Dachau is true.; int1 & int2 -> int3: the fact that the scallion is a kind of a Agkistrodon is true.; int3 & sent3 -> int4: the pacemaker is a crawl.; sent2 -> int5: that the phlogiston is not a reserpine and is original is false.; int5 -> int6: there exists something such that the fact that it is not a kind of a reserpine and it is a kind of an original does not hold.; int6 & sent5 -> int7: the pacemaker does not warm vitalist.; int4 & int7 -> int8: the pacemaker does not warm vitalist and does crawl.; [assump1] & int8 -> hypothesis; __PROVED__