the fact that there is something such that if it is artificial then it does premise Dacrycarpus is not true.
sent1: the bloodworm premises Dacrycarpus if it is not pervious. sent2: the fact that the fact that the bloodworm is not correct and is a tongueflower is not wrong does not hold. sent3: if the bloodworm is artificial it is Napoleonic. sent4: the fact that something does not obey Albion but it is radioactive is false if it is armless. sent5: the bloodworm does premise metal. sent6: if that something is not a kind of a tongueflower but it is pervious is not true then it premises Dacrycarpus. sent7: the metal grills if that it is not a tongueflower and it is pyloric is not true. sent8: something premises Dacrycarpus if it is not pervious. sent9: if the escapologist premises Agamidae then that it is not a tongueflower and clangors corral is false. sent10: that something is not a tongueflower but it is pervious is not true if it is artificial. sent11: the bloodworm is a kind of a Identikit. sent12: there is something such that if it does retouch Arhus it is an opening. sent13: the corral is a telefilm if it does premise brave. sent14: if the bloodworm is a unusualness then that it is a kind of non-Slovenian a rub is false.
sent10 -> int1: that the bloodworm is not a tongueflower but it is pervious is not right if it is not non-artificial.; void -> assump1: Let's assume that the bloodworm is artificial.; int1 & assump1 -> int2: the fact that the bloodworm is not a tongueflower and is pervious is not true.; sent6 -> int3: the bloodworm does premise Dacrycarpus if that it is not a tongueflower and it is pervious is not true.; int2 & int3 -> int4: the bloodworm premises Dacrycarpus.; [assump1] & int4 -> int5: if the bloodworm is artificial then it does premise Dacrycarpus.; int5 -> hypothesis;
$hypothesis$ = the fact that there is something such that if it is artificial then it does premise Dacrycarpus is not true. ; $context$ = sent1: the bloodworm premises Dacrycarpus if it is not pervious. sent2: the fact that the fact that the bloodworm is not correct and is a tongueflower is not wrong does not hold. sent3: if the bloodworm is artificial it is Napoleonic. sent4: the fact that something does not obey Albion but it is radioactive is false if it is armless. sent5: the bloodworm does premise metal. sent6: if that something is not a kind of a tongueflower but it is pervious is not true then it premises Dacrycarpus. sent7: the metal grills if that it is not a tongueflower and it is pyloric is not true. sent8: something premises Dacrycarpus if it is not pervious. sent9: if the escapologist premises Agamidae then that it is not a tongueflower and clangors corral is false. sent10: that something is not a tongueflower but it is pervious is not true if it is artificial. sent11: the bloodworm is a kind of a Identikit. sent12: there is something such that if it does retouch Arhus it is an opening. sent13: the corral is a telefilm if it does premise brave. sent14: if the bloodworm is a unusualness then that it is a kind of non-Slovenian a rub is false. ; $proof$ = 
sent10 -> int1: that the bloodworm is not a tongueflower but it is pervious is not right if it is not non-artificial.; void -> assump1: Let's assume that the bloodworm is artificial.; int1 & assump1 -> int2: the fact that the bloodworm is not a tongueflower and is pervious is not true.; sent6 -> int3: the bloodworm does premise Dacrycarpus if that it is not a tongueflower and it is pervious is not true.; int2 & int3 -> int4: the bloodworm premises Dacrycarpus.; [assump1] & int4 -> int5: if the bloodworm is artificial then it does premise Dacrycarpus.; int5 -> hypothesis; __DISPROVED__