that the rue does not crank Aquarius and is a purr is not correct if the Merlin is a kind of a buckle.
sent1: if something does not crank penuche that it does not fool corselet and talks Merlin hold. sent2: the Merlin is not a buckle if the rue does not crank Aquarius but it is a purr. sent3: if the rue does not crank Aquarius but it does purr then the Merlin is a kind of a buckle. sent4: something is a kind of a buckle that does not crank penuche if it does not fool dobra. sent5: if the Merlin does not blame initialization then it does not fool dobra.
void -> assump1: Let's assume that the rue does not crank Aquarius and is a purr.; sent2 & assump1 -> int1: that the Merlin does not buckle is not wrong.; void -> assump2: Let's assume that the Merlin is a buckle.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the rue does not crank Aquarius and purrs is not right.; [assump2] & int3 -> hypothesis;
the Merlin does not fool corselet and talks Merlin.
sent1 -> int4: if the Merlin does not crank penuche then it does not fool corselet and it talks Merlin.; sent4 -> int5: the fact that the Merlin is a kind of the buckle and does not crank penuche if the Merlin does not fool dobra is right.;
$hypothesis$ = that the rue does not crank Aquarius and is a purr is not correct if the Merlin is a kind of a buckle. ; $context$ = sent1: if something does not crank penuche that it does not fool corselet and talks Merlin hold. sent2: the Merlin is not a buckle if the rue does not crank Aquarius but it is a purr. sent3: if the rue does not crank Aquarius but it does purr then the Merlin is a kind of a buckle. sent4: something is a kind of a buckle that does not crank penuche if it does not fool dobra. sent5: if the Merlin does not blame initialization then it does not fool dobra. ; $proof$ = 
void -> assump1: Let's assume that the rue does not crank Aquarius and is a purr.; sent2 & assump1 -> int1: that the Merlin does not buckle is not wrong.; void -> assump2: Let's assume that the Merlin is a buckle.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the rue does not crank Aquarius and purrs is not right.; [assump2] & int3 -> hypothesis; __PROVED__