the automatic is comfortable if the ways is an advancing.
sent1: if the ways is not a kind of an advancing then that the automatic does not elegize and is an advancing is false. sent2: the automatic is comfortable if that the chaser is not a kind of a siren and is a time-fuse is not right. sent3: the ways is not an advancing if the fact that it is not irremovable and elegizes does not hold. sent4: if the ways is not irremovable but it does elegize the antipsychotic is not a time-fuse. sent5: if the chaser advances then it does not feint. sent6: if the antipsychotic is not a time-fuse that the chaser is not a siren but it is a time-fuse does not hold. sent7: the antipsychotic is not a time-fuse if the ways is irremovable thing that does elegize.
void -> assump1: Let's assume that the ways is an advancing.; void -> assump2: Let's assume that that the ways is non-irremovable thing that does elegize is false.; sent3 & assump2 -> int1: the ways is not a kind of an advancing.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the ways is a kind of non-irremovable thing that does elegize.; sent4 & int3 -> int4: the antipsychotic is not a time-fuse.; sent6 & int4 -> int5: that the chaser is not a kind of a siren but it is a time-fuse is wrong.; sent2 & int5 -> int6: the automatic is comfortable.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the automatic is comfortable if the ways is an advancing. ; $context$ = sent1: if the ways is not a kind of an advancing then that the automatic does not elegize and is an advancing is false. sent2: the automatic is comfortable if that the chaser is not a kind of a siren and is a time-fuse is not right. sent3: the ways is not an advancing if the fact that it is not irremovable and elegizes does not hold. sent4: if the ways is not irremovable but it does elegize the antipsychotic is not a time-fuse. sent5: if the chaser advances then it does not feint. sent6: if the antipsychotic is not a time-fuse that the chaser is not a siren but it is a time-fuse does not hold. sent7: the antipsychotic is not a time-fuse if the ways is irremovable thing that does elegize. ; $proof$ = 
void -> assump1: Let's assume that the ways is an advancing.; void -> assump2: Let's assume that that the ways is non-irremovable thing that does elegize is false.; sent3 & assump2 -> int1: the ways is not a kind of an advancing.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the ways is a kind of non-irremovable thing that does elegize.; sent4 & int3 -> int4: the antipsychotic is not a time-fuse.; sent6 & int4 -> int5: that the chaser is not a kind of a siren but it is a time-fuse is wrong.; sent2 & int5 -> int6: the automatic is comfortable.; [assump1] & int6 -> hypothesis; __PROVED__