the Leo weaves vernier but it is not a Lycium.
sent1: the Leo is not a Lycium if it does not weave ironworker. sent2: if something butts parameter it is a prothrombin. sent3: either the ironworker does rear harvest-lice or it does not weave ironworker or both if the gymnosperm is just. sent4: the Leo is just if it weaves ironworker. sent5: if something does not weave ironworker it does weave vernier and is not a Lycium. sent6: if the Leo does not rear butterbur but it does rear harvest-lice then it is not just. sent7: the Leo does not rear butterbur but it rears harvest-lice.
void -> assump1: Let's assume that the fact that the Leo weaves ironworker is not wrong.; sent4 & assump1 -> int1: the Leo is just.; sent6 & sent7 -> int2: that the Leo is not just hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Leo does not weave ironworker.; sent5 -> int5: that if the Leo does not weave ironworker then the Leo weaves vernier but it is not a Lycium is correct.; int4 & int5 -> hypothesis;
the fact that the fact that the Leo weaves vernier but it is not a Lycium is not wrong is not right.
$hypothesis$ = the Leo weaves vernier but it is not a Lycium. ; $context$ = sent1: the Leo is not a Lycium if it does not weave ironworker. sent2: if something butts parameter it is a prothrombin. sent3: either the ironworker does rear harvest-lice or it does not weave ironworker or both if the gymnosperm is just. sent4: the Leo is just if it weaves ironworker. sent5: if something does not weave ironworker it does weave vernier and is not a Lycium. sent6: if the Leo does not rear butterbur but it does rear harvest-lice then it is not just. sent7: the Leo does not rear butterbur but it rears harvest-lice. ; $proof$ = 
void -> assump1: Let's assume that the fact that the Leo weaves ironworker is not wrong.; sent4 & assump1 -> int1: the Leo is just.; sent6 & sent7 -> int2: that the Leo is not just hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Leo does not weave ironworker.; sent5 -> int5: that if the Leo does not weave ironworker then the Leo weaves vernier but it is not a Lycium is correct.; int4 & int5 -> hypothesis; __PROVED__