the staurikosaur is not evil.
sent1: the staurikosaur is an evil. sent2: the staurikosaur is a kind of a NUWC. sent3: if something is not evitable then that it is not a tailrace and is not chronic hold. sent4: something is not evitable if it is not fluvial and it does not blind pianist. sent5: that the staurikosaur is a kind of a dairy is not incorrect. sent6: the staurikosaur is a Angel. sent7: the nombril is an evil. sent8: the angiogram is evil. sent9: the gooseberry is a kind of an evil. sent10: if the binary is not a kind of a bootleg the tripod is a kind of non-fluvial thing that does not blind pianist. sent11: if something either does not repot arpent or does not blind helminth or both then the fact that it is not a bootleg is not incorrect. sent12: the staurikosaur blinds stairway. sent13: that the staurikosaur does blind pianist and is fluvial is not correct if the tripod is not a kind of a bootleg. sent14: the binary does not repot arpent. sent15: if the fact that the staurikosaur does blind pianist and is fluvial is not correct then it is not evitable. sent16: if something is a kind of a tailrace then it is an evil. sent17: if that the binary does not blind helminth and/or it does repot arpent is not true the tripod is not a bootleg. sent18: if the staurikosaur is not evitable the Cairene is a kind of a tailrace and it is chronic. sent19: the execution is not non-evil. sent20: the fact that the binary does not blind helminth and/or it does repot arpent is false if it is not a kind of a colophony.
sent1 -> hypothesis;
the staurikosaur is not an evil.
sent3 -> int1: the tripod is both not a tailrace and not chronic if it is not evitable.; sent4 -> int2: the tripod is not evitable if it is not fluvial and it does not blind pianist.; sent11 -> int3: if the binary does not repot arpent and/or it does not blind helminth it does not bootleg.; sent14 -> int4: the binary does not repot arpent and/or it does not blind helminth.; int3 & int4 -> int5: the binary is not a bootleg.; sent10 & int5 -> int6: the tripod is non-fluvial thing that does not blind pianist.; int2 & int6 -> int7: the tripod is not evitable.; int1 & int7 -> int8: the tripod is both not a tailrace and not chronic.; int8 -> int9: something is not a tailrace and is not chronic.;
$hypothesis$ = the staurikosaur is not evil. ; $context$ = sent1: the staurikosaur is an evil. sent2: the staurikosaur is a kind of a NUWC. sent3: if something is not evitable then that it is not a tailrace and is not chronic hold. sent4: something is not evitable if it is not fluvial and it does not blind pianist. sent5: that the staurikosaur is a kind of a dairy is not incorrect. sent6: the staurikosaur is a Angel. sent7: the nombril is an evil. sent8: the angiogram is evil. sent9: the gooseberry is a kind of an evil. sent10: if the binary is not a kind of a bootleg the tripod is a kind of non-fluvial thing that does not blind pianist. sent11: if something either does not repot arpent or does not blind helminth or both then the fact that it is not a bootleg is not incorrect. sent12: the staurikosaur blinds stairway. sent13: that the staurikosaur does blind pianist and is fluvial is not correct if the tripod is not a kind of a bootleg. sent14: the binary does not repot arpent. sent15: if the fact that the staurikosaur does blind pianist and is fluvial is not correct then it is not evitable. sent16: if something is a kind of a tailrace then it is an evil. sent17: if that the binary does not blind helminth and/or it does repot arpent is not true the tripod is not a bootleg. sent18: if the staurikosaur is not evitable the Cairene is a kind of a tailrace and it is chronic. sent19: the execution is not non-evil. sent20: the fact that the binary does not blind helminth and/or it does repot arpent is false if it is not a kind of a colophony. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__