the frost does not extend causality and/or does not underwrite nontricyclic.
sent1: the fact that the pochard is non-anorectal but it extends causality is wrong if the frost does extends causality. sent2: if the retrovirus does consist then the fact that the Union is not ossiferous and does not consist is wrong. sent3: the frost does not extend causality or does underwrite nontricyclic or both. sent4: either the frost extends causality or it does not underwrite nontricyclic or both. sent5: if that the pochard is not anorectal but it consists is not right then that the Union is anorectal is not false. sent6: the fact that the Union does not consist is not false. sent7: the frost does not extend causality or is not a kind of an analogy or both. sent8: the fact that something is an analogy is right if it is anorectal. sent9: the frost does not consist. sent10: the pochard is anorectal if the Union does slime inductee. sent11: if the Union is not ossiferous then the fact that that the frost does not slime inductee and is anorectal is not correct hold. sent12: the fact that the retrovirus consists but it is not an analogy is not correct. sent13: if the pochard is a kind of an analogy the fact that the retrovirus does not consist and is an analogy is wrong. sent14: the fact that the retrovirus does not consist but it is an analogy is not right. sent15: if that something does slime inductee is not false the fact that it does not extend causality and/or does not underwrite nontricyclic is not correct. sent16: the frost does not underwrite nontricyclic if the fact that the retrovirus does not consist and it is not a kind of an analogy does not hold. sent17: the Union slimes inductee and it is ossiferous. sent18: the fact that the pochard is non-anorectal thing that consists is wrong if something is an analogy. sent19: something does slime inductee if the fact that it is not ossiferous and it is not anorectal is not true. sent20: that the retrovirus does not consist and is not an analogy is not true if the pochard is a kind of an analogy. sent21: if the pochard is an analogy then that the retrovirus does consist and is not an analogy does not hold.
sent17 -> int1: the Union does slime inductee.; int1 & sent10 -> int2: the pochard is anorectal.; sent8 -> int3: that if the fact that the pochard is anorectal is right then the pochard is a kind of an analogy hold.; int2 & int3 -> int4: the pochard is a kind of an analogy.; int4 & sent20 -> int5: the fact that the retrovirus does not consist and is not a kind of an analogy does not hold.; int5 & sent16 -> int6: that the frost does not underwrite nontricyclic is correct.; int6 -> hypothesis;
that the frost either does not extend causality or does not underwrite nontricyclic or both does not hold.
sent15 -> int7: that the frost does not extend causality and/or it does not underwrite nontricyclic is wrong if it slimes inductee.; sent19 -> int8: if the fact that the frost is non-ossiferous thing that is not anorectal is false it does slime inductee.;
$hypothesis$ = the frost does not extend causality and/or does not underwrite nontricyclic. ; $context$ = sent1: the fact that the pochard is non-anorectal but it extends causality is wrong if the frost does extends causality. sent2: if the retrovirus does consist then the fact that the Union is not ossiferous and does not consist is wrong. sent3: the frost does not extend causality or does underwrite nontricyclic or both. sent4: either the frost extends causality or it does not underwrite nontricyclic or both. sent5: if that the pochard is not anorectal but it consists is not right then that the Union is anorectal is not false. sent6: the fact that the Union does not consist is not false. sent7: the frost does not extend causality or is not a kind of an analogy or both. sent8: the fact that something is an analogy is right if it is anorectal. sent9: the frost does not consist. sent10: the pochard is anorectal if the Union does slime inductee. sent11: if the Union is not ossiferous then the fact that that the frost does not slime inductee and is anorectal is not correct hold. sent12: the fact that the retrovirus consists but it is not an analogy is not correct. sent13: if the pochard is a kind of an analogy the fact that the retrovirus does not consist and is an analogy is wrong. sent14: the fact that the retrovirus does not consist but it is an analogy is not right. sent15: if that something does slime inductee is not false the fact that it does not extend causality and/or does not underwrite nontricyclic is not correct. sent16: the frost does not underwrite nontricyclic if the fact that the retrovirus does not consist and it is not a kind of an analogy does not hold. sent17: the Union slimes inductee and it is ossiferous. sent18: the fact that the pochard is non-anorectal thing that consists is wrong if something is an analogy. sent19: something does slime inductee if the fact that it is not ossiferous and it is not anorectal is not true. sent20: that the retrovirus does not consist and is not an analogy is not true if the pochard is a kind of an analogy. sent21: if the pochard is an analogy then that the retrovirus does consist and is not an analogy does not hold. ; $proof$ = 
sent17 -> int1: the Union does slime inductee.; int1 & sent10 -> int2: the pochard is anorectal.; sent8 -> int3: that if the fact that the pochard is anorectal is right then the pochard is a kind of an analogy hold.; int2 & int3 -> int4: the pochard is a kind of an analogy.; int4 & sent20 -> int5: the fact that the retrovirus does not consist and is not a kind of an analogy does not hold.; int5 & sent16 -> int6: that the frost does not underwrite nontricyclic is correct.; int6 -> hypothesis; __PROVED__