the theodolite is not a kind of a Gordius.
sent1: the theodolite does not uphold flax. sent2: the fact that the theodolite does repot LH and is Quechuan is false. sent3: if the etagere repots idolater then it is a kind of a one-and-one. sent4: The LH does not repot theodolite. sent5: if something is a kind of a fuss it is a one-and-one. sent6: if the theodolite is a Gordius then it is operatic. sent7: the muscadine is a precordium but it is not a Eris. sent8: the outerwear does not squish infantilism. sent9: something is not a hinge and not unargumentative if it is a kind of a one-and-one. sent10: the provider is not Quechuan. sent11: if the etagere does not hinge but it squishes infantilism the utricle is Quechuan. sent12: the theodolite squishes infantilism if it is Quechuan. sent13: the etagere squishes infantilism if the fact that it does not squishes infantilism and it is not a beneficed is false. sent14: if something is a microphone it is a macrocephaly. sent15: if something is Quechuan then it does squish infantilism. sent16: something does grizzle if it is nonprehensile. sent17: the sorgo is Quechuan. sent18: the etagere repots idolater and/or fusses. sent19: the theodolite is not Quechuan. sent20: the theodolite is a kind of a decarboxylase. sent21: the Methodist does not repot LH. sent22: the theodolite does not repot LH. sent23: something that does squish infantilism is a Gordius. sent24: if the fact that something repots LH and is not Quechuan does not hold it does squish infantilism.
void -> assump1: Let's assume that the theodolite repots LH and is not Quechuan.; assump1 -> int1: the theodolite repots LH.; int1 & sent22 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the theodolite repots LH but it is not Quechuan is false.; sent24 -> int4: the theodolite does squish infantilism if the fact that it does repot LH and it is not Quechuan is not true.; int3 & int4 -> int5: the theodolite does squish infantilism.; sent23 -> int6: if the theodolite squishes infantilism then it is a kind of a Gordius.; int5 & int6 -> hypothesis;
the theodolite is not a Gordius.
sent9 -> int7: if the etagere is a kind of a one-and-one then it is not a kind of a hinge and it is not unargumentative.; sent5 -> int8: the etagere is a one-and-one if it fusses.; sent18 & sent3 & int8 -> int9: the etagere is a one-and-one.; int7 & int9 -> int10: the etagere is not a hinge and it is not unargumentative.; int10 -> int11: the etagere is not a hinge.;
$hypothesis$ = the theodolite is not a kind of a Gordius. ; $context$ = sent1: the theodolite does not uphold flax. sent2: the fact that the theodolite does repot LH and is Quechuan is false. sent3: if the etagere repots idolater then it is a kind of a one-and-one. sent4: The LH does not repot theodolite. sent5: if something is a kind of a fuss it is a one-and-one. sent6: if the theodolite is a Gordius then it is operatic. sent7: the muscadine is a precordium but it is not a Eris. sent8: the outerwear does not squish infantilism. sent9: something is not a hinge and not unargumentative if it is a kind of a one-and-one. sent10: the provider is not Quechuan. sent11: if the etagere does not hinge but it squishes infantilism the utricle is Quechuan. sent12: the theodolite squishes infantilism if it is Quechuan. sent13: the etagere squishes infantilism if the fact that it does not squishes infantilism and it is not a beneficed is false. sent14: if something is a microphone it is a macrocephaly. sent15: if something is Quechuan then it does squish infantilism. sent16: something does grizzle if it is nonprehensile. sent17: the sorgo is Quechuan. sent18: the etagere repots idolater and/or fusses. sent19: the theodolite is not Quechuan. sent20: the theodolite is a kind of a decarboxylase. sent21: the Methodist does not repot LH. sent22: the theodolite does not repot LH. sent23: something that does squish infantilism is a Gordius. sent24: if the fact that something repots LH and is not Quechuan does not hold it does squish infantilism. ; $proof$ = 
void -> assump1: Let's assume that the theodolite repots LH and is not Quechuan.; assump1 -> int1: the theodolite repots LH.; int1 & sent22 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the theodolite repots LH but it is not Quechuan is false.; sent24 -> int4: the theodolite does squish infantilism if the fact that it does repot LH and it is not Quechuan is not true.; int3 & int4 -> int5: the theodolite does squish infantilism.; sent23 -> int6: if the theodolite squishes infantilism then it is a kind of a Gordius.; int5 & int6 -> hypothesis; __DISPROVED__