the handbook is a kind of a copout.
sent1: if the handbook is a well then it is not a kind of an interchange. sent2: the handbook is well. sent3: the handbook does interchange if it is a copout. sent4: if the spawner is a trigonometrician it is non-well.
void -> assump1: Let's assume that the handbook is a copout.; sent3 & assump1 -> int1: the handbook is a kind of an interchange.; sent1 & sent2 -> int2: the handbook is not a kind of an interchange.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the handbook is a kind of a copout. ; $context$ = sent1: if the handbook is a well then it is not a kind of an interchange. sent2: the handbook is well. sent3: the handbook does interchange if it is a copout. sent4: if the spawner is a trigonometrician it is non-well. ; $proof$ = 
void -> assump1: Let's assume that the handbook is a copout.; sent3 & assump1 -> int1: the handbook is a kind of an interchange.; sent1 & sent2 -> int2: the handbook is not a kind of an interchange.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __DISPROVED__