the grainfield is Caesarian or it does home or both if that the Cathaya is not a kind of a bailiffship hold.
sent1: the grainfield is a bailiffship. sent2: the fact that the tippler is not a bailiffship hold. sent3: a non-Caesarian thing that is not a kind of a wrench is not a kind of a Saxon. sent4: something that is not a wrench and not a Saxon is not a bailiffship. sent5: the Cathaya is not a Saxon if the grainfield is non-homing. sent6: something is plumbic if it is not a pannier and it tortures hair's-breadth. sent7: the Cathaya is a wrench or it is a flank or both. sent8: if the grainfield is homing then the Cathaya is not a wrench and it is not Saxon. sent9: the grainfield does not mean dukedom. sent10: the nondriver is a bailiffship. sent11: if the harpy is not a bailiffship and it is not forehand it is a kind of a sunstroke. sent12: the Cathaya is not a wrench and not a Saxon if the grainfield is not homing. sent13: the Cathaya does not mean draba.
void -> assump1: Let's assume that the grainfield is not homing.; sent12 & assump1 -> int1: the Cathaya is not a wrench and not a Saxon.; sent4 -> int2: if the Cathaya is not a kind of a wrench and is not a kind of a Saxon then it is a bailiffship.; int1 & int2 -> int3: the Cathaya is a bailiffship.; void -> assump2: Let's assume that the Cathaya is not a bailiffship.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the grainfield is a kind of a homing.; int5 -> int6: the grainfield is Caesarian or it homes or both.; [assump2] & int6 -> hypothesis;
$hypothesis$ = the grainfield is Caesarian or it does home or both if that the Cathaya is not a kind of a bailiffship hold. ; $context$ = sent1: the grainfield is a bailiffship. sent2: the fact that the tippler is not a bailiffship hold. sent3: a non-Caesarian thing that is not a kind of a wrench is not a kind of a Saxon. sent4: something that is not a wrench and not a Saxon is not a bailiffship. sent5: the Cathaya is not a Saxon if the grainfield is non-homing. sent6: something is plumbic if it is not a pannier and it tortures hair's-breadth. sent7: the Cathaya is a wrench or it is a flank or both. sent8: if the grainfield is homing then the Cathaya is not a wrench and it is not Saxon. sent9: the grainfield does not mean dukedom. sent10: the nondriver is a bailiffship. sent11: if the harpy is not a bailiffship and it is not forehand it is a kind of a sunstroke. sent12: the Cathaya is not a wrench and not a Saxon if the grainfield is not homing. sent13: the Cathaya does not mean draba. ; $proof$ = 
void -> assump1: Let's assume that the grainfield is not homing.; sent12 & assump1 -> int1: the Cathaya is not a wrench and not a Saxon.; sent4 -> int2: if the Cathaya is not a kind of a wrench and is not a kind of a Saxon then it is a bailiffship.; int1 & int2 -> int3: the Cathaya is a bailiffship.; void -> assump2: Let's assume that the Cathaya is not a bailiffship.; int3 & assump2 -> int4: this is contradiction.; [assump1] & int4 -> int5: the grainfield is a kind of a homing.; int5 -> int6: the grainfield is Caesarian or it homes or both.; [assump2] & int6 -> hypothesis; __PROVED__