the quarterdeck does not calcify.
sent1: if the gnat is a squirrel but it is not a reading then the cinnabar is not a fingerprinting. sent2: that the quarterdeck does not calcify is right if the cinnabar is not a fingerprinting. sent3: everything is a kind of a squirrel. sent4: the fact that the wallaby is a bravura and it does nosedive does not hold. sent5: a fingerprinting reads. sent6: the gnat is not a reading if the wallaby does nosedive. sent7: the gnat is not a reading if that the wallaby is a kind of a bravura that does not nosedive is not true. sent8: the wallaby does not calcify if the quarterdeck is not a bravura. sent9: something is a Raleigh and not a fingerprinting if it is not a squirrel. sent10: if the fact that the wallaby nosedives but it is not a squirrel is not right then the gnat is not a kind of a bravura. sent11: something does read and it is a squirrel if it does not calcify. sent12: the fact that the wallaby is a bravura and does not nosedive is not correct.
sent7 & sent12 -> int1: the gnat is not a reading.; sent3 -> int2: the gnat is a kind of a squirrel.; int1 & int2 -> int3: the gnat is a squirrel that does not read.; int3 & sent1 -> int4: the cinnabar is not a fingerprinting.; int4 & sent2 -> hypothesis;
the quarterdeck calcifies.
sent5 -> int5: the wallaby is a kind of a reading if it does fingerprint.;
$hypothesis$ = the quarterdeck does not calcify. ; $context$ = sent1: if the gnat is a squirrel but it is not a reading then the cinnabar is not a fingerprinting. sent2: that the quarterdeck does not calcify is right if the cinnabar is not a fingerprinting. sent3: everything is a kind of a squirrel. sent4: the fact that the wallaby is a bravura and it does nosedive does not hold. sent5: a fingerprinting reads. sent6: the gnat is not a reading if the wallaby does nosedive. sent7: the gnat is not a reading if that the wallaby is a kind of a bravura that does not nosedive is not true. sent8: the wallaby does not calcify if the quarterdeck is not a bravura. sent9: something is a Raleigh and not a fingerprinting if it is not a squirrel. sent10: if the fact that the wallaby nosedives but it is not a squirrel is not right then the gnat is not a kind of a bravura. sent11: something does read and it is a squirrel if it does not calcify. sent12: the fact that the wallaby is a bravura and does not nosedive is not correct. ; $proof$ = 
sent7 & sent12 -> int1: the gnat is not a reading.; sent3 -> int2: the gnat is a kind of a squirrel.; int1 & int2 -> int3: the gnat is a squirrel that does not read.; int3 & sent1 -> int4: the cinnabar is not a fingerprinting.; int4 & sent2 -> hypothesis; __PROVED__