the lungfish is non-carbonyl thing that does not circularize tamarack if the cyberart is not broadband.
sent1: the cyberart does circularize tamarack. sent2: the cyberart is broadband if it is a carbonyl. sent3: the lungfish is not carbonyl and does circularize tamarack. sent4: the lungfish is not broadband and is not carbonyl if the cyberart does circularize tamarack. sent5: that the lungfish is not a carbonyl and it does not circularize tamarack hold if the cyberart is not a carbonyl.
void -> assump1: Let's assume that the cyberart is a kind of a carbonyl.; sent2 & assump1 -> int1: the cyberart is broadband.; void -> assump2: Let's assume that the cyberart is not broadband.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the cyberart is not a kind of a carbonyl is correct.; sent5 & int3 -> int4: the lungfish is not carbonyl and it does not circularize tamarack.; [assump2] & int4 -> hypothesis;
$hypothesis$ = the lungfish is non-carbonyl thing that does not circularize tamarack if the cyberart is not broadband. ; $context$ = sent1: the cyberart does circularize tamarack. sent2: the cyberart is broadband if it is a carbonyl. sent3: the lungfish is not carbonyl and does circularize tamarack. sent4: the lungfish is not broadband and is not carbonyl if the cyberart does circularize tamarack. sent5: that the lungfish is not a carbonyl and it does not circularize tamarack hold if the cyberart is not a carbonyl. ; $proof$ = 
void -> assump1: Let's assume that the cyberart is a kind of a carbonyl.; sent2 & assump1 -> int1: the cyberart is broadband.; void -> assump2: Let's assume that the cyberart is not broadband.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the cyberart is not a kind of a carbonyl is correct.; sent5 & int3 -> int4: the lungfish is not carbonyl and it does not circularize tamarack.; [assump2] & int4 -> hypothesis; __PROVED__