that the bratwurst is algoid but it is not a kind of a nominal is not true.
sent1: if something is a Jonah then it is a worsted. sent2: if the adder is not a nominal the bratwurst is algoid but not nominal. sent3: the adder is not a nominal if the dragonfly either is worsted or does not glorify or both. sent4: the dragonfly does scout rentier and it is a Jonah.
sent4 -> int1: that the dragonfly is a Jonah is true.; sent1 -> int2: if the dragonfly is a Jonah it is a kind of a worsted.; int1 & int2 -> int3: that the dragonfly worsts hold.; int3 -> int4: the dragonfly worsts and/or it does not glorify.; int4 & sent3 -> int5: the adder is not a nominal.; int5 & sent2 -> hypothesis;
$hypothesis$ = that the bratwurst is algoid but it is not a kind of a nominal is not true. ; $context$ = sent1: if something is a Jonah then it is a worsted. sent2: if the adder is not a nominal the bratwurst is algoid but not nominal. sent3: the adder is not a nominal if the dragonfly either is worsted or does not glorify or both. sent4: the dragonfly does scout rentier and it is a Jonah. ; $proof$ = 
sent4 -> int1: that the dragonfly is a Jonah is true.; sent1 -> int2: if the dragonfly is a Jonah it is a kind of a worsted.; int1 & int2 -> int3: that the dragonfly worsts hold.; int3 -> int4: the dragonfly worsts and/or it does not glorify.; int4 & sent3 -> int5: the adder is not a nominal.; int5 & sent2 -> hypothesis; __DISPROVED__