the megasporophyll is a furan and it is a kind of a sari.
sent1: if the Colossian is not a kind of a Circassian then it does clue glissade and is not a funicular. sent2: that the megasporophyll is a sari is not false if the Colossian does clue glissade. sent3: something that does mist is non-empyreal or not non-caprine or both. sent4: the megasporophyll is a kind of a furan. sent5: if that something is not empyreal is correct that it is a furan and a sari is false. sent6: if something is either not empyreal or caprine or both it is not empyreal. sent7: the Colossian does not mist. sent8: if the Colossian is caprine that it mists is not false. sent9: that the Colossian is not a kind of a mist but it is a kind of a consul does not hold. sent10: the Colossian is odd but it is not a furan. sent11: if the fact that the Colossian is non-empyreal but it is caprine is incorrect then it is not a Circassian.
void -> assump1: Let's assume that the Colossian is not empyreal but caprine.; assump1 -> int1: the Colossian is caprine.; int1 & sent8 -> int2: the Colossian is a kind of a mist.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Colossian is not empyreal but it is caprine is not right.; int4 & sent11 -> int5: the fact that the Colossian is not a Circassian hold.; int5 & sent1 -> int6: the Colossian clues glissade and is not a funicular.; int6 -> int7: the Colossian clues glissade.; int7 & sent2 -> int8: the megasporophyll is a sari.; int8 & sent4 -> hypothesis;
that the megasporophyll is a furan and it is a kind of a sari does not hold.
sent5 -> int9: that the megasporophyll is a furan and it is a sari is not right if it is not empyreal.; sent6 -> int10: if the megasporophyll is not empyreal or it is caprine or both then it is not empyreal.; sent3 -> int11: if the fact that the megasporophyll is a kind of a mist is not incorrect then it is not empyreal and/or is caprine.;
$hypothesis$ = the megasporophyll is a furan and it is a kind of a sari. ; $context$ = sent1: if the Colossian is not a kind of a Circassian then it does clue glissade and is not a funicular. sent2: that the megasporophyll is a sari is not false if the Colossian does clue glissade. sent3: something that does mist is non-empyreal or not non-caprine or both. sent4: the megasporophyll is a kind of a furan. sent5: if that something is not empyreal is correct that it is a furan and a sari is false. sent6: if something is either not empyreal or caprine or both it is not empyreal. sent7: the Colossian does not mist. sent8: if the Colossian is caprine that it mists is not false. sent9: that the Colossian is not a kind of a mist but it is a kind of a consul does not hold. sent10: the Colossian is odd but it is not a furan. sent11: if the fact that the Colossian is non-empyreal but it is caprine is incorrect then it is not a Circassian. ; $proof$ = 
void -> assump1: Let's assume that the Colossian is not empyreal but caprine.; assump1 -> int1: the Colossian is caprine.; int1 & sent8 -> int2: the Colossian is a kind of a mist.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Colossian is not empyreal but it is caprine is not right.; int4 & sent11 -> int5: the fact that the Colossian is not a Circassian hold.; int5 & sent1 -> int6: the Colossian clues glissade and is not a funicular.; int6 -> int7: the Colossian clues glissade.; int7 & sent2 -> int8: the megasporophyll is a sari.; int8 & sent4 -> hypothesis; __PROVED__