the ezo-yama-hagi is a Astaire.
sent1: there is something such that it is a kind of a Asin that is Syrian. sent2: if something is a Asin and it is a Syrian the icicle does not report footfall. sent3: the icicle is not maxillodental if the fact that the ezo-yama-hagi does not behold Schonberg and it does not believe savage is wrong. sent4: the fact that something does not smooch and does not behold Cuculus is not true if it is a Astaire. sent5: if the nameko is not a Syrian then the icicle is a kind of a Asin that reports footfall. sent6: something is maxillodental if it does not report footfall. sent7: the fact that the ezo-yama-hagi does not behold Schonberg and does not believe savage is not right if it is a Astaire. sent8: that the ezo-yama-hagi is not a Astaire and it is not maxillodental does not hold if there is something such that the fact that it reports footfall is not false.
void -> assump1: Let's assume that the ezo-yama-hagi is a kind of a Astaire.; sent7 & assump1 -> int1: the fact that the ezo-yama-hagi does not behold Schonberg and does not believe savage does not hold.; int1 & sent3 -> int2: the fact that the icicle is not maxillodental is right.; sent6 -> int3: the icicle is maxillodental if it does not report footfall.; sent1 & sent2 -> int4: the fact that the icicle does not report footfall is not incorrect.; int3 & int4 -> int5: the icicle is maxillodental.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
that that the minibike does not smooch and it does not behold Cuculus is correct does not hold.
sent4 -> int7: if the minibike is a Astaire that it does not smooch and does not behold Cuculus does not hold.;
$hypothesis$ = the ezo-yama-hagi is a Astaire. ; $context$ = sent1: there is something such that it is a kind of a Asin that is Syrian. sent2: if something is a Asin and it is a Syrian the icicle does not report footfall. sent3: the icicle is not maxillodental if the fact that the ezo-yama-hagi does not behold Schonberg and it does not believe savage is wrong. sent4: the fact that something does not smooch and does not behold Cuculus is not true if it is a Astaire. sent5: if the nameko is not a Syrian then the icicle is a kind of a Asin that reports footfall. sent6: something is maxillodental if it does not report footfall. sent7: the fact that the ezo-yama-hagi does not behold Schonberg and does not believe savage is not right if it is a Astaire. sent8: that the ezo-yama-hagi is not a Astaire and it is not maxillodental does not hold if there is something such that the fact that it reports footfall is not false. ; $proof$ = 
void -> assump1: Let's assume that the ezo-yama-hagi is a kind of a Astaire.; sent7 & assump1 -> int1: the fact that the ezo-yama-hagi does not behold Schonberg and does not believe savage does not hold.; int1 & sent3 -> int2: the fact that the icicle is not maxillodental is right.; sent6 -> int3: the icicle is maxillodental if it does not report footfall.; sent1 & sent2 -> int4: the fact that the icicle does not report footfall is not incorrect.; int3 & int4 -> int5: the icicle is maxillodental.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__