the articulation is an outfitted.
sent1: if the leotard is Aleutian it elongates. sent2: the keyhole is not a kind of a commitment if that the reproduction is cryptobiotic or it elongates or both is not true. sent3: if something does not build Congolese and/or it is not a commitment it does braid leotard. sent4: the keyhole elongates. sent5: that the reproduction is not cryptobiotic or elongates or both does not hold if the leotard elongates. sent6: if the excavator braids leotard the articulation is irresolute. sent7: the wattmeter is not a kind of a Spallanzani. sent8: if the fact that that the reproduction is not cryptobiotic and/or it elongates is correct is not right the keyhole is not a kind of a commitment. sent9: the excavator does not build Congolese and/or it is not a kind of a commitment if the keyhole is not a commitment. sent10: that the leotard elongates is not false if the fact that it is not Aleutian and it is not untruthful is not correct. sent11: if the wattmeter is not a Spallanzani then the articulation builds scheme and it peals. sent12: something is not a kind of an outfitted if it builds scheme and it is irresolute. sent13: if the excavator does not build Congolese then the fact that it does braid leotard hold. sent14: that the leotard is not Aleutian and is not untruthful is wrong. sent15: if the fact that something is cryptobiotic but not an outfitted is not true it is an outfitted.
sent10 & sent14 -> int1: the leotard does elongate.; int1 & sent5 -> int2: that the reproduction is not cryptobiotic or it elongates or both is false.; int2 & sent8 -> int3: the keyhole is not a commitment.; int3 & sent9 -> int4: the excavator does not build Congolese and/or it is not a commitment.; sent3 -> int5: if the excavator does not build Congolese or is not a commitment or both then it braids leotard.; int4 & int5 -> int6: that the excavator does not braid leotard is not right.; int6 & sent6 -> int7: the articulation is irresolute.; sent11 & sent7 -> int8: the articulation builds scheme and peals.; int8 -> int9: the articulation does build scheme.; int7 & int9 -> int10: the articulation builds scheme and it is irresolute.; sent12 -> int11: the articulation is not a kind of an outfitted if it builds scheme and is irresolute.; int10 & int11 -> hypothesis;
the articulation is an outfitted.
sent15 -> int12: if the fact that the articulation is both cryptobiotic and not an outfitted is not right then it is an outfitted.;
$hypothesis$ = the articulation is an outfitted. ; $context$ = sent1: if the leotard is Aleutian it elongates. sent2: the keyhole is not a kind of a commitment if that the reproduction is cryptobiotic or it elongates or both is not true. sent3: if something does not build Congolese and/or it is not a commitment it does braid leotard. sent4: the keyhole elongates. sent5: that the reproduction is not cryptobiotic or elongates or both does not hold if the leotard elongates. sent6: if the excavator braids leotard the articulation is irresolute. sent7: the wattmeter is not a kind of a Spallanzani. sent8: if the fact that that the reproduction is not cryptobiotic and/or it elongates is correct is not right the keyhole is not a kind of a commitment. sent9: the excavator does not build Congolese and/or it is not a kind of a commitment if the keyhole is not a commitment. sent10: that the leotard elongates is not false if the fact that it is not Aleutian and it is not untruthful is not correct. sent11: if the wattmeter is not a Spallanzani then the articulation builds scheme and it peals. sent12: something is not a kind of an outfitted if it builds scheme and it is irresolute. sent13: if the excavator does not build Congolese then the fact that it does braid leotard hold. sent14: that the leotard is not Aleutian and is not untruthful is wrong. sent15: if the fact that something is cryptobiotic but not an outfitted is not true it is an outfitted. ; $proof$ = 
sent10 & sent14 -> int1: the leotard does elongate.; int1 & sent5 -> int2: that the reproduction is not cryptobiotic or it elongates or both is false.; int2 & sent8 -> int3: the keyhole is not a commitment.; int3 & sent9 -> int4: the excavator does not build Congolese and/or it is not a commitment.; sent3 -> int5: if the excavator does not build Congolese or is not a commitment or both then it braids leotard.; int4 & int5 -> int6: that the excavator does not braid leotard is not right.; int6 & sent6 -> int7: the articulation is irresolute.; sent11 & sent7 -> int8: the articulation builds scheme and peals.; int8 -> int9: the articulation does build scheme.; int7 & int9 -> int10: the articulation builds scheme and it is irresolute.; sent12 -> int11: the articulation is not a kind of an outfitted if it builds scheme and is irresolute.; int10 & int11 -> hypothesis; __DISPROVED__