the Mobile is substantival.
sent1: the fact that the complement is a kind of legitimate a scream is not right if the Mobile is not a kind of a scream. sent2: if the complement does not legitimate then it is not a kind of a pya. sent3: something is not virtuous if it is not neural or it is not virtuous or both. sent4: that the filing is a abelmosk and it is a kind of a straight is not correct if the complement is not a pya. sent5: that the filing is not a abelmosk but it is straight is not right if the complement is not a pya. sent6: the fact that something is a kind of a abelmosk is correct if it is Modern. sent7: if that something is both not a abelmosk and not a straight does not hold it is not a kind of a scream. sent8: something does not scream if that it is substantival and it does not service skinny is wrong. sent9: if the filing is a straight the complement is legitimate. sent10: that the filing is a abelmosk that is collarless is not true. sent11: something is Modern if it is traditional. sent12: the coffer is not a gallamine. sent13: the fact that the pendragon is collarless is right. sent14: if the filing is traditional then it is Modern. sent15: the filing is not a kind of a abelmosk. sent16: the pendragon is traditional if it is collarless. sent17: the Mobile does not service skinny. sent18: if something is a abelmosk it is straight. sent19: something does not scream if it does service skinny. sent20: if something is not virtuous it is a kind of a Coryphaenidae and it is traditional. sent21: if that the Mobile services skinny hold it does not scream. sent22: the fact that the Mobile is substantival and does service skinny is wrong. sent23: the fact that the filing is a abelmosk and it is a straight is not right. sent24: if the coffer is not a kind of a gallamine then it is non-neural and/or is not virtuous. sent25: if the pendragon is Modern the filing is not a abelmosk but straight. sent26: if the complement is not a kind of a pya and is a scream then the fact that the Mobile is not substantival is not incorrect. sent27: if the pendragon is Modern the filing is not a abelmosk.
sent8 -> int1: the Mobile is not a scream if the fact that it is substantival thing that does not service skinny is not correct.; void -> assump1: Let's assume that that the Mobile is substantival and does not service skinny is not true.; int1 & assump1 -> int2: that the Mobile is not a scream is correct.; int2 & sent1 -> int3: the fact that the complement is legitimate thing that is a scream does not hold.; sent11 -> int4: the pendragon is Modern if it is traditional.; sent16 & sent13 -> int5: the pendragon is traditional.; int4 & int5 -> int6: the pendragon is Modern.; sent25 & int6 -> int7: the filing is not a abelmosk but it is a straight.;
the fact that the filing legitimates is correct.
sent7 -> int8: that the filing does not scream is not incorrect if that it is not a kind of a abelmosk and it is not a kind of a straight is false.;
$hypothesis$ = the Mobile is substantival. ; $context$ = sent1: the fact that the complement is a kind of legitimate a scream is not right if the Mobile is not a kind of a scream. sent2: if the complement does not legitimate then it is not a kind of a pya. sent3: something is not virtuous if it is not neural or it is not virtuous or both. sent4: that the filing is a abelmosk and it is a kind of a straight is not correct if the complement is not a pya. sent5: that the filing is not a abelmosk but it is straight is not right if the complement is not a pya. sent6: the fact that something is a kind of a abelmosk is correct if it is Modern. sent7: if that something is both not a abelmosk and not a straight does not hold it is not a kind of a scream. sent8: something does not scream if that it is substantival and it does not service skinny is wrong. sent9: if the filing is a straight the complement is legitimate. sent10: that the filing is a abelmosk that is collarless is not true. sent11: something is Modern if it is traditional. sent12: the coffer is not a gallamine. sent13: the fact that the pendragon is collarless is right. sent14: if the filing is traditional then it is Modern. sent15: the filing is not a kind of a abelmosk. sent16: the pendragon is traditional if it is collarless. sent17: the Mobile does not service skinny. sent18: if something is a abelmosk it is straight. sent19: something does not scream if it does service skinny. sent20: if something is not virtuous it is a kind of a Coryphaenidae and it is traditional. sent21: if that the Mobile services skinny hold it does not scream. sent22: the fact that the Mobile is substantival and does service skinny is wrong. sent23: the fact that the filing is a abelmosk and it is a straight is not right. sent24: if the coffer is not a kind of a gallamine then it is non-neural and/or is not virtuous. sent25: if the pendragon is Modern the filing is not a abelmosk but straight. sent26: if the complement is not a kind of a pya and is a scream then the fact that the Mobile is not substantival is not incorrect. sent27: if the pendragon is Modern the filing is not a abelmosk. ; $proof$ = 
sent8 -> int1: the Mobile is not a scream if the fact that it is substantival thing that does not service skinny is not correct.; void -> assump1: Let's assume that that the Mobile is substantival and does not service skinny is not true.; int1 & assump1 -> int2: that the Mobile is not a scream is correct.; int2 & sent1 -> int3: the fact that the complement is legitimate thing that is a scream does not hold.; sent11 -> int4: the pendragon is Modern if it is traditional.; sent16 & sent13 -> int5: the pendragon is traditional.; int4 & int5 -> int6: the pendragon is Modern.; sent25 & int6 -> int7: the filing is not a abelmosk but it is a straight.; __UNKNOWN__