that the Kiwi is a kind of a Boulder if the turbinate is unquiet is incorrect.
sent1: if the uxoricide does permit pumpkin then that the rissole is a rapid hold. sent2: something that is a kind of a rapid does not permit pumpkin. sent3: if something is unquiet then it is a rapid. sent4: the Kiwi does permit pumpkin. sent5: the Kiwi is a kind of a Boulder if the rissole is a rapid. sent6: something that is a kind of a dynamo does permit pumpkin. sent7: the uxoricide is a dynamo if the turbinate is unquiet.
void -> assump1: Let's assume that the turbinate is unquiet.; sent7 & assump1 -> int1: the uxoricide is a dynamo.; sent6 -> int2: the uxoricide permits pumpkin if it is a dynamo.; int1 & int2 -> int3: the uxoricide does permit pumpkin.; int3 & sent1 -> int4: the rissole is a rapid.; int4 & sent5 -> int5: the Kiwi is a kind of a Boulder.; [assump1] & int5 -> hypothesis;
the muscadine is unquiet.
sent2 -> int6: the muscadine does not permit pumpkin if that it is a kind of a rapid is not wrong.;
$hypothesis$ = that the Kiwi is a kind of a Boulder if the turbinate is unquiet is incorrect. ; $context$ = sent1: if the uxoricide does permit pumpkin then that the rissole is a rapid hold. sent2: something that is a kind of a rapid does not permit pumpkin. sent3: if something is unquiet then it is a rapid. sent4: the Kiwi does permit pumpkin. sent5: the Kiwi is a kind of a Boulder if the rissole is a rapid. sent6: something that is a kind of a dynamo does permit pumpkin. sent7: the uxoricide is a dynamo if the turbinate is unquiet. ; $proof$ = 
void -> assump1: Let's assume that the turbinate is unquiet.; sent7 & assump1 -> int1: the uxoricide is a dynamo.; sent6 -> int2: the uxoricide permits pumpkin if it is a dynamo.; int1 & int2 -> int3: the uxoricide does permit pumpkin.; int3 & sent1 -> int4: the rissole is a rapid.; int4 & sent5 -> int5: the Kiwi is a kind of a Boulder.; [assump1] & int5 -> hypothesis; __DISPROVED__