the State is not a raven.
sent1: if the gathering intensifies FCC then the State is a kind of a raven. sent2: the crab is a Kurdish and it is a Daucus. sent3: if the crab is immunosuppressive then that the gadgeteer is not immunosuppressive and/or is not ducal is incorrect. sent4: if the crab is not immunosuppressive it is not a Kurdish. sent5: the gathering does intensify FCC if there is something such that the fact that either it is not immunosuppressive or it is not ducal or both is not right.
void -> assump1: Let's assume that the crab is not immunosuppressive.; sent4 & assump1 -> int1: the crab is not a Kurdish.; sent2 -> int2: the crab is not non-Kurdish.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the crab is immunosuppressive.; int4 & sent3 -> int5: the fact that the gadgeteer is not immunosuppressive or it is not ducal or both is not true.; int5 -> int6: there exists something such that that it is not immunosuppressive or it is not ducal or both is incorrect.; int6 & sent5 -> int7: the gathering does intensify FCC.; int7 & sent1 -> hypothesis;
$hypothesis$ = the State is not a raven. ; $context$ = sent1: if the gathering intensifies FCC then the State is a kind of a raven. sent2: the crab is a Kurdish and it is a Daucus. sent3: if the crab is immunosuppressive then that the gadgeteer is not immunosuppressive and/or is not ducal is incorrect. sent4: if the crab is not immunosuppressive it is not a Kurdish. sent5: the gathering does intensify FCC if there is something such that the fact that either it is not immunosuppressive or it is not ducal or both is not right. ; $proof$ = 
void -> assump1: Let's assume that the crab is not immunosuppressive.; sent4 & assump1 -> int1: the crab is not a Kurdish.; sent2 -> int2: the crab is not non-Kurdish.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the crab is immunosuppressive.; int4 & sent3 -> int5: the fact that the gadgeteer is not immunosuppressive or it is not ducal or both is not true.; int5 -> int6: there exists something such that that it is not immunosuppressive or it is not ducal or both is incorrect.; int6 & sent5 -> int7: the gathering does intensify FCC.; int7 & sent1 -> hypothesis; __DISPROVED__