the yanquapin is not uncongenial if the Scot accommodates anklet.
sent1: if the fact that the Scot accommodates anklet hold it is either up or landed or both. sent2: if the yanquapin is landless the Scot accommodates anklet. sent3: the Scot is congenial. sent4: the yanquapin is landless if the Scot is congenial. sent5: the yanquapin ups and/or it is not congenial. sent6: if the Scot is up the yanquapin is congenial.
void -> assump1: Let's assume that the Scot does accommodate anklet.; sent1 & assump1 -> int1: the Scot ups or it is not landless or both.;
$hypothesis$ = the yanquapin is not uncongenial if the Scot accommodates anklet. ; $context$ = sent1: if the fact that the Scot accommodates anklet hold it is either up or landed or both. sent2: if the yanquapin is landless the Scot accommodates anklet. sent3: the Scot is congenial. sent4: the yanquapin is landless if the Scot is congenial. sent5: the yanquapin ups and/or it is not congenial. sent6: if the Scot is up the yanquapin is congenial. ; $proof$ = 
void -> assump1: Let's assume that the Scot does accommodate anklet.; sent1 & assump1 -> int1: the Scot ups or it is not landless or both.; __UNKNOWN__