the ferritin is not a southernwood.
sent1: everything is urinary and Hispaniolan. sent2: the ferritin is not Hispaniolan if it accommodates and is urinary. sent3: a Umayyad is not homiletic and does not caucus anchorite. sent4: if the ferritin is not urinary the Mahdist does accommodate and is not urinary. sent5: the fact that the ferritin is a southernwood but it does not accommodate is right if that the Mahdist does not accommodate is right. sent6: the ferritin is urinary but it does not accommodate. sent7: the anchorite is not a kind of a Iberian. sent8: the Mahdist does caucus anchorite if the fact that it is not a Stael and it does not caucus anchorite does not hold. sent9: the ferritin is Hispaniolan thing that is a hairsplitter. sent10: if something that caucuses anchorite does accommodate it is not a kind of a southernwood. sent11: if something is not subjective then it is a kind of a Umayyad and/or it is non-homiletic. sent12: the Mahdist is not a southernwood if it is Hispaniolan and it is urinary. sent13: the Mahdist is a humanist. sent14: that the Mahdist is not a kind of a Stael and does not caucus anchorite is not right. sent15: the Mahdist is not a southernwood if the ferritin is not a southernwood. sent16: that the tiler does not accommodate is not incorrect. sent17: if that the herbalist is subjective is not wrong it is a kind of a Umayyad. sent18: if a urinary thing is Hispaniolan it does not accommodate.
sent18 -> int1: the Mahdist does not accommodate if it is urinary and Hispaniolan.; sent1 -> int2: the Mahdist is both urinary and Hispaniolan.; int1 & int2 -> int3: the Mahdist does not accommodate.; int3 & sent5 -> int4: the ferritin is a southernwood that does not accommodate.; int4 -> hypothesis;
the ferritin is not a kind of a southernwood.
sent3 -> int5: the fact that if the fact that the herbalist is a kind of the Umayyad is not wrong then the herbalist is not homiletic and it does not caucus anchorite hold.;
$hypothesis$ = the ferritin is not a southernwood. ; $context$ = sent1: everything is urinary and Hispaniolan. sent2: the ferritin is not Hispaniolan if it accommodates and is urinary. sent3: a Umayyad is not homiletic and does not caucus anchorite. sent4: if the ferritin is not urinary the Mahdist does accommodate and is not urinary. sent5: the fact that the ferritin is a southernwood but it does not accommodate is right if that the Mahdist does not accommodate is right. sent6: the ferritin is urinary but it does not accommodate. sent7: the anchorite is not a kind of a Iberian. sent8: the Mahdist does caucus anchorite if the fact that it is not a Stael and it does not caucus anchorite does not hold. sent9: the ferritin is Hispaniolan thing that is a hairsplitter. sent10: if something that caucuses anchorite does accommodate it is not a kind of a southernwood. sent11: if something is not subjective then it is a kind of a Umayyad and/or it is non-homiletic. sent12: the Mahdist is not a southernwood if it is Hispaniolan and it is urinary. sent13: the Mahdist is a humanist. sent14: that the Mahdist is not a kind of a Stael and does not caucus anchorite is not right. sent15: the Mahdist is not a southernwood if the ferritin is not a southernwood. sent16: that the tiler does not accommodate is not incorrect. sent17: if that the herbalist is subjective is not wrong it is a kind of a Umayyad. sent18: if a urinary thing is Hispaniolan it does not accommodate. ; $proof$ = 
sent18 -> int1: the Mahdist does not accommodate if it is urinary and Hispaniolan.; sent1 -> int2: the Mahdist is both urinary and Hispaniolan.; int1 & int2 -> int3: the Mahdist does not accommodate.; int3 & sent5 -> int4: the ferritin is a southernwood that does not accommodate.; int4 -> hypothesis; __DISPROVED__