the broom is not non-hyperemic.
sent1: if something is a skateboard then it is hyperemic. sent2: if the hop-picker does not inhale sailor's-choice the broom skateboards and it is a razzle-dazzle. sent3: if the fact that the shelver is a kind of non-nonadhesive thing that is a recto is wrong the hop-picker is a kind of a swizzle. sent4: if the cytomegalovirus is not commodious then the algin is not a kind of a swizzle. sent5: if the hop-picker does inhale sailor's-choice the shelver does inhale sailor's-choice. sent6: if the broom is not a razzle-dazzle then the algin is both commodious and nonadhesive. sent7: if the hop-picker inhales sailor's-choice and it is a swizzle the pug does not stab changed. sent8: the broom is not hyperemic if the shelver inhales sailor's-choice and is hyperemic. sent9: if the algin is sexy it is not commodious. sent10: if something is not a kind of a swizzle the hop-picker inhales sailor's-choice and/or stabs changed. sent11: the fact that the shelver is not nonadhesive but it is a recto is wrong. sent12: if the pug is hyperemic thing that is not a razzle-dazzle then the shelver is hyperemic. sent13: the pug is not a kind of a hammer. sent14: the cytomegalovirus is a kind of a Aesculapius. sent15: if the shelver is a recto the meeting is a recto. sent16: the shelver does inhale sailor's-choice if the hop-picker stabs changed. sent17: everything is a Aesculapius. sent18: if something does not stab changed then it is a swizzle and it does inhale sailor's-choice. sent19: the cytomegalovirus is sexy. sent20: if the algin is not commodious but it is a Aesculapius then the pug does stab changed. sent21: the algin is sexy.
sent3 & sent11 -> int1: the fact that the hop-picker is a swizzle hold.; void -> assump1: Let's assume that the hop-picker inhales sailor's-choice.; int1 & assump1 -> int2: the hop-picker does inhale sailor's-choice and is a kind of a swizzle.; int2 & sent7 -> int3: that the pug does not stab changed hold.; sent9 & sent21 -> int4: the algin is incommodious.; sent17 -> int5: the algin is a Aesculapius.; int4 & int5 -> int6: the algin is both not commodious and a Aesculapius.; sent20 & int6 -> int7: the pug stabs changed.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the hop-picker does not inhale sailor's-choice.; int9 & sent2 -> int10: the broom is a kind of a skateboard and is a razzle-dazzle.; int10 -> int11: the fact that the broom is a skateboard is not incorrect.; sent1 -> int12: the broom is hyperemic if it skateboards.; int11 & int12 -> hypothesis;
the broom is not hyperemic.
sent14 & sent19 -> int13: the cytomegalovirus is a Aesculapius that is sexy.;
$hypothesis$ = the broom is not non-hyperemic. ; $context$ = sent1: if something is a skateboard then it is hyperemic. sent2: if the hop-picker does not inhale sailor's-choice the broom skateboards and it is a razzle-dazzle. sent3: if the fact that the shelver is a kind of non-nonadhesive thing that is a recto is wrong the hop-picker is a kind of a swizzle. sent4: if the cytomegalovirus is not commodious then the algin is not a kind of a swizzle. sent5: if the hop-picker does inhale sailor's-choice the shelver does inhale sailor's-choice. sent6: if the broom is not a razzle-dazzle then the algin is both commodious and nonadhesive. sent7: if the hop-picker inhales sailor's-choice and it is a swizzle the pug does not stab changed. sent8: the broom is not hyperemic if the shelver inhales sailor's-choice and is hyperemic. sent9: if the algin is sexy it is not commodious. sent10: if something is not a kind of a swizzle the hop-picker inhales sailor's-choice and/or stabs changed. sent11: the fact that the shelver is not nonadhesive but it is a recto is wrong. sent12: if the pug is hyperemic thing that is not a razzle-dazzle then the shelver is hyperemic. sent13: the pug is not a kind of a hammer. sent14: the cytomegalovirus is a kind of a Aesculapius. sent15: if the shelver is a recto the meeting is a recto. sent16: the shelver does inhale sailor's-choice if the hop-picker stabs changed. sent17: everything is a Aesculapius. sent18: if something does not stab changed then it is a swizzle and it does inhale sailor's-choice. sent19: the cytomegalovirus is sexy. sent20: if the algin is not commodious but it is a Aesculapius then the pug does stab changed. sent21: the algin is sexy. ; $proof$ = 
sent3 & sent11 -> int1: the fact that the hop-picker is a swizzle hold.; void -> assump1: Let's assume that the hop-picker inhales sailor's-choice.; int1 & assump1 -> int2: the hop-picker does inhale sailor's-choice and is a kind of a swizzle.; int2 & sent7 -> int3: that the pug does not stab changed hold.; sent9 & sent21 -> int4: the algin is incommodious.; sent17 -> int5: the algin is a Aesculapius.; int4 & int5 -> int6: the algin is both not commodious and a Aesculapius.; sent20 & int6 -> int7: the pug stabs changed.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the hop-picker does not inhale sailor's-choice.; int9 & sent2 -> int10: the broom is a kind of a skateboard and is a razzle-dazzle.; int10 -> int11: the fact that the broom is a skateboard is not incorrect.; sent1 -> int12: the broom is hyperemic if it skateboards.; int11 & int12 -> hypothesis; __PROVED__