the stoop is a kind of a Bohr and it does dwarf Atrichornithidae.
sent1: the alkyl is not a kind of a waterway. sent2: the snapshot is freelance. sent3: if something is not a stainability and it is not a waterway then it is a Bohr. sent4: the amorist is not a kind of a waterway and it does not subside beating. sent5: if something is freelance then the discard does subside mated. sent6: the discard is not a kind of a waterway if the fact that that the stoop is not a waterway and does not guard decalescence is not wrong is false. sent7: that the amorist does subside beating is not false if the alkyl does not idealize Orycteropus and is an unpopularity. sent8: the discard either is not a kind of a stainability or is not carroty or both if it does subside mated. sent9: the stoop is a Bohr and it does dwarf Atrichornithidae if the discard does not dwarf Atrichornithidae. sent10: the alkyl does dwarf Atrichornithidae and it does subside beating if there exists something such that it is a kind of a Bohr. sent11: that the stoop is not a waterway and it does not guard decalescence is not right. sent12: if there is something such that it dwarfs Atrichornithidae the amorist does not guard Leningrad and is not a kind of a disharmony. sent13: something is not a stainability if it is not a stainability or is not carroty or both. sent14: if there exists something such that that it does not idealize Orycteropus and is an unpopularity is not true the discard does not dwarf Atrichornithidae.
void -> assump1: Let's assume that the alkyl does not idealize Orycteropus but it is an unpopularity.; sent7 & assump1 -> int1: the amorist does subside beating.; sent4 -> int2: the amorist does not subside beating.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the alkyl does not idealize Orycteropus and is an unpopularity is false.; int4 -> int5: there exists something such that the fact that it does not idealize Orycteropus and it is an unpopularity is false.; int5 & sent14 -> int6: the discard does not dwarf Atrichornithidae.; int6 & sent9 -> hypothesis;
the amorist does not guard Leningrad and it is not a disharmony.
sent3 -> int7: if the discard is both not a stainability and not a waterway then it is a Bohr.; sent13 -> int8: if the discard is not a stainability or it is not carroty or both then it is not a stainability.; sent2 -> int9: there is something such that it freelances.; int9 & sent5 -> int10: the discard subsides mated.; sent8 & int10 -> int11: the discard is not a stainability or it is non-carroty or both.; int8 & int11 -> int12: the discard is not a stainability.; sent6 & sent11 -> int13: the discard is not a kind of a waterway.; int12 & int13 -> int14: the discard is not a kind of a stainability and is not a waterway.; int7 & int14 -> int15: the discard is a kind of a Bohr.; int15 -> int16: something is a kind of a Bohr.; int16 & sent10 -> int17: the alkyl does dwarf Atrichornithidae and it does subside beating.; int17 -> int18: the alkyl does dwarf Atrichornithidae.; int18 -> int19: something does dwarf Atrichornithidae.; int19 & sent12 -> hypothesis;
$hypothesis$ = the stoop is a kind of a Bohr and it does dwarf Atrichornithidae. ; $context$ = sent1: the alkyl is not a kind of a waterway. sent2: the snapshot is freelance. sent3: if something is not a stainability and it is not a waterway then it is a Bohr. sent4: the amorist is not a kind of a waterway and it does not subside beating. sent5: if something is freelance then the discard does subside mated. sent6: the discard is not a kind of a waterway if the fact that that the stoop is not a waterway and does not guard decalescence is not wrong is false. sent7: that the amorist does subside beating is not false if the alkyl does not idealize Orycteropus and is an unpopularity. sent8: the discard either is not a kind of a stainability or is not carroty or both if it does subside mated. sent9: the stoop is a Bohr and it does dwarf Atrichornithidae if the discard does not dwarf Atrichornithidae. sent10: the alkyl does dwarf Atrichornithidae and it does subside beating if there exists something such that it is a kind of a Bohr. sent11: that the stoop is not a waterway and it does not guard decalescence is not right. sent12: if there is something such that it dwarfs Atrichornithidae the amorist does not guard Leningrad and is not a kind of a disharmony. sent13: something is not a stainability if it is not a stainability or is not carroty or both. sent14: if there exists something such that that it does not idealize Orycteropus and is an unpopularity is not true the discard does not dwarf Atrichornithidae. ; $proof$ = 
void -> assump1: Let's assume that the alkyl does not idealize Orycteropus but it is an unpopularity.; sent7 & assump1 -> int1: the amorist does subside beating.; sent4 -> int2: the amorist does not subside beating.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the alkyl does not idealize Orycteropus and is an unpopularity is false.; int4 -> int5: there exists something such that the fact that it does not idealize Orycteropus and it is an unpopularity is false.; int5 & sent14 -> int6: the discard does not dwarf Atrichornithidae.; int6 & sent9 -> hypothesis; __PROVED__