the leatherjacket follows Attilio.
sent1: if the dodo is a Angolese the feeder is a Angolese. sent2: the sainfoin surprises beta-interferon. sent3: something surprises beta-interferon and is Gandhian if it does not follow Attilio. sent4: The beta-interferon surprises sainfoin. sent5: the dichloromethane is a vaunt. sent6: the fact that the dodo does not stagnate and is not Gandhian is not true if the sainfoin does not stagnate. sent7: the dichloromethane does corset and it is an archives. sent8: if that something is a kind of a Angolese that does uglify is not right it does not stagnate. sent9: the leatherjacket is not a corset but it archives if the dichloromethane is a vaunt. sent10: the fact that the leatherjacket follows Attilio hold if there is something such that it surprises beta-interferon and is a kind of a NAD. sent11: the fact that something is a Angolese and it does uglify is not true if it is not a NAD. sent12: if something is not a NAD and/or it does not stagnate it is a Angolese. sent13: if something is Gandhian it is not a NAD or does not stagnate or both.
sent11 -> int1: if the sainfoin is not a NAD that it is a kind of a Angolese that does uglify is wrong.; void -> assump1: Let's assume that the fact that the sainfoin is not a kind of a NAD is true.; int1 & assump1 -> int2: the fact that the sainfoin is a Angolese and does uglify is wrong.; sent8 -> int3: if the fact that the sainfoin is a Angolese that uglifies is not true it does not stagnate.; int2 & int3 -> int4: the sainfoin does not stagnate.; int4 & sent6 -> int5: that the dodo does not stagnate and is not Gandhian is not right.; sent7 -> int6: the dichloromethane archives.;
the feeder is a Angolese.
sent12 -> int7: the fact that if the dodo is not a kind of the NAD or does not stagnate or both the dodo is a Angolese is correct.; sent13 -> int8: the dodo either is not a NAD or does not stagnate or both if it is Gandhian.; sent3 -> int9: if the dodo does not follow Attilio it does surprise beta-interferon and it is Gandhian.; sent9 & sent5 -> int10: the leatherjacket is not a corset but an archives.; int10 -> int11: something does not corset but it is a kind of an archives.;
$hypothesis$ = the leatherjacket follows Attilio. ; $context$ = sent1: if the dodo is a Angolese the feeder is a Angolese. sent2: the sainfoin surprises beta-interferon. sent3: something surprises beta-interferon and is Gandhian if it does not follow Attilio. sent4: The beta-interferon surprises sainfoin. sent5: the dichloromethane is a vaunt. sent6: the fact that the dodo does not stagnate and is not Gandhian is not true if the sainfoin does not stagnate. sent7: the dichloromethane does corset and it is an archives. sent8: if that something is a kind of a Angolese that does uglify is not right it does not stagnate. sent9: the leatherjacket is not a corset but it archives if the dichloromethane is a vaunt. sent10: the fact that the leatherjacket follows Attilio hold if there is something such that it surprises beta-interferon and is a kind of a NAD. sent11: the fact that something is a Angolese and it does uglify is not true if it is not a NAD. sent12: if something is not a NAD and/or it does not stagnate it is a Angolese. sent13: if something is Gandhian it is not a NAD or does not stagnate or both. ; $proof$ = 
sent11 -> int1: if the sainfoin is not a NAD that it is a kind of a Angolese that does uglify is wrong.; void -> assump1: Let's assume that the fact that the sainfoin is not a kind of a NAD is true.; int1 & assump1 -> int2: the fact that the sainfoin is a Angolese and does uglify is wrong.; sent8 -> int3: if the fact that the sainfoin is a Angolese that uglifies is not true it does not stagnate.; int2 & int3 -> int4: the sainfoin does not stagnate.; int4 & sent6 -> int5: that the dodo does not stagnate and is not Gandhian is not right.; sent7 -> int6: the dichloromethane archives.; __UNKNOWN__