the turnery is uncomplimentary.
sent1: if something strands animation that it is not a Marstan and is a Trigonella is not right. sent2: if that the scarf is not a Marstan but a Trigonella is not right the turnery is uncomplimentary. sent3: the fact that the missionary does not festoon telefilm but it is a femaleness is not right. sent4: the turnery is uncomplimentary if the scarf is a Marstan. sent5: if the scarf strands animation the fact that it is a Marstan and it is a Trigonella does not hold. sent6: that something is not a Pyralidae and is a speculum is wrong if it is hemal. sent7: the scarf is a Kama. sent8: the paramagnet festoons telefilm. sent9: something is a Trigonella and/or it is not uncomplimentary if it does not strand animation. sent10: there exists nothing such that it does not festoon telefilm and it is not a kind of a femaleness. sent11: if that something does strand animation and it is monovalent is not true it does not strand animation. sent12: that the scarf is a Marstan and it is a Trigonella does not hold. sent13: if the missionary is a femaleness then that it is not uncomplimentary and it is a Marstan is not correct. sent14: there exists nothing that does festoon telefilm and is not a femaleness. sent15: that the missionary is not a mantle but a sunburned is not right. sent16: if the fact that the missionary does not festoon telefilm and it is not a femaleness is incorrect that the scarf strands animation is right. sent17: if the fact that the fact that the scarf is not a kind of a femaleness but it festoons telefilm is false is right then the missionary is a Marstan. sent18: the turnery is a Marstan.
sent10 -> int1: the fact that the missionary does not festoon telefilm and it is not a femaleness is not correct.; int1 & sent16 -> int2: the scarf strands animation.; sent1 -> int3: the fact that the scarf is not a Marstan and is a Trigonella is not true if it strands animation.; int2 & int3 -> int4: the fact that the scarf is not a Marstan but it is a Trigonella is not right.; int4 & sent2 -> hypothesis;
the turnery is not uncomplimentary.
sent9 -> int5: if the scarf does not strand animation it is a Trigonella and/or it is not uncomplimentary.; sent11 -> int6: the fact that the scarf does not strand animation hold if that it does strand animation and is monovalent is false.;
$hypothesis$ = the turnery is uncomplimentary. ; $context$ = sent1: if something strands animation that it is not a Marstan and is a Trigonella is not right. sent2: if that the scarf is not a Marstan but a Trigonella is not right the turnery is uncomplimentary. sent3: the fact that the missionary does not festoon telefilm but it is a femaleness is not right. sent4: the turnery is uncomplimentary if the scarf is a Marstan. sent5: if the scarf strands animation the fact that it is a Marstan and it is a Trigonella does not hold. sent6: that something is not a Pyralidae and is a speculum is wrong if it is hemal. sent7: the scarf is a Kama. sent8: the paramagnet festoons telefilm. sent9: something is a Trigonella and/or it is not uncomplimentary if it does not strand animation. sent10: there exists nothing such that it does not festoon telefilm and it is not a kind of a femaleness. sent11: if that something does strand animation and it is monovalent is not true it does not strand animation. sent12: that the scarf is a Marstan and it is a Trigonella does not hold. sent13: if the missionary is a femaleness then that it is not uncomplimentary and it is a Marstan is not correct. sent14: there exists nothing that does festoon telefilm and is not a femaleness. sent15: that the missionary is not a mantle but a sunburned is not right. sent16: if the fact that the missionary does not festoon telefilm and it is not a femaleness is incorrect that the scarf strands animation is right. sent17: if the fact that the fact that the scarf is not a kind of a femaleness but it festoons telefilm is false is right then the missionary is a Marstan. sent18: the turnery is a Marstan. ; $proof$ = 
sent10 -> int1: the fact that the missionary does not festoon telefilm and it is not a femaleness is not correct.; int1 & sent16 -> int2: the scarf strands animation.; sent1 -> int3: the fact that the scarf is not a Marstan and is a Trigonella is not true if it strands animation.; int2 & int3 -> int4: the fact that the scarf is not a Marstan but it is a Trigonella is not right.; int4 & sent2 -> hypothesis; __PROVED__