the fact that if the fact that the rigger is not penetrable is correct then the glue is both not a boxcars and a goldfish is not true.
sent1: the rigger is penetrable if the kymograph does not settle redraft or it is approachable or both. sent2: if there exists something such that that it is not a kind of a boxcars and it is a goldfish does not hold the kymograph is approachable.
void -> assump1: Let's assume that that the glue is not a boxcars and is a goldfish is not right.; assump1 -> int1: there exists something such that that it is not a boxcars and it is a goldfish is incorrect.; int1 & sent2 -> int2: the kymograph is approachable.; int2 -> int3: the kymograph does not settle redraft or is approachable or both.; sent1 & int3 -> int4: the rigger is penetrable.; void -> assump2: Let's assume that the rigger is impenetrable.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the glue is not a kind of a boxcars but it is a kind of a goldfish.; [assump2] & int6 -> hypothesis;
$hypothesis$ = the fact that if the fact that the rigger is not penetrable is correct then the glue is both not a boxcars and a goldfish is not true. ; $context$ = sent1: the rigger is penetrable if the kymograph does not settle redraft or it is approachable or both. sent2: if there exists something such that that it is not a kind of a boxcars and it is a goldfish does not hold the kymograph is approachable. ; $proof$ = 
void -> assump1: Let's assume that that the glue is not a boxcars and is a goldfish is not right.; assump1 -> int1: there exists something such that that it is not a boxcars and it is a goldfish is incorrect.; int1 & sent2 -> int2: the kymograph is approachable.; int2 -> int3: the kymograph does not settle redraft or is approachable or both.; sent1 & int3 -> int4: the rigger is penetrable.; void -> assump2: Let's assume that the rigger is impenetrable.; int4 & assump2 -> int5: this is contradiction.; [assump1] & int5 -> int6: the glue is not a kind of a boxcars but it is a kind of a goldfish.; [assump2] & int6 -> hypothesis; __DISPROVED__