the bracteole is archosaurian.
sent1: that something is not a novobiocin and is not a trip is wrong if it is a kind of a diminution. sent2: if the coiffeur is aeronautical the snowboarder does trip. sent3: the pinole is a diminution that is not a mocha. sent4: the animist is insectivorous if that it is not insectivorous and is non-tender does not hold. sent5: if something is not aeronautical it is a covert and is archosaurian. sent6: if the animist is not covert then the bracteole is not archosaurian. sent7: the coiffeur is not a diminution if that the pinole is aeronautical is not false. sent8: if something does deserve Tidewater but it is not a bear then it does not outlive. sent9: if the animist is not postnuptial then the bracteole is a kind of a diminution and it is a kind of a mocha. sent10: something does deserve Tidewater but it is not a kind of a bear if it is insectivorous. sent11: the animist is not postnuptial if it does not outlive. sent12: if the fact that the animist is a kind of a trip is not false the simpleton is not aeronautical and it is not a kind of a covert. sent13: the fact that the coiffeur is a echinocactus and is not a stem-winder is not correct. sent14: if the animist is covert then that the coiffeur is not a echinocactus and is not a stem-winder does not hold. sent15: the bracteole is not a novobiocin if the coiffeur is archosaurian and/or is a stem-winder. sent16: if the fact that something is not a novobiocin and not a trip is incorrect then it is not aeronautical. sent17: the fact that the pinole is not a diminution is not wrong if either the snowboarder is a trip or it is a novobiocin or both. sent18: the coiffeur is a kind of a covert that is not a echinocactus. sent19: something is aeronautical if that it is not a echinocactus and it is not a stem-winder is not right. sent20: the disk is not archosaurian.
void -> assump1: Let's assume that the animist is a kind of a covert.; sent14 & assump1 -> int1: the fact that the coiffeur is not a echinocactus and is not a kind of a stem-winder is not correct.; sent19 -> int2: that the coiffeur is aeronautical if the fact that the coiffeur is not a kind of a echinocactus and it is not a stem-winder is not right is not false.; int1 & int2 -> int3: the coiffeur is aeronautical.; int3 & sent2 -> int4: the snowboarder trips.; int4 -> int5: the snowboarder is a kind of a trip and/or is a novobiocin.; int5 & sent17 -> int6: the pinole is not a diminution.; sent3 -> int7: the pinole is a diminution.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the animist is not a covert.; int9 & sent6 -> hypothesis;
the bracteole is archosaurian.
sent5 -> int10: if the bracteole is not aeronautical then it is a covert and it is archosaurian.; sent16 -> int11: if the fact that the bracteole is not a novobiocin and it is not a trip is wrong the fact that it is not aeronautical is not wrong.; sent1 -> int12: if the bracteole is a diminution the fact that it is not a novobiocin and does not trip is not true.; sent8 -> int13: if the animist does deserve Tidewater but it is not a bear it does not outlive.; sent10 -> int14: if the animist is insectivorous it deserves Tidewater and is not a bear.;
$hypothesis$ = the bracteole is archosaurian. ; $context$ = sent1: that something is not a novobiocin and is not a trip is wrong if it is a kind of a diminution. sent2: if the coiffeur is aeronautical the snowboarder does trip. sent3: the pinole is a diminution that is not a mocha. sent4: the animist is insectivorous if that it is not insectivorous and is non-tender does not hold. sent5: if something is not aeronautical it is a covert and is archosaurian. sent6: if the animist is not covert then the bracteole is not archosaurian. sent7: the coiffeur is not a diminution if that the pinole is aeronautical is not false. sent8: if something does deserve Tidewater but it is not a bear then it does not outlive. sent9: if the animist is not postnuptial then the bracteole is a kind of a diminution and it is a kind of a mocha. sent10: something does deserve Tidewater but it is not a kind of a bear if it is insectivorous. sent11: the animist is not postnuptial if it does not outlive. sent12: if the fact that the animist is a kind of a trip is not false the simpleton is not aeronautical and it is not a kind of a covert. sent13: the fact that the coiffeur is a echinocactus and is not a stem-winder is not correct. sent14: if the animist is covert then that the coiffeur is not a echinocactus and is not a stem-winder does not hold. sent15: the bracteole is not a novobiocin if the coiffeur is archosaurian and/or is a stem-winder. sent16: if the fact that something is not a novobiocin and not a trip is incorrect then it is not aeronautical. sent17: the fact that the pinole is not a diminution is not wrong if either the snowboarder is a trip or it is a novobiocin or both. sent18: the coiffeur is a kind of a covert that is not a echinocactus. sent19: something is aeronautical if that it is not a echinocactus and it is not a stem-winder is not right. sent20: the disk is not archosaurian. ; $proof$ = 
void -> assump1: Let's assume that the animist is a kind of a covert.; sent14 & assump1 -> int1: the fact that the coiffeur is not a echinocactus and is not a kind of a stem-winder is not correct.; sent19 -> int2: that the coiffeur is aeronautical if the fact that the coiffeur is not a kind of a echinocactus and it is not a stem-winder is not right is not false.; int1 & int2 -> int3: the coiffeur is aeronautical.; int3 & sent2 -> int4: the snowboarder trips.; int4 -> int5: the snowboarder is a kind of a trip and/or is a novobiocin.; int5 & sent17 -> int6: the pinole is not a diminution.; sent3 -> int7: the pinole is a diminution.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the animist is not a covert.; int9 & sent6 -> hypothesis; __DISPROVED__