the yardarm does not radio Centaurus.
sent1: the fact that if the fact that the habit is prosthetics and it is a Garland is not true then the yardarm does not radio Centaurus is right. sent2: the histologist is not a cladode. sent3: if the fact that the histologist is a cladode is not incorrect then the habit is not a supplication. sent4: the histologist is not a supplication. sent5: the fact that the habit is prosthetics thing that is a Garland is not right if the hexane is not a Garland.
void -> assump1: Let's assume that the histologist is both not a supplication and a cladode.; assump1 -> int1: the histologist is a cladode.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the histologist is not a supplication and is a cladode does not hold.;
$hypothesis$ = the yardarm does not radio Centaurus. ; $context$ = sent1: the fact that if the fact that the habit is prosthetics and it is a Garland is not true then the yardarm does not radio Centaurus is right. sent2: the histologist is not a cladode. sent3: if the fact that the histologist is a cladode is not incorrect then the habit is not a supplication. sent4: the histologist is not a supplication. sent5: the fact that the habit is prosthetics thing that is a Garland is not right if the hexane is not a Garland. ; $proof$ = 
void -> assump1: Let's assume that the histologist is both not a supplication and a cladode.; assump1 -> int1: the histologist is a cladode.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the histologist is not a supplication and is a cladode does not hold.; __UNKNOWN__