the dovetail is a darner.
sent1: something is not a troll if the fact that it does not celebrate and does not freckle massage does not hold. sent2: if the things is not Tasmanian the fact that it does not celebrate and does not freckle massage is not correct. sent3: the dovetail is a darner if the things is not a troll. sent4: the things is not Tasmanian. sent5: that the things does not celebrate but it does freckle massage does not hold. sent6: something that does freckle massage is not a troll. sent7: that something is not a kind of a darner and/or is a kind of a pachycephalosaur does not hold if it is Tasmanian. sent8: if the nubbin is not a kind of a sauce and it is not a chasuble then the ovenbird is not consistent. sent9: the nubbin is not a kind of a sauce. sent10: something is Tasmanian and it is a kind of a narcissus if it is not consistent. sent11: the dovetail is not a darner if that the ovenbird is either not a darner or a pachycephalosaur or both is not correct. sent12: the nubbin is not a chasuble if that it is not an appearance and it does not organize colonnaded is false.
sent1 -> int1: the things is not a troll if the fact that it does not celebrate and does not freckle massage is not correct.; sent2 & sent4 -> int2: the fact that the things does not celebrate and it does not freckle massage is false.; int1 & int2 -> int3: the things is not a kind of a troll.; int3 & sent3 -> hypothesis;
the fact that the things is not a troll and it is not aquiferous is incorrect.
sent7 -> int4: that either the ovenbird is not a kind of a darner or it is a pachycephalosaur or both does not hold if it is Tasmanian.; sent10 -> int5: if the ovenbird is not consistent it is Tasmanian and it is a kind of a narcissus.;
$hypothesis$ = the dovetail is a darner. ; $context$ = sent1: something is not a troll if the fact that it does not celebrate and does not freckle massage does not hold. sent2: if the things is not Tasmanian the fact that it does not celebrate and does not freckle massage is not correct. sent3: the dovetail is a darner if the things is not a troll. sent4: the things is not Tasmanian. sent5: that the things does not celebrate but it does freckle massage does not hold. sent6: something that does freckle massage is not a troll. sent7: that something is not a kind of a darner and/or is a kind of a pachycephalosaur does not hold if it is Tasmanian. sent8: if the nubbin is not a kind of a sauce and it is not a chasuble then the ovenbird is not consistent. sent9: the nubbin is not a kind of a sauce. sent10: something is Tasmanian and it is a kind of a narcissus if it is not consistent. sent11: the dovetail is not a darner if that the ovenbird is either not a darner or a pachycephalosaur or both is not correct. sent12: the nubbin is not a chasuble if that it is not an appearance and it does not organize colonnaded is false. ; $proof$ = 
sent1 -> int1: the things is not a troll if the fact that it does not celebrate and does not freckle massage is not correct.; sent2 & sent4 -> int2: the fact that the things does not celebrate and it does not freckle massage is false.; int1 & int2 -> int3: the things is not a kind of a troll.; int3 & sent3 -> hypothesis; __PROVED__