the inkwell does read firstborn.
sent1: the inkwell reads firstborn if the trier coaches suet. sent2: the fact that the yellowfin is a holometabolism and little is incorrect. sent3: if the fact that something is not a kind of a tributyrin and it does not read firstborn is not true then it read firstborn. sent4: that something is not a kind of a tributyrin and does not read firstborn does not hold if that it does not corkscrew glooming is not incorrect. sent5: the Basotho is a kind of north thing that is electrostatics. sent6: that there exists something such that it is both not a holometabolism and a little is not wrong. sent7: if the nook is a tributyrin it does corkscrew glooming. sent8: the trier does coach suet if something that corkscrews glooming is bromic. sent9: something does corkscrew glooming. sent10: that the yellowfin is both not a holometabolism and little is wrong. sent11: there exists something such that the fact that it is a kind of a holometabolism and it is a little is wrong. sent12: that the nook corkscrews fussiness and is not electrostatics is not true. sent13: something is not non-bromic but a tributyrin if it does not coach suet. sent14: the nook is a tributyrin if there is something such that it is a holometabolism. sent15: there is something such that it is bromic. sent16: that the fact that the nook corkscrews fussiness and it is electrostatics is right is not true. sent17: if the nook is electrostatics then the fact that it is bromic is not wrong. sent18: the nook is bromic if the fact that it does corkscrew fussiness and is not electrostatics is incorrect.
sent10 -> int1: there exists something such that the fact that it is not a holometabolism and it is a kind of a little is not right.; sent18 & sent12 -> int2: the nook is bromic.;
the inkwell does not read firstborn.
sent13 -> int3: the phosphine is not non-bromic and is a tributyrin if it does not coach suet.;
$hypothesis$ = the inkwell does read firstborn. ; $context$ = sent1: the inkwell reads firstborn if the trier coaches suet. sent2: the fact that the yellowfin is a holometabolism and little is incorrect. sent3: if the fact that something is not a kind of a tributyrin and it does not read firstborn is not true then it read firstborn. sent4: that something is not a kind of a tributyrin and does not read firstborn does not hold if that it does not corkscrew glooming is not incorrect. sent5: the Basotho is a kind of north thing that is electrostatics. sent6: that there exists something such that it is both not a holometabolism and a little is not wrong. sent7: if the nook is a tributyrin it does corkscrew glooming. sent8: the trier does coach suet if something that corkscrews glooming is bromic. sent9: something does corkscrew glooming. sent10: that the yellowfin is both not a holometabolism and little is wrong. sent11: there exists something such that the fact that it is a kind of a holometabolism and it is a little is wrong. sent12: that the nook corkscrews fussiness and is not electrostatics is not true. sent13: something is not non-bromic but a tributyrin if it does not coach suet. sent14: the nook is a tributyrin if there is something such that it is a holometabolism. sent15: there is something such that it is bromic. sent16: that the fact that the nook corkscrews fussiness and it is electrostatics is right is not true. sent17: if the nook is electrostatics then the fact that it is bromic is not wrong. sent18: the nook is bromic if the fact that it does corkscrew fussiness and is not electrostatics is incorrect. ; $proof$ = 
sent10 -> int1: there exists something such that the fact that it is not a holometabolism and it is a kind of a little is not right.; sent18 & sent12 -> int2: the nook is bromic.; __UNKNOWN__