that that either the parsonage is not a tinfoil or it does clap Riviera or both is not false is false.
sent1: the parsonage underwrites and is voyeuristic. sent2: something does clap Milne if it is a Caucasian. sent3: something is not a tinfoil or it claps Riviera or both if it does corrode combination. sent4: if something is voyeuristic then that it does corrode combination is not false.
sent1 -> int1: the parsonage is voyeuristic.; sent4 -> int2: the parsonage corrodes combination if it is voyeuristic.; int1 & int2 -> int3: the parsonage does corrode combination.; sent3 -> int4: if the parsonage corrodes combination then either it is not a tinfoil or it does clap Riviera or both.; int3 & int4 -> hypothesis;
$hypothesis$ = that that either the parsonage is not a tinfoil or it does clap Riviera or both is not false is false. ; $context$ = sent1: the parsonage underwrites and is voyeuristic. sent2: something does clap Milne if it is a Caucasian. sent3: something is not a tinfoil or it claps Riviera or both if it does corrode combination. sent4: if something is voyeuristic then that it does corrode combination is not false. ; $proof$ = 
sent1 -> int1: the parsonage is voyeuristic.; sent4 -> int2: the parsonage corrodes combination if it is voyeuristic.; int1 & int2 -> int3: the parsonage does corrode combination.; sent3 -> int4: if the parsonage corrodes combination then either it is not a tinfoil or it does clap Riviera or both.; int3 & int4 -> hypothesis; __DISPROVED__