if the catamaran is a kind of a rectangle the bismark is a Anguillula.
sent1: the catamaran misremembers kinswoman. sent2: the lactifuge does cling night-stop. sent3: if something does misremember kinswoman then it is a rectangle. sent4: the lactifuge either does not cling Salamandra or is a kind of a Anguillula or both if it is nonreciprocal. sent5: if the lactifuge does not cling Salamandra or it is a Anguillula or both then that the vane is not a rectangle is right. sent6: if the lactifuge is a vac the catamaran is not a rectangle and it is not a vac. sent7: if something is not a rectangle that it does not cling night-stop and is a vac does not hold. sent8: the bismark does cling night-stop if the lactifuge does not misremember kinswoman. sent9: the catamaran resects suprematist and it is a kind of a skivvy. sent10: if the lactifuge does misremember kinswoman the bismark does not misremember kinswoman. sent11: something is a kind of a Anguillula if it clings night-stop. sent12: if the lactifuge does misremember kinswoman then it is a kind of a vac. sent13: if the catamaran is not a Tanguy then the lactifuge is nonreciprocal and is a sparid. sent14: if the fact that the catamaran resects suprematist is not wrong it is allogeneic and it is not a Tanguy.
void -> assump1: Let's assume that the lactifuge does misremember kinswoman.; sent12 & assump1 -> int1: that the lactifuge is a kind of a vac hold.; int1 & sent6 -> int2: the catamaran is not a rectangle and it is not a kind of a vac.; int2 -> int3: the catamaran is not a rectangle.; void -> assump2: Let's assume that the catamaran is a rectangle.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the lactifuge does not misremember kinswoman.; int5 & sent8 -> int6: the bismark does cling night-stop.; sent11 -> int7: the bismark is a Anguillula if it clings night-stop.; int6 & int7 -> int8: the bismark is a Anguillula.; [assump2] & int8 -> hypothesis;
the vane misremembers kinswoman.
sent7 -> int9: if the vane is not a rectangle then the fact that it does not cling night-stop and is a kind of a vac is wrong.; sent9 -> int10: the catamaran resects suprematist.; sent14 & int10 -> int11: the catamaran is both allogeneic and not a Tanguy.; int11 -> int12: the catamaran is not a Tanguy.; sent13 & int12 -> int13: the fact that the lactifuge is both nonreciprocal and a sparid is not wrong.; int13 -> int14: the lactifuge is nonreciprocal.; sent4 & int14 -> int15: the lactifuge does not cling Salamandra and/or is a kind of a Anguillula.; sent5 & int15 -> int16: the vane is not a kind of a rectangle.; int9 & int16 -> int17: that the vane does not cling night-stop and is a vac is false.;
$hypothesis$ = if the catamaran is a kind of a rectangle the bismark is a Anguillula. ; $context$ = sent1: the catamaran misremembers kinswoman. sent2: the lactifuge does cling night-stop. sent3: if something does misremember kinswoman then it is a rectangle. sent4: the lactifuge either does not cling Salamandra or is a kind of a Anguillula or both if it is nonreciprocal. sent5: if the lactifuge does not cling Salamandra or it is a Anguillula or both then that the vane is not a rectangle is right. sent6: if the lactifuge is a vac the catamaran is not a rectangle and it is not a vac. sent7: if something is not a rectangle that it does not cling night-stop and is a vac does not hold. sent8: the bismark does cling night-stop if the lactifuge does not misremember kinswoman. sent9: the catamaran resects suprematist and it is a kind of a skivvy. sent10: if the lactifuge does misremember kinswoman the bismark does not misremember kinswoman. sent11: something is a kind of a Anguillula if it clings night-stop. sent12: if the lactifuge does misremember kinswoman then it is a kind of a vac. sent13: if the catamaran is not a Tanguy then the lactifuge is nonreciprocal and is a sparid. sent14: if the fact that the catamaran resects suprematist is not wrong it is allogeneic and it is not a Tanguy. ; $proof$ = 
void -> assump1: Let's assume that the lactifuge does misremember kinswoman.; sent12 & assump1 -> int1: that the lactifuge is a kind of a vac hold.; int1 & sent6 -> int2: the catamaran is not a rectangle and it is not a kind of a vac.; int2 -> int3: the catamaran is not a rectangle.; void -> assump2: Let's assume that the catamaran is a rectangle.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the lactifuge does not misremember kinswoman.; int5 & sent8 -> int6: the bismark does cling night-stop.; sent11 -> int7: the bismark is a Anguillula if it clings night-stop.; int6 & int7 -> int8: the bismark is a Anguillula.; [assump2] & int8 -> hypothesis; __PROVED__