the theodolite is both insensitive and not parotid.
sent1: the fact that the theodolite is not sensitive and is not parotid is not right if the dockside is not a kind of a fleapit. sent2: if something is both not sensitive and not supervisory it is handless. sent3: if something is not acetonic and it does not clink porch then it is a fleapit. sent4: if the theodolite anticipates the doorframe clinks porch. sent5: the singlestick does unionize pacer if the doorframe is not a kind of a modernism and/or is not supervisory. sent6: if the doorframe does not anticipate it is a kind of a modernism or it is not supervisory or both. sent7: if the Booth is parotid then that it is not acetonic is not wrong. sent8: the doorframe is not a modernism or not supervisory or both if it does not anticipate. sent9: if the fact that the Booth is not parotid and it is not handless is wrong then the theodolite is not parotid. sent10: if that the Booth is parotid hold then that the theodolite is not parotid is correct. sent11: the jadeite clinks porch. sent12: if that something is a fleapit that does not unionize pacer is wrong that it is not a fleapit is not wrong. sent13: if there exists something such that it is a connivance the fact that the fact that the singlestick does unionize pacer is right is not true. sent14: if the Booth does not unionize pacer and is not a fleapit it is parotid. sent15: that the Booth is a modernism if the doorframe is handless is true. sent16: the fact that the dockside is a kind of a fleapit and does not unionize pacer is incorrect if the singlestick is a kind of a connivance. sent17: the doorframe does not regard. sent18: there is nothing that is not parotid and is not handless. sent19: the theodolite is not acetonic. sent20: the singlestick is not acetonic. sent21: if the doorframe does clink porch it is not a kind of a modernism. sent22: the doorframe does not anticipate. sent23: the porch does not clink porch if the dockside clink porch and is a fleapit. sent24: the Booth is sensitive if it is non-parotid and it is not handless. sent25: if something is sensitive then it is not acetonic and it does not clink porch.
sent25 -> int1: the theodolite is not acetonic and it does not clink porch if it is sensitive.; void -> assump1: Let's assume that the theodolite is sensitive.; int1 & assump1 -> int2: the theodolite is a kind of non-acetonic thing that does not clink porch.; sent3 -> int3: the theodolite is a fleapit if it is non-acetonic thing that does not clink porch.; int2 & int3 -> int4: the fact that the theodolite is a fleapit is right.; sent8 & sent22 -> int5: the doorframe is not a kind of a modernism and/or is not supervisory.; sent5 & int5 -> int6: the singlestick does unionize pacer.; sent18 -> int7: that the Booth is non-parotid thing that is not handless is not correct.; sent9 & int7 -> int8: the theodolite is not parotid.;
that the theodolite is non-sensitive thing that is not parotid is not correct.
sent12 -> int9: the dockside is not a fleapit if that it is a fleapit and it does not unionize pacer is wrong.;
$hypothesis$ = the theodolite is both insensitive and not parotid. ; $context$ = sent1: the fact that the theodolite is not sensitive and is not parotid is not right if the dockside is not a kind of a fleapit. sent2: if something is both not sensitive and not supervisory it is handless. sent3: if something is not acetonic and it does not clink porch then it is a fleapit. sent4: if the theodolite anticipates the doorframe clinks porch. sent5: the singlestick does unionize pacer if the doorframe is not a kind of a modernism and/or is not supervisory. sent6: if the doorframe does not anticipate it is a kind of a modernism or it is not supervisory or both. sent7: if the Booth is parotid then that it is not acetonic is not wrong. sent8: the doorframe is not a modernism or not supervisory or both if it does not anticipate. sent9: if the fact that the Booth is not parotid and it is not handless is wrong then the theodolite is not parotid. sent10: if that the Booth is parotid hold then that the theodolite is not parotid is correct. sent11: the jadeite clinks porch. sent12: if that something is a fleapit that does not unionize pacer is wrong that it is not a fleapit is not wrong. sent13: if there exists something such that it is a connivance the fact that the fact that the singlestick does unionize pacer is right is not true. sent14: if the Booth does not unionize pacer and is not a fleapit it is parotid. sent15: that the Booth is a modernism if the doorframe is handless is true. sent16: the fact that the dockside is a kind of a fleapit and does not unionize pacer is incorrect if the singlestick is a kind of a connivance. sent17: the doorframe does not regard. sent18: there is nothing that is not parotid and is not handless. sent19: the theodolite is not acetonic. sent20: the singlestick is not acetonic. sent21: if the doorframe does clink porch it is not a kind of a modernism. sent22: the doorframe does not anticipate. sent23: the porch does not clink porch if the dockside clink porch and is a fleapit. sent24: the Booth is sensitive if it is non-parotid and it is not handless. sent25: if something is sensitive then it is not acetonic and it does not clink porch. ; $proof$ = 
sent25 -> int1: the theodolite is not acetonic and it does not clink porch if it is sensitive.; void -> assump1: Let's assume that the theodolite is sensitive.; int1 & assump1 -> int2: the theodolite is a kind of non-acetonic thing that does not clink porch.; sent3 -> int3: the theodolite is a fleapit if it is non-acetonic thing that does not clink porch.; int2 & int3 -> int4: the fact that the theodolite is a fleapit is right.; sent8 & sent22 -> int5: the doorframe is not a kind of a modernism and/or is not supervisory.; sent5 & int5 -> int6: the singlestick does unionize pacer.; sent18 -> int7: that the Booth is non-parotid thing that is not handless is not correct.; sent9 & int7 -> int8: the theodolite is not parotid.; __UNKNOWN__