that if the trojan is a bilge the dideoxycytosine is a kind of a mackerel is wrong.
sent1: something is not a bilge if the fact that it is a strife that is salty is not right. sent2: if that something does not counterplot and does not lap trojan is false then it is an addicted. sent3: if something does die that the trojan is a strife and it is salty is wrong. sent4: the dideoxycytosine is a mackerel if the moonshell addicts. sent5: that the moonshell does not counterplot and does not lap trojan does not hold if the eccentric is not a kind of a dying.
void -> assump1: Let's assume that the eccentric does die.; assump1 -> int1: there is something such that it is a kind of a dying.; int1 & sent3 -> int2: that the trojan is a strife and is salty does not hold.; sent1 -> int3: if the fact that the trojan is a kind of a strife that is salty does not hold it is not a bilge.; int2 & int3 -> int4: the trojan is not a kind of a bilge.; void -> assump2: Let's assume that the trojan is a bilge.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the eccentric does not die.; int6 & sent5 -> int7: the fact that the moonshell does not counterplot and does not lap trojan is not correct.; sent2 -> int8: the moonshell is an addicted if that it does not counterplot and does not lap trojan does not hold.; int7 & int8 -> int9: the moonshell is a kind of an addicted.; int9 & sent4 -> int10: the dideoxycytosine is a kind of a mackerel.; [assump2] & int10 -> hypothesis;
$hypothesis$ = that if the trojan is a bilge the dideoxycytosine is a kind of a mackerel is wrong. ; $context$ = sent1: something is not a bilge if the fact that it is a strife that is salty is not right. sent2: if that something does not counterplot and does not lap trojan is false then it is an addicted. sent3: if something does die that the trojan is a strife and it is salty is wrong. sent4: the dideoxycytosine is a mackerel if the moonshell addicts. sent5: that the moonshell does not counterplot and does not lap trojan does not hold if the eccentric is not a kind of a dying. ; $proof$ = 
void -> assump1: Let's assume that the eccentric does die.; assump1 -> int1: there is something such that it is a kind of a dying.; int1 & sent3 -> int2: that the trojan is a strife and is salty does not hold.; sent1 -> int3: if the fact that the trojan is a kind of a strife that is salty does not hold it is not a bilge.; int2 & int3 -> int4: the trojan is not a kind of a bilge.; void -> assump2: Let's assume that the trojan is a bilge.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the eccentric does not die.; int6 & sent5 -> int7: the fact that the moonshell does not counterplot and does not lap trojan is not correct.; sent2 -> int8: the moonshell is an addicted if that it does not counterplot and does not lap trojan does not hold.; int7 & int8 -> int9: the moonshell is a kind of an addicted.; int9 & sent4 -> int10: the dideoxycytosine is a kind of a mackerel.; [assump2] & int10 -> hypothesis; __DISPROVED__