the quadrupling unmakes colorimeter.
sent1: the mouton is a radiographer if the jacks is underhand. sent2: the fact that something unmakes colorimeter but it is not a kind of a Procyonidae is wrong if it is not a gantlet. sent3: the fact that the jacks is not a gantlet and is not Piagetian is not true if there exists something such that it is a Procyonidae. sent4: that something is not underhand and is not Piagetian is incorrect if it is a radiographer. sent5: something is underhand if the fact that the fact that it is not a gantlet and is not Piagetian hold is false. sent6: there is something such that that it is a Procyonidae is right. sent7: that the jacks is a gantlet but it is not Piagetian is incorrect. sent8: the jacks is underhand if that it is a gantlet hold. sent9: something does not unmake colorimeter if the fact that it does unmake colorimeter and it is not a Procyonidae is not right. sent10: if the quadrupling is a radiographer then the fact that the mouton does unmake colorimeter is not incorrect. sent11: if something is a gantlet then it is underhand. sent12: if there is something such that it is a kind of a Procyonidae the fact that the jacks is a kind of a gantlet but it is not Piagetian is not true. sent13: the quadrupling unmakes colorimeter if the mouton is a radiographer. sent14: if there exists something such that it is underhand then the fact that the jacks is not a radiographer but Piagetian does not hold.
sent6 & sent3 -> int1: the fact that the jacks is not a gantlet and is not Piagetian is wrong.; sent5 -> int2: if that the jacks is not a kind of a gantlet and it is not Piagetian is incorrect then it is underhand.; int1 & int2 -> int3: the jacks is underhand.; int3 & sent1 -> int4: the mouton is a kind of a radiographer.; int4 & sent13 -> hypothesis;
the quadrupling does not unmake colorimeter.
sent9 -> int5: if that the quadrupling unmakes colorimeter and is not a Procyonidae is wrong it does not unmakes colorimeter.; sent2 -> int6: if the quadrupling is not a gantlet then that it unmakes colorimeter and is not a kind of a Procyonidae does not hold.; sent4 -> int7: that the jacks is not underhand and it is not Piagetian is wrong if it is a radiographer.;
$hypothesis$ = the quadrupling unmakes colorimeter. ; $context$ = sent1: the mouton is a radiographer if the jacks is underhand. sent2: the fact that something unmakes colorimeter but it is not a kind of a Procyonidae is wrong if it is not a gantlet. sent3: the fact that the jacks is not a gantlet and is not Piagetian is not true if there exists something such that it is a Procyonidae. sent4: that something is not underhand and is not Piagetian is incorrect if it is a radiographer. sent5: something is underhand if the fact that the fact that it is not a gantlet and is not Piagetian hold is false. sent6: there is something such that that it is a Procyonidae is right. sent7: that the jacks is a gantlet but it is not Piagetian is incorrect. sent8: the jacks is underhand if that it is a gantlet hold. sent9: something does not unmake colorimeter if the fact that it does unmake colorimeter and it is not a Procyonidae is not right. sent10: if the quadrupling is a radiographer then the fact that the mouton does unmake colorimeter is not incorrect. sent11: if something is a gantlet then it is underhand. sent12: if there is something such that it is a kind of a Procyonidae the fact that the jacks is a kind of a gantlet but it is not Piagetian is not true. sent13: the quadrupling unmakes colorimeter if the mouton is a radiographer. sent14: if there exists something such that it is underhand then the fact that the jacks is not a radiographer but Piagetian does not hold. ; $proof$ = 
sent6 & sent3 -> int1: the fact that the jacks is not a gantlet and is not Piagetian is wrong.; sent5 -> int2: if that the jacks is not a kind of a gantlet and it is not Piagetian is incorrect then it is underhand.; int1 & int2 -> int3: the jacks is underhand.; int3 & sent1 -> int4: the mouton is a kind of a radiographer.; int4 & sent13 -> hypothesis; __PROVED__