the ferry does disapprove ferry.
sent1: if the fact that the glockenspiel is not a swoosh hold it is either a dropkicker or a prothrombinase or both. sent2: the glockenspiel does not invoke if it is pyrographic. sent3: if something that is a kind of a dropkicker is a swoosh then it is a kind of a walleye. sent4: if the dixie is a dropkicker that is a swoosh then it is a kind of a walleye. sent5: if there is something such that it is a prothrombinase the dixie is a dropkicker but it is not a swoosh. sent6: the dixie is not a swoosh if there is something such that that it is a prothrombinase is correct. sent7: the glockenspiel is an efficiency. sent8: something is pyrographic and it invokes if it is not a kind of an efficiency. sent9: something is indeterminate if it is a kind of a prothrombinase. sent10: if the fact that something is an efficiency but it does not invoke does not hold it does invoke. sent11: if the glockenspiel does not invoke then it is an efficiency. sent12: that something is not pyrographic and does disapprove ferry does not hold if it does invoke. sent13: the glockenspiel is not a swoosh. sent14: if the glockenspiel does not invoke it is indeterminate and is an efficiency. sent15: if the fact that something is an efficiency but it is not a kind of a prothrombinase does not hold then it is not an efficiency. sent16: the administrator is a prothrombinase if something is indeterminate thing that is an efficiency. sent17: there is something such that it is indeterminate. sent18: the dixie is not a kind of a swoosh. sent19: something is a kind of a walleye if it is a dropkicker and it is not a swoosh. sent20: if that something is not pyrographic but it does disapprove ferry is not right it does not disapprove ferry. sent21: there exists something such that it is an efficiency. sent22: the diaphoretic does not disapprove ferry. sent23: if the dixie is a walleye the ferry disapproves ferry.
sent19 -> int1: if the dixie is a dropkicker but it is not a swoosh that it is a walleye is correct.;
the holophyte is pyrographic.
sent8 -> int2: if the holophyte is not an efficiency then it is not non-pyrographic and invokes.; sent15 -> int3: if that the holophyte is an efficiency but it is not a kind of a prothrombinase does not hold then it is not a kind of an efficiency.;
$hypothesis$ = the ferry does disapprove ferry. ; $context$ = sent1: if the fact that the glockenspiel is not a swoosh hold it is either a dropkicker or a prothrombinase or both. sent2: the glockenspiel does not invoke if it is pyrographic. sent3: if something that is a kind of a dropkicker is a swoosh then it is a kind of a walleye. sent4: if the dixie is a dropkicker that is a swoosh then it is a kind of a walleye. sent5: if there is something such that it is a prothrombinase the dixie is a dropkicker but it is not a swoosh. sent6: the dixie is not a swoosh if there is something such that that it is a prothrombinase is correct. sent7: the glockenspiel is an efficiency. sent8: something is pyrographic and it invokes if it is not a kind of an efficiency. sent9: something is indeterminate if it is a kind of a prothrombinase. sent10: if the fact that something is an efficiency but it does not invoke does not hold it does invoke. sent11: if the glockenspiel does not invoke then it is an efficiency. sent12: that something is not pyrographic and does disapprove ferry does not hold if it does invoke. sent13: the glockenspiel is not a swoosh. sent14: if the glockenspiel does not invoke it is indeterminate and is an efficiency. sent15: if the fact that something is an efficiency but it is not a kind of a prothrombinase does not hold then it is not an efficiency. sent16: the administrator is a prothrombinase if something is indeterminate thing that is an efficiency. sent17: there is something such that it is indeterminate. sent18: the dixie is not a kind of a swoosh. sent19: something is a kind of a walleye if it is a dropkicker and it is not a swoosh. sent20: if that something is not pyrographic but it does disapprove ferry is not right it does not disapprove ferry. sent21: there exists something such that it is an efficiency. sent22: the diaphoretic does not disapprove ferry. sent23: if the dixie is a walleye the ferry disapproves ferry. ; $proof$ = 
sent19 -> int1: if the dixie is a dropkicker but it is not a swoosh that it is a walleye is correct.; __UNKNOWN__