something is a Phagun.
sent1: there exists something such that it is admissible. sent2: if something does distinguish geranium the retinol is not mural but it is a kind of an opening. sent3: something is a Phagun if it does distinguish geranium. sent4: the Whistler is admissible. sent5: the Whistler is not a Phagun and is admissible if something does distinguish geranium. sent6: that the retinol is a brave and it is ostentatious is not false. sent7: the Whistler does not distinguish geranium but it is admissible if something is an opening. sent8: if something is a Phagun then the Whistler does not distinguish geranium but it is admissible. sent9: there are regretful things. sent10: something is admissible if it is a kind of a Phagun. sent11: the retinol is not a mural if there is something such that it is an opening. sent12: there is something such that it is a Scopolia. sent13: something is an ass. sent14: there is something such that it does distinguish controlling. sent15: something that does wire carthorse shelters Diaspididae. sent16: the Whistler is a kind of opening thing that is admissible. sent17: the Whistler does not birl and is a kind of a destalinization. sent18: the Whistler does wire organism. sent19: if something is an opening the retinol is not a kind of a mural but it distinguishes geranium. sent20: something is both admissible and opening if it is not a mural.
sent16 -> int1: the Whistler is an opening.; int1 -> int2: there is something such that it is an opening.; int2 & sent19 -> int3: the retinol is non-mural thing that does distinguish geranium.; int3 -> int4: the retinol does distinguish geranium.; sent3 -> int5: the retinol is a Phagun if it does distinguish geranium.; int4 & int5 -> int6: that the retinol is a Phagun is not incorrect.; int6 -> hypothesis;
the carthorse is admissible.
sent20 -> int7: if the carthorse is not a kind of a mural it is not inadmissible but opening.;
$hypothesis$ = something is a Phagun. ; $context$ = sent1: there exists something such that it is admissible. sent2: if something does distinguish geranium the retinol is not mural but it is a kind of an opening. sent3: something is a Phagun if it does distinguish geranium. sent4: the Whistler is admissible. sent5: the Whistler is not a Phagun and is admissible if something does distinguish geranium. sent6: that the retinol is a brave and it is ostentatious is not false. sent7: the Whistler does not distinguish geranium but it is admissible if something is an opening. sent8: if something is a Phagun then the Whistler does not distinguish geranium but it is admissible. sent9: there are regretful things. sent10: something is admissible if it is a kind of a Phagun. sent11: the retinol is not a mural if there is something such that it is an opening. sent12: there is something such that it is a Scopolia. sent13: something is an ass. sent14: there is something such that it does distinguish controlling. sent15: something that does wire carthorse shelters Diaspididae. sent16: the Whistler is a kind of opening thing that is admissible. sent17: the Whistler does not birl and is a kind of a destalinization. sent18: the Whistler does wire organism. sent19: if something is an opening the retinol is not a kind of a mural but it distinguishes geranium. sent20: something is both admissible and opening if it is not a mural. ; $proof$ = 
sent16 -> int1: the Whistler is an opening.; int1 -> int2: there is something such that it is an opening.; int2 & sent19 -> int3: the retinol is non-mural thing that does distinguish geranium.; int3 -> int4: the retinol does distinguish geranium.; sent3 -> int5: the retinol is a Phagun if it does distinguish geranium.; int4 & int5 -> int6: that the retinol is a Phagun is not incorrect.; int6 -> hypothesis; __PROVED__