the wellpoint is not neolithic.
sent1: the pectin is mutational and is hadal if the businessmen does not perplex Tianjin. sent2: the pectin is a atonicity and does congregate. sent3: if the pectin does congregate but it is not neolithic the wellpoint is not neolithic. sent4: that the pectin is hadal is true. sent5: the wellpoint is mutational. sent6: the pectin congregates. sent7: the businessmen does not perplex Tianjin. sent8: if the pectin is not atrioventricular then the wellpoint is both temperamental and neolithic. sent9: if something that is not non-atrioventricular is a atonicity it is not a expatiation. sent10: something is a kind of a expatiation if it is mutational. sent11: The Tianjin does not perplex businessmen. sent12: if something is a atonicity and it is atrioventricular then it is not neolithic.
sent2 -> int1: the fact that the pectin is a kind of a atonicity hold.; void -> assump1: Let's assume that the pectin is atrioventricular.; int1 & assump1 -> int2: the pectin is atrioventricular and it is a atonicity.; sent9 -> int3: if the pectin is atrioventricular thing that is a atonicity then that it is not a expatiation hold.; int2 & int3 -> int4: the pectin is not a expatiation.; sent10 -> int5: if the pectin is mutational the fact that it is a expatiation is not wrong.; sent1 & sent7 -> int6: the pectin is not non-mutational and it is hadal.; int6 -> int7: the pectin is mutational.; int5 & int7 -> int8: the pectin is a expatiation.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the pectin is not atrioventricular.; int10 & sent8 -> int11: the wellpoint is a kind of temperamental thing that is neolithic.; int11 -> hypothesis;
the wellpoint is not neolithic.
sent12 -> int12: if the pectin is a kind of a atonicity and is atrioventricular then it is not neolithic.;
$hypothesis$ = the wellpoint is not neolithic. ; $context$ = sent1: the pectin is mutational and is hadal if the businessmen does not perplex Tianjin. sent2: the pectin is a atonicity and does congregate. sent3: if the pectin does congregate but it is not neolithic the wellpoint is not neolithic. sent4: that the pectin is hadal is true. sent5: the wellpoint is mutational. sent6: the pectin congregates. sent7: the businessmen does not perplex Tianjin. sent8: if the pectin is not atrioventricular then the wellpoint is both temperamental and neolithic. sent9: if something that is not non-atrioventricular is a atonicity it is not a expatiation. sent10: something is a kind of a expatiation if it is mutational. sent11: The Tianjin does not perplex businessmen. sent12: if something is a atonicity and it is atrioventricular then it is not neolithic. ; $proof$ = 
sent2 -> int1: the fact that the pectin is a kind of a atonicity hold.; void -> assump1: Let's assume that the pectin is atrioventricular.; int1 & assump1 -> int2: the pectin is atrioventricular and it is a atonicity.; sent9 -> int3: if the pectin is atrioventricular thing that is a atonicity then that it is not a expatiation hold.; int2 & int3 -> int4: the pectin is not a expatiation.; sent10 -> int5: if the pectin is mutational the fact that it is a expatiation is not wrong.; sent1 & sent7 -> int6: the pectin is not non-mutational and it is hadal.; int6 -> int7: the pectin is mutational.; int5 & int7 -> int8: the pectin is a expatiation.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the pectin is not atrioventricular.; int10 & sent8 -> int11: the wellpoint is a kind of temperamental thing that is neolithic.; int11 -> hypothesis; __DISPROVED__