that there is something such that if it does not fragment nailhead it clanks wideness is not correct.
sent1: the riboflavin is procedural and does clank wideness if the fact that the inkstand does not clank allusiveness is not wrong. sent2: if there is something such that the fact that it does not fragment interstate and it is not a whirl is not true the dial is a lurch. sent3: the fact that the nailhead does not fragment interstate and is not a kind of a whirl is false. sent4: if that the caribou is not non-obligate and it is a kind of a Monroe is incorrect it is not a Monroe. sent5: if the inkstand does not clank wideness it does bilge and fragments nailhead. sent6: that the inkstand does not clank allusiveness is not incorrect if the Junker is a kind of a Haemoproteus.
void -> assump2: Let's assume that the inkstand does not clank wideness.; sent5 & assump2 -> int1: the fact that the inkstand is a kind of a bilge and it fragments nailhead is not incorrect.; int1 -> int2: the inkstand fragments nailhead.; void -> assump1: Let's assume that the inkstand does not fragment nailhead.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the inkstand clanks wideness.; [assump1] & int4 -> int5: if the inkstand does not fragment nailhead it does clank wideness.; int5 -> hypothesis;
the riboflavin is procedural.
sent3 -> int6: there is something such that that it does not fragment interstate and it is not a whirl is not correct.; int6 & sent2 -> int7: the dial is a kind of a lurch.; int7 -> int8: the fact that something is a kind of a lurch is not false.;
$hypothesis$ = that there is something such that if it does not fragment nailhead it clanks wideness is not correct. ; $context$ = sent1: the riboflavin is procedural and does clank wideness if the fact that the inkstand does not clank allusiveness is not wrong. sent2: if there is something such that the fact that it does not fragment interstate and it is not a whirl is not true the dial is a lurch. sent3: the fact that the nailhead does not fragment interstate and is not a kind of a whirl is false. sent4: if that the caribou is not non-obligate and it is a kind of a Monroe is incorrect it is not a Monroe. sent5: if the inkstand does not clank wideness it does bilge and fragments nailhead. sent6: that the inkstand does not clank allusiveness is not incorrect if the Junker is a kind of a Haemoproteus. ; $proof$ = 
void -> assump2: Let's assume that the inkstand does not clank wideness.; sent5 & assump2 -> int1: the fact that the inkstand is a kind of a bilge and it fragments nailhead is not incorrect.; int1 -> int2: the inkstand fragments nailhead.; void -> assump1: Let's assume that the inkstand does not fragment nailhead.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the inkstand clanks wideness.; [assump1] & int4 -> int5: if the inkstand does not fragment nailhead it does clank wideness.; int5 -> hypothesis; __DISPROVED__