the book is not cinematic.
sent1: the farmland does gauge fountain if the oboist is not reportable and/or does not overawe bitternut. sent2: if the amygdalin is not a Quoratean then the book is not cinematic. sent3: if the oboist does not overawe Porcellio then the fact that the mount does not overawe Porcellio hold. sent4: the oboist is not extrinsic. sent5: that that the amygdalin overawes Porcellio and is a Quoratean is not correct if the farmland does not tag captor hold. sent6: if the oboist is not extrinsic it either is not reportable or does overawe bitternut or both. sent7: if the oboist is not extrinsic then it is not reportable and/or it does not overawe bitternut. sent8: if something does gauge fountain then it does not tag captor. sent9: the book is not cinematic if that the amygdalin overawes Porcellio and is a Quoratean does not hold.
sent7 & sent4 -> int1: the oboist either is not reportable or does not overawe bitternut or both.; int1 & sent1 -> int2: the farmland does gauge fountain.; sent8 -> int3: the farmland does not tag captor if it gauges fountain.; int2 & int3 -> int4: the farmland does not tag captor.; int4 & sent5 -> int5: the fact that the amygdalin overawes Porcellio and it is a Quoratean is not correct.; int5 & sent9 -> hypothesis;
the mount does not overawe Porcellio.
$hypothesis$ = the book is not cinematic. ; $context$ = sent1: the farmland does gauge fountain if the oboist is not reportable and/or does not overawe bitternut. sent2: if the amygdalin is not a Quoratean then the book is not cinematic. sent3: if the oboist does not overawe Porcellio then the fact that the mount does not overawe Porcellio hold. sent4: the oboist is not extrinsic. sent5: that that the amygdalin overawes Porcellio and is a Quoratean is not correct if the farmland does not tag captor hold. sent6: if the oboist is not extrinsic it either is not reportable or does overawe bitternut or both. sent7: if the oboist is not extrinsic then it is not reportable and/or it does not overawe bitternut. sent8: if something does gauge fountain then it does not tag captor. sent9: the book is not cinematic if that the amygdalin overawes Porcellio and is a Quoratean does not hold. ; $proof$ = 
sent7 & sent4 -> int1: the oboist either is not reportable or does not overawe bitternut or both.; int1 & sent1 -> int2: the farmland does gauge fountain.; sent8 -> int3: the farmland does not tag captor if it gauges fountain.; int2 & int3 -> int4: the farmland does not tag captor.; int4 & sent5 -> int5: the fact that the amygdalin overawes Porcellio and it is a Quoratean is not correct.; int5 & sent9 -> hypothesis; __PROVED__