the outskirt is aponeurotic.
sent1: if there exists something such that that it is a lamp and it corners motley is not right then the enemy is a mongo. sent2: the overgarment purports if there exists something such that it is a kind of an aluminum. sent3: the fact that the militant does weed shrewishness and it is an aluminum does not hold. sent4: the toothbrush does not purport if the enemy does purport. sent5: if the duffel does not weed shrewishness then it is not a reel and it is a Rousseau. sent6: the overgarment purports if there exists something such that that it weeds shrewishness and is not an aluminum is not correct. sent7: if something is a Rousseau the fact that it is not aponeurotic and it is not a bunfight is not wrong. sent8: the fact that the aggravator is a kind of a lamp and it corners motley is not right. sent9: if the overgarment betters inadmissibility then it is not a kind of an aluminum. sent10: if the enemy is a kind of a mongo the outskirt is a ribonuclease. sent11: the overgarment is a reel if it does purport. sent12: that the militant weeds shrewishness and is not an aluminum is incorrect. sent13: the tuberosity does not reel if it purports. sent14: the fact that the aggravator does corner motley and it is a mongo is not correct. sent15: if the tuberosity is not a kind of a reel the duffel is a bunfight and is a Rousseau. sent16: if the militant is a kind of an aluminum that does corner motley the overgarment does not purport. sent17: if there exists something such that it is not a kind of a lamp then the enemy is a mongo. sent18: something weeds shrewishness but it is not an aluminum. sent19: if the outskirt is not a kind of a ribonuclease then either the enemy does purport or it is not a mongo or both. sent20: the fact that if the outskirt is a ribonuclease and aponeurotic then the duffel is not a bunfight is correct. sent21: that the overgarment betters inadmissibility is correct. sent22: if something is a kind of a bunfight and it is a kind of a Rousseau then the enemy is not a ribonuclease. sent23: if the tuberosity is a Rousseau then the fact that the duffel is not a bunfight is false. sent24: if the fact that the overgarment is a reel is not wrong the fact that the tuberosity is a Rousseau is not incorrect.
sent8 -> int1: there is something such that that it is a lamp and does corner motley is not true.; int1 & sent1 -> int2: the enemy is a mongo.; int2 & sent10 -> int3: the outskirt is a ribonuclease.; void -> assump1: Let's assume that the outskirt is aponeurotic.; int3 & assump1 -> int4: the outskirt is a kind of a ribonuclease that is aponeurotic.; int4 & sent20 -> int5: the duffel is not a bunfight.; sent12 -> int6: there is something such that the fact that it weeds shrewishness and it is not an aluminum does not hold.; int6 & sent6 -> int7: the overgarment purports.; sent11 & int7 -> int8: the overgarment reels.; sent24 & int8 -> int9: the tuberosity is a Rousseau.; sent23 & int9 -> int10: the duffel is a bunfight.; int5 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis;
that the outskirt is aponeurotic is true.
sent9 & sent21 -> int12: the overgarment is not an aluminum.; int12 -> int13: something is not an aluminum.;
$hypothesis$ = the outskirt is aponeurotic. ; $context$ = sent1: if there exists something such that that it is a lamp and it corners motley is not right then the enemy is a mongo. sent2: the overgarment purports if there exists something such that it is a kind of an aluminum. sent3: the fact that the militant does weed shrewishness and it is an aluminum does not hold. sent4: the toothbrush does not purport if the enemy does purport. sent5: if the duffel does not weed shrewishness then it is not a reel and it is a Rousseau. sent6: the overgarment purports if there exists something such that that it weeds shrewishness and is not an aluminum is not correct. sent7: if something is a Rousseau the fact that it is not aponeurotic and it is not a bunfight is not wrong. sent8: the fact that the aggravator is a kind of a lamp and it corners motley is not right. sent9: if the overgarment betters inadmissibility then it is not a kind of an aluminum. sent10: if the enemy is a kind of a mongo the outskirt is a ribonuclease. sent11: the overgarment is a reel if it does purport. sent12: that the militant weeds shrewishness and is not an aluminum is incorrect. sent13: the tuberosity does not reel if it purports. sent14: the fact that the aggravator does corner motley and it is a mongo is not correct. sent15: if the tuberosity is not a kind of a reel the duffel is a bunfight and is a Rousseau. sent16: if the militant is a kind of an aluminum that does corner motley the overgarment does not purport. sent17: if there exists something such that it is not a kind of a lamp then the enemy is a mongo. sent18: something weeds shrewishness but it is not an aluminum. sent19: if the outskirt is not a kind of a ribonuclease then either the enemy does purport or it is not a mongo or both. sent20: the fact that if the outskirt is a ribonuclease and aponeurotic then the duffel is not a bunfight is correct. sent21: that the overgarment betters inadmissibility is correct. sent22: if something is a kind of a bunfight and it is a kind of a Rousseau then the enemy is not a ribonuclease. sent23: if the tuberosity is a Rousseau then the fact that the duffel is not a bunfight is false. sent24: if the fact that the overgarment is a reel is not wrong the fact that the tuberosity is a Rousseau is not incorrect. ; $proof$ = 
sent8 -> int1: there is something such that that it is a lamp and does corner motley is not true.; int1 & sent1 -> int2: the enemy is a mongo.; int2 & sent10 -> int3: the outskirt is a ribonuclease.; void -> assump1: Let's assume that the outskirt is aponeurotic.; int3 & assump1 -> int4: the outskirt is a kind of a ribonuclease that is aponeurotic.; int4 & sent20 -> int5: the duffel is not a bunfight.; sent12 -> int6: there is something such that the fact that it weeds shrewishness and it is not an aluminum does not hold.; int6 & sent6 -> int7: the overgarment purports.; sent11 & int7 -> int8: the overgarment reels.; sent24 & int8 -> int9: the tuberosity is a Rousseau.; sent23 & int9 -> int10: the duffel is a bunfight.; int5 & int10 -> int11: this is contradiction.; [assump1] & int11 -> hypothesis; __DISPROVED__