the geomancer does jump SCLK if the Shavian records.
sent1: if the geomancer is a kind of a Sarawakian the ovule does jump SCLK. sent2: the ovule is non-apogean. sent3: if that the ovule is not apogean but it is a Sarawakian does not hold then the Shavian does record. sent4: if the fact that the ovule is apogean is true then the Shavian is not a record. sent5: that the ovule does record if the Shavian is a kind of a Sarawakian is not incorrect. sent6: the fact that the ovule is not a warped hold if the shoelace is apogean. sent7: the shoelace is a warped if the ovule is Sarawakian. sent8: if the fact that the ovule is a kind of non-apogean thing that is Sarawakian is incorrect the Shavian is not a record. sent9: the geomancer jumps SCLK if the shoelace is a warped. sent10: that the geomancer does record hold.
void -> assump1: Let's assume that the Shavian records.; void -> assump2: Let's assume that the fact that that the ovule is not apogean but a Sarawakian does not hold is true.; sent8 & assump2 -> int1: the fact that the Shavian does not record is not false.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the ovule is not apogean but Sarawakian.; int3 -> int4: the ovule is a Sarawakian.; sent7 & int4 -> int5: the shoelace is a warped.; sent9 & int5 -> int6: the geomancer does jump SCLK.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the geomancer does jump SCLK if the Shavian records. ; $context$ = sent1: if the geomancer is a kind of a Sarawakian the ovule does jump SCLK. sent2: the ovule is non-apogean. sent3: if that the ovule is not apogean but it is a Sarawakian does not hold then the Shavian does record. sent4: if the fact that the ovule is apogean is true then the Shavian is not a record. sent5: that the ovule does record if the Shavian is a kind of a Sarawakian is not incorrect. sent6: the fact that the ovule is not a warped hold if the shoelace is apogean. sent7: the shoelace is a warped if the ovule is Sarawakian. sent8: if the fact that the ovule is a kind of non-apogean thing that is Sarawakian is incorrect the Shavian is not a record. sent9: the geomancer jumps SCLK if the shoelace is a warped. sent10: that the geomancer does record hold. ; $proof$ = 
void -> assump1: Let's assume that the Shavian records.; void -> assump2: Let's assume that the fact that that the ovule is not apogean but a Sarawakian does not hold is true.; sent8 & assump2 -> int1: the fact that the Shavian does not record is not false.; assump1 & int1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the ovule is not apogean but Sarawakian.; int3 -> int4: the ovule is a Sarawakian.; sent7 & int4 -> int5: the shoelace is a warped.; sent9 & int5 -> int6: the geomancer does jump SCLK.; [assump1] & int6 -> hypothesis; __PROVED__