if the cryptocoryne does moor trichromacy then the hartebeest is Nicaean.
sent1: the fact that the cryptocoryne is both a Pneumovax and not montane is not true if it does moor trichromacy. sent2: that something is not a links and is a prime is right if it is not a jersey. sent3: if the cysteine is a work-shirt and it is ratty then the porcupinefish is not a work-shirt. sent4: the fact that the cryptocoryne is a Pneumovax and is not montane is wrong. sent5: the cryptocoryne is Nicaean if the fact that the hartebeest is not montane and it is not a Pneumovax is incorrect. sent6: if the porcupinefish is not a links and is a kind of a prime the sniffler is not a prime. sent7: the hartebeest is a jersey if the sniffler moors cryptocoryne. sent8: the sniffler moors cryptocoryne. sent9: the fact that something is a Pneumovax but it is not montane is wrong if it does moor trichromacy. sent10: the porcupinefish is not a jersey if that it moors cryptocoryne and is a kind of a half is incorrect. sent11: the fact that the porcupinefish does moor cryptocoryne and it is a kind of a half is incorrect if it is not a kind of a work-shirt. sent12: that the cryptocoryne is both not a Pneumovax and montane is not right if it does moor trichromacy. sent13: something is not Nicaean but it is montane if it is not a kind of a prime. sent14: the hartebeest is Nicaean if the fact that the cryptocoryne is both not a Pneumovax and not montane does not hold. sent15: that something is not a kind of a Pneumovax and it does not moor trichromacy is wrong if it is Nicaean. sent16: that that the cryptocoryne is not a Pneumovax and is montane is wrong is correct. sent17: if the fact that the fact that the hartebeest does not moor trichromacy and it is not montane does not hold is not wrong then the anti-inflammatory is montane. sent18: if something moors trichromacy then that it is not a Pneumovax and is montane is not right. sent19: the fact that something is not a work-shirt and it is non-Congregational does not hold if it does moor trichromacy. sent20: if the cryptocoryne is not non-Nicaean then that it is not montane and it is not a Pneumovax is wrong. sent21: something moors trichromacy and is not non-Nicaean if it is not a prime.
the fact that the Plectophera is not a kind of a work-shirt and is not Congregational does not hold.
sent19 -> int1: the fact that that the Plectophera is both not a work-shirt and not Congregational hold is wrong if it moors trichromacy.; sent21 -> int2: the Plectophera does moor trichromacy and is Nicaean if it is not a prime.; sent7 & sent8 -> int3: the fact that the hartebeest is a jersey is right.; int3 -> int4: either the hartebeest is a jersey or it is a links or both.; int4 -> int5: something is a jersey or it is a links or both.;
$hypothesis$ = if the cryptocoryne does moor trichromacy then the hartebeest is Nicaean. ; $context$ = sent1: the fact that the cryptocoryne is both a Pneumovax and not montane is not true if it does moor trichromacy. sent2: that something is not a links and is a prime is right if it is not a jersey. sent3: if the cysteine is a work-shirt and it is ratty then the porcupinefish is not a work-shirt. sent4: the fact that the cryptocoryne is a Pneumovax and is not montane is wrong. sent5: the cryptocoryne is Nicaean if the fact that the hartebeest is not montane and it is not a Pneumovax is incorrect. sent6: if the porcupinefish is not a links and is a kind of a prime the sniffler is not a prime. sent7: the hartebeest is a jersey if the sniffler moors cryptocoryne. sent8: the sniffler moors cryptocoryne. sent9: the fact that something is a Pneumovax but it is not montane is wrong if it does moor trichromacy. sent10: the porcupinefish is not a jersey if that it moors cryptocoryne and is a kind of a half is incorrect. sent11: the fact that the porcupinefish does moor cryptocoryne and it is a kind of a half is incorrect if it is not a kind of a work-shirt. sent12: that the cryptocoryne is both not a Pneumovax and montane is not right if it does moor trichromacy. sent13: something is not Nicaean but it is montane if it is not a kind of a prime. sent14: the hartebeest is Nicaean if the fact that the cryptocoryne is both not a Pneumovax and not montane does not hold. sent15: that something is not a kind of a Pneumovax and it does not moor trichromacy is wrong if it is Nicaean. sent16: that that the cryptocoryne is not a Pneumovax and is montane is wrong is correct. sent17: if the fact that the fact that the hartebeest does not moor trichromacy and it is not montane does not hold is not wrong then the anti-inflammatory is montane. sent18: if something moors trichromacy then that it is not a Pneumovax and is montane is not right. sent19: the fact that something is not a work-shirt and it is non-Congregational does not hold if it does moor trichromacy. sent20: if the cryptocoryne is not non-Nicaean then that it is not montane and it is not a Pneumovax is wrong. sent21: something moors trichromacy and is not non-Nicaean if it is not a prime. ; $proof$ = 
__UNKNOWN__