the sap is not a Zhou and it does not investigate alga.
sent1: if something is not contextual that it is allowable and it is gastrointestinal does not hold. sent2: that the distributary is not a starlight is not wrong. sent3: the distributary does not fluoresce if the diabetic is not a kibitzer. sent4: if the terreplein is not allowable then the fact that it is non-benignant thing that is gastrointestinal is not right. sent5: the diabetic is a hymn if that the terreplein is benignant hold. sent6: if there is something such that the fact that it is allowable and it is gastrointestinal is wrong then the highjacker is not allowable. sent7: something is a kibitzer if that it is not a Zhou and does not investigate alga is wrong. sent8: if the sap fluoresces then it is a hymn. sent9: the distributary does not hymn if that the sap does fluoresce is not false. sent10: if the sap is a kibitzer it fluoresces. sent11: the fact that the sap is not a Zhou is true. sent12: if the distributary is benignant it does hymn. sent13: if the sap is benignant the distributary is not a kibitzer. sent14: if the fact that something is non-benignant thing that is gastrointestinal does not hold then it is benignant. sent15: that something is a kibitzer and it is benignant is incorrect if that it is not a hymn is not wrong. sent16: something that does fluoresce is a kibitzer. sent17: the fact that the terreplein does not hymn is right if the highjacker is not allowable. sent18: the piroplasm is non-contextual thing that does investigate blende. sent19: that the sap is not a Zhou and does not investigate alga is not true if the distributary does not fluoresce.
sent7 -> int1: the sap is a kibitzer if the fact that it is not a Zhou and it does not investigate alga is not true.; void -> assump1: Let's assume that that that the sap is not a Zhou and does not investigate alga is not incorrect is false.; int1 & assump1 -> int2: the sap is a kibitzer.; int2 & sent10 -> int3: the sap fluoresces.; int3 & sent9 -> int4: the distributary is not a hymn.;
the fact that the sap is not a Zhou and does not investigate alga is wrong.
sent15 -> int5: if the terreplein is not a kind of a hymn then the fact that it is a kibitzer that is benignant is not true.; sent1 -> int6: that the piroplasm is allowable thing that is gastrointestinal is not right if it is not contextual.; sent18 -> int7: the piroplasm is not contextual.; int6 & int7 -> int8: that the piroplasm is both allowable and gastrointestinal is false.; int8 -> int9: there is something such that that it is both allowable and gastrointestinal does not hold.; int9 & sent6 -> int10: the highjacker is not allowable.; sent17 & int10 -> int11: the terreplein does not hymn.; int5 & int11 -> int12: that the terreplein is a kind of a kibitzer and is benignant is incorrect.; int12 -> int13: that there is something such that that it is a kibitzer and it is benignant is not right hold.;
$hypothesis$ = the sap is not a Zhou and it does not investigate alga. ; $context$ = sent1: if something is not contextual that it is allowable and it is gastrointestinal does not hold. sent2: that the distributary is not a starlight is not wrong. sent3: the distributary does not fluoresce if the diabetic is not a kibitzer. sent4: if the terreplein is not allowable then the fact that it is non-benignant thing that is gastrointestinal is not right. sent5: the diabetic is a hymn if that the terreplein is benignant hold. sent6: if there is something such that the fact that it is allowable and it is gastrointestinal is wrong then the highjacker is not allowable. sent7: something is a kibitzer if that it is not a Zhou and does not investigate alga is wrong. sent8: if the sap fluoresces then it is a hymn. sent9: the distributary does not hymn if that the sap does fluoresce is not false. sent10: if the sap is a kibitzer it fluoresces. sent11: the fact that the sap is not a Zhou is true. sent12: if the distributary is benignant it does hymn. sent13: if the sap is benignant the distributary is not a kibitzer. sent14: if the fact that something is non-benignant thing that is gastrointestinal does not hold then it is benignant. sent15: that something is a kibitzer and it is benignant is incorrect if that it is not a hymn is not wrong. sent16: something that does fluoresce is a kibitzer. sent17: the fact that the terreplein does not hymn is right if the highjacker is not allowable. sent18: the piroplasm is non-contextual thing that does investigate blende. sent19: that the sap is not a Zhou and does not investigate alga is not true if the distributary does not fluoresce. ; $proof$ = 
sent7 -> int1: the sap is a kibitzer if the fact that it is not a Zhou and it does not investigate alga is not true.; void -> assump1: Let's assume that that that the sap is not a Zhou and does not investigate alga is not incorrect is false.; int1 & assump1 -> int2: the sap is a kibitzer.; int2 & sent10 -> int3: the sap fluoresces.; int3 & sent9 -> int4: the distributary is not a hymn.; __UNKNOWN__