the fact that the catamaran is a kind of a roughleg is not wrong.
sent1: if the fact that the chignon does not ambush Trombiculidae but it is a musk is wrong then the fact that it is not surmountable is not wrong. sent2: the fact that the chignon does not ambush Trombiculidae and is a musk is not right. sent3: the chignon is ecclesiastical. sent4: if that something is not avionics and it does not ambush coastguardsman is not right the fact that it is not a kind of a roughleg hold. sent5: if the chignon is not surmountable then the fact that that the catamaran is non-avionics thing that does not ambush coastguardsman is not incorrect is wrong.
sent1 & sent2 -> int1: the chignon is not surmountable.; int1 & sent5 -> int2: that the catamaran is not avionics and it does not ambush coastguardsman is false.; sent4 -> int3: if the fact that the catamaran is not avionics and it does not ambush coastguardsman does not hold it is not a roughleg.; int2 & int3 -> hypothesis;
the catamaran roughs.
sent3 -> int4: the chignon is ecclesiastical or it is avionics or both.; int4 -> int5: there is something such that it is ecclesiastical or is avionics or both.;
$hypothesis$ = the fact that the catamaran is a kind of a roughleg is not wrong. ; $context$ = sent1: if the fact that the chignon does not ambush Trombiculidae but it is a musk is wrong then the fact that it is not surmountable is not wrong. sent2: the fact that the chignon does not ambush Trombiculidae and is a musk is not right. sent3: the chignon is ecclesiastical. sent4: if that something is not avionics and it does not ambush coastguardsman is not right the fact that it is not a kind of a roughleg hold. sent5: if the chignon is not surmountable then the fact that that the catamaran is non-avionics thing that does not ambush coastguardsman is not incorrect is wrong. ; $proof$ = 
sent1 & sent2 -> int1: the chignon is not surmountable.; int1 & sent5 -> int2: that the catamaran is not avionics and it does not ambush coastguardsman is false.; sent4 -> int3: if the fact that the catamaran is not avionics and it does not ambush coastguardsman does not hold it is not a roughleg.; int2 & int3 -> hypothesis; __DISPROVED__