the cylinder is Bulgarian.
sent1: something is not a Freudian if it is not a schizanthus and/or it is not a decathlon. sent2: the wildfowl ebbs ribbing if the hydrofoil does not dado. sent3: the cylinder does jackrabbit. sent4: something is not a legislator and it is not a deliverable if it does ebb ribbing. sent5: something is not a dirt if it does jackrabbit and it does not steepen Omsk. sent6: the supremacist is a consistency that is a stigma. sent7: the cylinder is a dirt and it steepens Omsk. sent8: something that is a deliverable is either not a schizanthus or not a decathlon or both. sent9: either the hydrofoil is not Hasidic or it is not a dado or both if something is not postmodernist. sent10: if the wildfowl is Freudian then the candytuft jackrabbits. sent11: the cylinder is not a consistency and not sisterly if it is not nonsurgical. sent12: if the wildfowl is both not a legislator and not deliverable then the candytuft is a deliverable. sent13: the cumin is not postmodernist. sent14: if the candytuft is not Freudian then the companion does jackrabbit and does not steepen Omsk. sent15: if the hydrofoil is not Hasidic then the wildfowl does ebb ribbing. sent16: if a dirt is nonsurgical then it is not a kind of a Bulgarian. sent17: if the cylinder does jackrabbit then that it is both not a consistency and not sisterly is incorrect. sent18: if the companion does steepen Omsk the fact that that the cylinder is not a kind of a dirt but it is Bulgarian hold is not true.
void -> assump1: Let's assume that the cylinder is not nonsurgical.; sent11 & assump1 -> int1: the cylinder is not a consistency and it is not sisterly.; sent17 & sent3 -> int2: the fact that the cylinder is not a consistency and it is not sisterly is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cylinder is nonsurgical.; sent7 -> int5: the cylinder is a dirt.; int4 & int5 -> int6: the fact that the cylinder is a dirt and it is nonsurgical hold.; sent16 -> int7: the cylinder is not a kind of a Bulgarian if it is a dirt and is nonsurgical.; int6 & int7 -> hypothesis;
the hawkmoth is nonsurgical.
$hypothesis$ = the cylinder is Bulgarian. ; $context$ = sent1: something is not a Freudian if it is not a schizanthus and/or it is not a decathlon. sent2: the wildfowl ebbs ribbing if the hydrofoil does not dado. sent3: the cylinder does jackrabbit. sent4: something is not a legislator and it is not a deliverable if it does ebb ribbing. sent5: something is not a dirt if it does jackrabbit and it does not steepen Omsk. sent6: the supremacist is a consistency that is a stigma. sent7: the cylinder is a dirt and it steepens Omsk. sent8: something that is a deliverable is either not a schizanthus or not a decathlon or both. sent9: either the hydrofoil is not Hasidic or it is not a dado or both if something is not postmodernist. sent10: if the wildfowl is Freudian then the candytuft jackrabbits. sent11: the cylinder is not a consistency and not sisterly if it is not nonsurgical. sent12: if the wildfowl is both not a legislator and not deliverable then the candytuft is a deliverable. sent13: the cumin is not postmodernist. sent14: if the candytuft is not Freudian then the companion does jackrabbit and does not steepen Omsk. sent15: if the hydrofoil is not Hasidic then the wildfowl does ebb ribbing. sent16: if a dirt is nonsurgical then it is not a kind of a Bulgarian. sent17: if the cylinder does jackrabbit then that it is both not a consistency and not sisterly is incorrect. sent18: if the companion does steepen Omsk the fact that that the cylinder is not a kind of a dirt but it is Bulgarian hold is not true. ; $proof$ = 
void -> assump1: Let's assume that the cylinder is not nonsurgical.; sent11 & assump1 -> int1: the cylinder is not a consistency and it is not sisterly.; sent17 & sent3 -> int2: the fact that the cylinder is not a consistency and it is not sisterly is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cylinder is nonsurgical.; sent7 -> int5: the cylinder is a dirt.; int4 & int5 -> int6: the fact that the cylinder is a dirt and it is nonsurgical hold.; sent16 -> int7: the cylinder is not a kind of a Bulgarian if it is a dirt and is nonsurgical.; int6 & int7 -> hypothesis; __DISPROVED__