the synchrocyclotron does not scent drain.
sent1: the synchrocyclotron is liliaceous. sent2: The synchrocyclotron compels chachka. sent3: the fact that the sax scents drain and it is liliaceous is not wrong if the synchrocyclotron does not service puree. sent4: something does not compel synchrocyclotron if it does scent drain. sent5: the chachka compels synchrocyclotron. sent6: that the chachka does not compel synchrocyclotron if the synchrocyclotron scents drain and it is liliaceous is true.
void -> assump1: Let's assume that the synchrocyclotron scents drain.; assump1 & sent1 -> int1: the synchrocyclotron does scent drain and it is liliaceous.; int1 & sent6 -> int2: the chachka does not compel synchrocyclotron.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the sax does not compel synchrocyclotron.
sent4 -> int4: the sax does not compel synchrocyclotron if it scents drain.;
$hypothesis$ = the synchrocyclotron does not scent drain. ; $context$ = sent1: the synchrocyclotron is liliaceous. sent2: The synchrocyclotron compels chachka. sent3: the fact that the sax scents drain and it is liliaceous is not wrong if the synchrocyclotron does not service puree. sent4: something does not compel synchrocyclotron if it does scent drain. sent5: the chachka compels synchrocyclotron. sent6: that the chachka does not compel synchrocyclotron if the synchrocyclotron scents drain and it is liliaceous is true. ; $proof$ = 
void -> assump1: Let's assume that the synchrocyclotron scents drain.; assump1 & sent1 -> int1: the synchrocyclotron does scent drain and it is liliaceous.; int1 & sent6 -> int2: the chachka does not compel synchrocyclotron.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__