the breakable is a kind of a Centropus.
sent1: if the gib is not a Centropus or is pharyngeal or both then it is a kind of a streamer. sent2: the rainstorm is non-antibiotic if the meteortropism is not a buyer but pharyngeal. sent3: the gib is not a streamer or it is an antic or both. sent4: the gib is a streamer if that the rainstorm is not a kind of a streamer but it is a Centropus is not true. sent5: the meteortropism is not a kind of a buyer but it is pharyngeal if the gib is pharyngeal. sent6: the fact that the rainstorm is not a streamer but it is a Centropus does not hold if the fact that the tangency is not an antibiotic is right. sent7: the rainstorm either is not a frame or is not an antibiotic or both. sent8: if the gib does not lean it is a klondike. sent9: if that something does caper and it is a kind of a klondike does not hold it is not a Centropus. sent10: if the tangency is not a kind of an antibiotic and/or it is not a frame the breakable is a Centropus. sent11: something is not pharyngeal if it is a caper and it is a klondike. sent12: if the rainstorm is not an antibiotic the tangency is not an antibiotic and/or it does not frame. sent13: if something is not pharyngeal but it is a buyer it is not a klondike. sent14: the gib is not lean. sent15: the meteortropism is a kind of a buyer and it is pharyngeal if that it is not an antibiotic hold. sent16: if the gib is not a kind of a caper and is a kind of a streamer the PIE is not a streamer.
sent8 & sent14 -> int1: the gib is a kind of a klondike.; sent11 -> int2: if the gib is a caper and is a kind of a klondike then it is not pharyngeal.;
the breakable is not a Centropus.
sent9 -> int3: the breakable is not a kind of a Centropus if the fact that it capers and it is a klondike is incorrect.;
$hypothesis$ = the breakable is a kind of a Centropus. ; $context$ = sent1: if the gib is not a Centropus or is pharyngeal or both then it is a kind of a streamer. sent2: the rainstorm is non-antibiotic if the meteortropism is not a buyer but pharyngeal. sent3: the gib is not a streamer or it is an antic or both. sent4: the gib is a streamer if that the rainstorm is not a kind of a streamer but it is a Centropus is not true. sent5: the meteortropism is not a kind of a buyer but it is pharyngeal if the gib is pharyngeal. sent6: the fact that the rainstorm is not a streamer but it is a Centropus does not hold if the fact that the tangency is not an antibiotic is right. sent7: the rainstorm either is not a frame or is not an antibiotic or both. sent8: if the gib does not lean it is a klondike. sent9: if that something does caper and it is a kind of a klondike does not hold it is not a Centropus. sent10: if the tangency is not a kind of an antibiotic and/or it is not a frame the breakable is a Centropus. sent11: something is not pharyngeal if it is a caper and it is a klondike. sent12: if the rainstorm is not an antibiotic the tangency is not an antibiotic and/or it does not frame. sent13: if something is not pharyngeal but it is a buyer it is not a klondike. sent14: the gib is not lean. sent15: the meteortropism is a kind of a buyer and it is pharyngeal if that it is not an antibiotic hold. sent16: if the gib is not a kind of a caper and is a kind of a streamer the PIE is not a streamer. ; $proof$ = 
sent8 & sent14 -> int1: the gib is a kind of a klondike.; sent11 -> int2: if the gib is a caper and is a kind of a klondike then it is not pharyngeal.; __UNKNOWN__