the colored is a kind of an incidental and/or does devote.
sent1: there is something such that the fact that it is a zany and it is a kind of an incidental is not true. sent2: if something is a kind of a zany the ichthyosaurus is not a birdnest. sent3: The Savoyard does not gutter heartthrob. sent4: the ichthyosaurus does not birdnest if that there is something such that the fact that it is not a kind of a zany and it is incidental is not true is correct. sent5: something is not a zany but it is an incidental. sent6: the colored is not a zany. sent7: the heartthrob does not gutter Savoyard. sent8: the ichthyosaurus is a birdnest if the heartthrob does not gutter Savoyard. sent9: that the colored is both a zany and not non-incidental is not correct.
void -> assump1: Let's assume that the fact that the colored is not a zany and is a kind of an incidental is incorrect.; assump1 -> int1: there is something such that the fact that it is not a zany but incidental is not right.; int1 & sent4 -> int2: the ichthyosaurus does not birdnest.; sent8 & sent7 -> int3: the ichthyosaurus does birdnest.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the colored is not a kind of a zany but it is an incidental.; int5 -> int6: the fact that the colored is a kind of an incidental hold.; int6 -> hypothesis;
$hypothesis$ = the colored is a kind of an incidental and/or does devote. ; $context$ = sent1: there is something such that the fact that it is a zany and it is a kind of an incidental is not true. sent2: if something is a kind of a zany the ichthyosaurus is not a birdnest. sent3: The Savoyard does not gutter heartthrob. sent4: the ichthyosaurus does not birdnest if that there is something such that the fact that it is not a kind of a zany and it is incidental is not true is correct. sent5: something is not a zany but it is an incidental. sent6: the colored is not a zany. sent7: the heartthrob does not gutter Savoyard. sent8: the ichthyosaurus is a birdnest if the heartthrob does not gutter Savoyard. sent9: that the colored is both a zany and not non-incidental is not correct. ; $proof$ = 
void -> assump1: Let's assume that the fact that the colored is not a zany and is a kind of an incidental is incorrect.; assump1 -> int1: there is something such that the fact that it is not a zany but incidental is not right.; int1 & sent4 -> int2: the ichthyosaurus does not birdnest.; sent8 & sent7 -> int3: the ichthyosaurus does birdnest.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the colored is not a kind of a zany but it is an incidental.; int5 -> int6: the fact that the colored is a kind of an incidental hold.; int6 -> hypothesis; __PROVED__