the colon is electromagnetic.
sent1: something is electromagnetic if it is a tramline. sent2: if something instructs Wisdom it is a kind of a tramline. sent3: the colon does instruct Wisdom if a non-Eurocentric thing is not an eye. sent4: the fact that something does not instruct Wisdom and is not a tramline if that it is not isotopic hold hold. sent5: the nonconformist does instruct elaphure if it is a handbow. sent6: something is non-isotopic if the fact that it is non-isotopic and an isolationist is not correct. sent7: there exists something such that the fact that it is not a Dipodidae hold. sent8: the nonconformist is not Eurocentric. sent9: the nonconformist is not Eurocentric and it is not an eye. sent10: there exists something such that it does not enlist and does not ramble downspin. sent11: something does commiserate perfume if it is a kind of a Czech. sent12: something is a hawk but it is not penitent. sent13: the fact that something does covet is true if it is caprine. sent14: the fact that the elaphure is Eurocentric is correct. sent15: the nonconformist is not electromagnetic.
sent9 -> int1: something is not Eurocentric and not an eye.; int1 & sent3 -> int2: the colon does instruct Wisdom.; sent2 -> int3: the fact that the colon is a kind of a tramline is not incorrect if it does instruct Wisdom.; int2 & int3 -> int4: the colon is a tramline.; sent1 -> int5: if the colon is a tramline then it is electromagnetic.; int4 & int5 -> hypothesis;
the fact that the colon is not electromagnetic is not wrong.
sent4 -> int6: the Rheum does not instruct Wisdom and it is not a tramline if it is not isotopic.; sent6 -> int7: if the fact that the Rheum is a kind of isotopic an isolationist is not true then it is not isotopic.;
$hypothesis$ = the colon is electromagnetic. ; $context$ = sent1: something is electromagnetic if it is a tramline. sent2: if something instructs Wisdom it is a kind of a tramline. sent3: the colon does instruct Wisdom if a non-Eurocentric thing is not an eye. sent4: the fact that something does not instruct Wisdom and is not a tramline if that it is not isotopic hold hold. sent5: the nonconformist does instruct elaphure if it is a handbow. sent6: something is non-isotopic if the fact that it is non-isotopic and an isolationist is not correct. sent7: there exists something such that the fact that it is not a Dipodidae hold. sent8: the nonconformist is not Eurocentric. sent9: the nonconformist is not Eurocentric and it is not an eye. sent10: there exists something such that it does not enlist and does not ramble downspin. sent11: something does commiserate perfume if it is a kind of a Czech. sent12: something is a hawk but it is not penitent. sent13: the fact that something does covet is true if it is caprine. sent14: the fact that the elaphure is Eurocentric is correct. sent15: the nonconformist is not electromagnetic. ; $proof$ = 
sent9 -> int1: something is not Eurocentric and not an eye.; int1 & sent3 -> int2: the colon does instruct Wisdom.; sent2 -> int3: the fact that the colon is a kind of a tramline is not incorrect if it does instruct Wisdom.; int2 & int3 -> int4: the colon is a tramline.; sent1 -> int5: if the colon is a tramline then it is electromagnetic.; int4 & int5 -> hypothesis; __PROVED__