the crucifer is not metric if the vestiture is not commensurate.
sent1: if the fact that the articulation is not a strophanthus but it is a Gish is not true then the crucifer is metric. sent2: something is a kind of a flat and it is commensurate if it does not coke. sent3: the vestiture is a coke if the CFO is a coke. sent4: the crucifer is metric. sent5: if the vestiture is a flat then it is commensurate. sent6: that the articulation is a strophanthus and it is a Gish is wrong. sent7: the crucifer is not a Gish if the articulation is a metric. sent8: the fact that the articulation is not a strophanthus but it is a Gish is not true if the CFO is not a kind of a coke. sent9: the articulation is not a kind of a coke. sent10: if the vestiture is not commensurate then the crucifer is metric. sent11: the vestiture is a strophanthus if the articulation is not a kind of a flat. sent12: the crucifer is not a kind of a metric if the fact that the articulation is not a strophanthus but it is a Gish is false. sent13: the CFO is not a coke if the vestiture is not a flat. sent14: that the articulation is a strophanthus and it is a Gish is wrong if the CFO is not a coke. sent15: the decal does not coke if the vestiture coke. sent16: if something is not non-flat that it does not expatriate and it covers demur is false. sent17: the fact that the crucifer is not a metric hold if the articulation is a kind of a strophanthus.
void -> assump2: Let's assume that the vestiture is not non-flat.; sent5 & assump2 -> int1: the vestiture is commensurate.; void -> assump1: Let's assume that the vestiture is not commensurate.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the vestiture is non-flat.; sent13 & int3 -> int4: the CFO is not a kind of a coke.; sent8 & int4 -> int5: the fact that the articulation is not a strophanthus and is a Gish is false.; sent12 & int5 -> int6: the fact that the crucifer is not a metric is not false.; [assump1] & int6 -> hypothesis;
that the decal does not expatriate and covers demur does not hold.
sent16 -> int7: the fact that the decal does not expatriate but it covers demur is incorrect if it is flat.; sent2 -> int8: if the decal is not a coke then it is a flat and it is commensurate.;
$hypothesis$ = the crucifer is not metric if the vestiture is not commensurate. ; $context$ = sent1: if the fact that the articulation is not a strophanthus but it is a Gish is not true then the crucifer is metric. sent2: something is a kind of a flat and it is commensurate if it does not coke. sent3: the vestiture is a coke if the CFO is a coke. sent4: the crucifer is metric. sent5: if the vestiture is a flat then it is commensurate. sent6: that the articulation is a strophanthus and it is a Gish is wrong. sent7: the crucifer is not a Gish if the articulation is a metric. sent8: the fact that the articulation is not a strophanthus but it is a Gish is not true if the CFO is not a kind of a coke. sent9: the articulation is not a kind of a coke. sent10: if the vestiture is not commensurate then the crucifer is metric. sent11: the vestiture is a strophanthus if the articulation is not a kind of a flat. sent12: the crucifer is not a kind of a metric if the fact that the articulation is not a strophanthus but it is a Gish is false. sent13: the CFO is not a coke if the vestiture is not a flat. sent14: that the articulation is a strophanthus and it is a Gish is wrong if the CFO is not a coke. sent15: the decal does not coke if the vestiture coke. sent16: if something is not non-flat that it does not expatriate and it covers demur is false. sent17: the fact that the crucifer is not a metric hold if the articulation is a kind of a strophanthus. ; $proof$ = 
void -> assump2: Let's assume that the vestiture is not non-flat.; sent5 & assump2 -> int1: the vestiture is commensurate.; void -> assump1: Let's assume that the vestiture is not commensurate.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the vestiture is non-flat.; sent13 & int3 -> int4: the CFO is not a kind of a coke.; sent8 & int4 -> int5: the fact that the articulation is not a strophanthus and is a Gish is false.; sent12 & int5 -> int6: the fact that the crucifer is not a metric is not false.; [assump1] & int6 -> hypothesis; __PROVED__