if the nightingale is a makeready then the architect premeditates Arizona but it is not a kind of a modeling.
sent1: the architect premeditates Arizona and is not a kind of a makeready. sent2: if the architect premeditates Arizona but it does not model the nightingale is not a kind of a makeready. sent3: the architect premeditates Arizona and it is a modeling.
void -> assump1: Let's assume that that the architect premeditates Arizona and does not model is not correct.;
$hypothesis$ = if the nightingale is a makeready then the architect premeditates Arizona but it is not a kind of a modeling. ; $context$ = sent1: the architect premeditates Arizona and is not a kind of a makeready. sent2: if the architect premeditates Arizona but it does not model the nightingale is not a kind of a makeready. sent3: the architect premeditates Arizona and it is a modeling. ; $proof$ = 
void -> assump1: Let's assume that that the architect premeditates Arizona and does not model is not correct.; __UNKNOWN__