the flyspeck multiplies corselet and it is documentary.
sent1: if the galago does multiply candy the flyspeck is a kind of a documentary. sent2: if something is not closed then that it does multiply corselet and it is a kind of a documentary is incorrect. sent3: the brocade is a kind of a tollkeeper. sent4: everything is not Latin. sent5: the flyspeck is not non-closed if the fact that it is a kind of non-non-closed thing that is not a documentary is incorrect. sent6: the brocade does close. sent7: the fluoride is a polemic. sent8: if the fluoride is closed then the galago does multiply candy. sent9: a Caucasian that is not a transpiration does close. sent10: if the fact that the flyspeck does not multiply corselet and it is not a tollkeeper is not correct it multiply corselet. sent11: if that the fluoride is a kind of a Caucasian but it is not a transpiration is not true the brocade is not non-Latin. sent12: the fluoride is not a tollkeeper and it is not Olympic. sent13: the fact that the brocade is not Olympic and it is not a kind of a Latin is false. sent14: the flyspeck is not Olympic. sent15: if the flyspeck is not Olympic the fact that it does not multiply corselet and it is not a tollkeeper is false. sent16: that the fluoride is a tollkeeper but it does not close does not hold if it is not a documentary. sent17: the fact that the flyspeck is not a transpiration is incorrect if it is a kind of closed thing that is not a kind of a documentary. sent18: if the flyspeck multiplies corselet then the galago is a kind of a tollkeeper.
void -> assump1: Let's assume that the fact that the fluoride is a Caucasian but it is not a transpiration is wrong.; sent11 & assump1 -> int1: the fact that the brocade is not non-Latin is not false.; sent4 -> int2: the brocade is not Latin.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fluoride is a kind of a Caucasian but it is not a transpiration.; sent9 -> int5: if the fluoride is Caucasian but it is not a transpiration then the fact that it is closed is not false.; int4 & int5 -> int6: the fluoride closes.; int6 & sent8 -> int7: the galago does multiply candy.; int7 & sent1 -> int8: the flyspeck is a documentary.; sent15 & sent14 -> int9: the fact that the flyspeck does not multiply corselet and it is not a tollkeeper does not hold.; sent10 & int9 -> int10: the flyspeck multiplies corselet.; int8 & int10 -> hypothesis;
the fact that the flyspeck does multiply corselet and is a documentary does not hold.
sent2 -> int11: that the flyspeck multiplies corselet and is a documentary does not hold if it does not close.; sent12 -> int12: the fluoride is not a tollkeeper.;
$hypothesis$ = the flyspeck multiplies corselet and it is documentary. ; $context$ = sent1: if the galago does multiply candy the flyspeck is a kind of a documentary. sent2: if something is not closed then that it does multiply corselet and it is a kind of a documentary is incorrect. sent3: the brocade is a kind of a tollkeeper. sent4: everything is not Latin. sent5: the flyspeck is not non-closed if the fact that it is a kind of non-non-closed thing that is not a documentary is incorrect. sent6: the brocade does close. sent7: the fluoride is a polemic. sent8: if the fluoride is closed then the galago does multiply candy. sent9: a Caucasian that is not a transpiration does close. sent10: if the fact that the flyspeck does not multiply corselet and it is not a tollkeeper is not correct it multiply corselet. sent11: if that the fluoride is a kind of a Caucasian but it is not a transpiration is not true the brocade is not non-Latin. sent12: the fluoride is not a tollkeeper and it is not Olympic. sent13: the fact that the brocade is not Olympic and it is not a kind of a Latin is false. sent14: the flyspeck is not Olympic. sent15: if the flyspeck is not Olympic the fact that it does not multiply corselet and it is not a tollkeeper is false. sent16: that the fluoride is a tollkeeper but it does not close does not hold if it is not a documentary. sent17: the fact that the flyspeck is not a transpiration is incorrect if it is a kind of closed thing that is not a kind of a documentary. sent18: if the flyspeck multiplies corselet then the galago is a kind of a tollkeeper. ; $proof$ = 
void -> assump1: Let's assume that the fact that the fluoride is a Caucasian but it is not a transpiration is wrong.; sent11 & assump1 -> int1: the fact that the brocade is not non-Latin is not false.; sent4 -> int2: the brocade is not Latin.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fluoride is a kind of a Caucasian but it is not a transpiration.; sent9 -> int5: if the fluoride is Caucasian but it is not a transpiration then the fact that it is closed is not false.; int4 & int5 -> int6: the fluoride closes.; int6 & sent8 -> int7: the galago does multiply candy.; int7 & sent1 -> int8: the flyspeck is a documentary.; sent15 & sent14 -> int9: the fact that the flyspeck does not multiply corselet and it is not a tollkeeper does not hold.; sent10 & int9 -> int10: the flyspeck multiplies corselet.; int8 & int10 -> hypothesis; __PROVED__