the abbess does roof planography.
sent1: if something is nonretractile then the fact that that it is non-amniotic thing that roofs banjo is not wrong is incorrect. sent2: the Hupa is not myrmecophytic if it does not roof stuffer and it effaces Hammerstein. sent3: something roofs planography if it is a kind of a trivium. sent4: if that the scapula is a trivium and is amniotic is not right then the abbess does not roof planography. sent5: if the abbess roofs banjo the scapula is nonretractile. sent6: the Hupa is nonretractile if that it is not a half is correct. sent7: the Hupa is not myrmecophytic if it roofs stuffer and does not efface Hammerstein. sent8: the Hupa is not myrmecophytic if it does not roof stuffer and it does not efface Hammerstein. sent9: if the fact that something does roof planography and is amniotic does not hold then it is not a kind of a trivium. sent10: if that the scapula is not amniotic hold the abbess does not roof planography. sent11: the Hupa does not roof stuffer and it does not efface Hammerstein. sent12: everything is not a half or it does not tin signboard or both. sent13: if the solvation tins signboard the abbess does roof banjo. sent14: the fact that the abbess does efface Hammerstein and it does roof planography is incorrect. sent15: if the Hupa is not myrmecophytic the fact that the scapula is a trivium and is amniotic is wrong. sent16: the fact that something is myrmecophytic and it is a trivium if it is not amniotic is right. sent17: the scapula is not myrmecophytic if it is not a trivium and it does not roof stuffer. sent18: the abbess is not amniotic if that the scapula roofs planography and does roof stuffer is false.
sent8 & sent11 -> int1: the Hupa is not myrmecophytic.; sent15 & int1 -> int2: the fact that the scapula is a trivium and is amniotic is not right.; sent4 & int2 -> hypothesis;
the abbess does roof planography.
sent3 -> int3: if the abbess is a trivium then it roofs planography.; sent16 -> int4: if the abbess is not amniotic it is myrmecophytic and it is a trivium.; sent1 -> int5: if the Hupa is nonretractile then that it is not amniotic and it roofs banjo does not hold.; sent12 -> int6: the Hupa is not a half and/or does not tin signboard.;
$hypothesis$ = the abbess does roof planography. ; $context$ = sent1: if something is nonretractile then the fact that that it is non-amniotic thing that roofs banjo is not wrong is incorrect. sent2: the Hupa is not myrmecophytic if it does not roof stuffer and it effaces Hammerstein. sent3: something roofs planography if it is a kind of a trivium. sent4: if that the scapula is a trivium and is amniotic is not right then the abbess does not roof planography. sent5: if the abbess roofs banjo the scapula is nonretractile. sent6: the Hupa is nonretractile if that it is not a half is correct. sent7: the Hupa is not myrmecophytic if it roofs stuffer and does not efface Hammerstein. sent8: the Hupa is not myrmecophytic if it does not roof stuffer and it does not efface Hammerstein. sent9: if the fact that something does roof planography and is amniotic does not hold then it is not a kind of a trivium. sent10: if that the scapula is not amniotic hold the abbess does not roof planography. sent11: the Hupa does not roof stuffer and it does not efface Hammerstein. sent12: everything is not a half or it does not tin signboard or both. sent13: if the solvation tins signboard the abbess does roof banjo. sent14: the fact that the abbess does efface Hammerstein and it does roof planography is incorrect. sent15: if the Hupa is not myrmecophytic the fact that the scapula is a trivium and is amniotic is wrong. sent16: the fact that something is myrmecophytic and it is a trivium if it is not amniotic is right. sent17: the scapula is not myrmecophytic if it is not a trivium and it does not roof stuffer. sent18: the abbess is not amniotic if that the scapula roofs planography and does roof stuffer is false. ; $proof$ = 
sent8 & sent11 -> int1: the Hupa is not myrmecophytic.; sent15 & int1 -> int2: the fact that the scapula is a trivium and is amniotic is not right.; sent4 & int2 -> hypothesis; __DISPROVED__