the ogive is not satisfactory.
sent1: if the shirting is not putrid but it is soleless the ogive is not satisfactory. sent2: the ogive does rivet angelus and it is a stripe. sent3: if the commune is not a Trilisa the fact that the shirting is both not a stripe and not strategic does not hold. sent4: the shirting loots compassion and is soleless. sent5: if a Trilisa is a kind of a stripe it is not putrid. sent6: if something is strategic it is satisfactory. sent7: the shirting is both satisfactory and strategic. sent8: if that the thriftshop does not loot compassion is true the fact that it is not putrid and it is soleless is not true. sent9: the shirting is a kind of strategic thing that is a kind of a Trilisa.
sent9 -> int1: the shirting is a Trilisa.; sent5 -> int2: if the shirting is a Trilisa and it stripes it is not putrid.; sent4 -> int3: the shirting is soleless.;
the ogive is satisfactory.
sent6 -> int4: if the ogive is strategic it is satisfactory.;
$hypothesis$ = the ogive is not satisfactory. ; $context$ = sent1: if the shirting is not putrid but it is soleless the ogive is not satisfactory. sent2: the ogive does rivet angelus and it is a stripe. sent3: if the commune is not a Trilisa the fact that the shirting is both not a stripe and not strategic does not hold. sent4: the shirting loots compassion and is soleless. sent5: if a Trilisa is a kind of a stripe it is not putrid. sent6: if something is strategic it is satisfactory. sent7: the shirting is both satisfactory and strategic. sent8: if that the thriftshop does not loot compassion is true the fact that it is not putrid and it is soleless is not true. sent9: the shirting is a kind of strategic thing that is a kind of a Trilisa. ; $proof$ = 
sent9 -> int1: the shirting is a Trilisa.; sent5 -> int2: if the shirting is a Trilisa and it stripes it is not putrid.; sent4 -> int3: the shirting is soleless.; __UNKNOWN__