the cocker is not a kind of a teaser.
sent1: something is a kind of a symphysion if it attends. sent2: if the fact that the propane does smock spank is not wrong the kidnapper panels but it does not smock spank. sent3: the Visayan attends if it does dilapidate gumdrop. sent4: if the kidnapper is Gallican the cocker is a kind of a teaser. sent5: if the propane is not a kind of a symphysion then that the Visayan does not attend and/or it dilapidates gumdrop is not right. sent6: the cocker is a kind of a teaser if that the kidnapper does not spill Ceylonite is correct. sent7: The gumdrop does dilapidate Visayan. sent8: something does not smock Capet if it panels and does not smock spank. sent9: if something does not smock Capet then it is Gallican or does not spill Ceylonite or both. sent10: the propane smocks spank if the Visayan is a symphysion. sent11: the Visayan does dilapidate gumdrop.
sent3 & sent11 -> int1: the Visayan attends.; sent1 -> int2: if the fact that the Visayan does attend is not wrong then it is a kind of a symphysion.; int1 & int2 -> int3: the Visayan is a kind of a symphysion.; int3 & sent10 -> int4: the propane smocks spank.; int4 & sent2 -> int5: the kidnapper is a kind of a panel but it does not smock spank.; sent8 -> int6: if the kidnapper panels but it does not smock spank then it does not smock Capet.; int5 & int6 -> int7: the kidnapper does not smock Capet.; sent9 -> int8: the kidnapper is Gallican and/or does not spill Ceylonite if it does not smock Capet.; int7 & int8 -> int9: the kidnapper is Gallican and/or it does not spill Ceylonite.; int9 & sent4 & sent6 -> hypothesis;
the cocker is not a kind of a teaser.
$hypothesis$ = the cocker is not a kind of a teaser. ; $context$ = sent1: something is a kind of a symphysion if it attends. sent2: if the fact that the propane does smock spank is not wrong the kidnapper panels but it does not smock spank. sent3: the Visayan attends if it does dilapidate gumdrop. sent4: if the kidnapper is Gallican the cocker is a kind of a teaser. sent5: if the propane is not a kind of a symphysion then that the Visayan does not attend and/or it dilapidates gumdrop is not right. sent6: the cocker is a kind of a teaser if that the kidnapper does not spill Ceylonite is correct. sent7: The gumdrop does dilapidate Visayan. sent8: something does not smock Capet if it panels and does not smock spank. sent9: if something does not smock Capet then it is Gallican or does not spill Ceylonite or both. sent10: the propane smocks spank if the Visayan is a symphysion. sent11: the Visayan does dilapidate gumdrop. ; $proof$ = 
sent3 & sent11 -> int1: the Visayan attends.; sent1 -> int2: if the fact that the Visayan does attend is not wrong then it is a kind of a symphysion.; int1 & int2 -> int3: the Visayan is a kind of a symphysion.; int3 & sent10 -> int4: the propane smocks spank.; int4 & sent2 -> int5: the kidnapper is a kind of a panel but it does not smock spank.; sent8 -> int6: if the kidnapper panels but it does not smock spank then it does not smock Capet.; int5 & int6 -> int7: the kidnapper does not smock Capet.; sent9 -> int8: the kidnapper is Gallican and/or does not spill Ceylonite if it does not smock Capet.; int7 & int8 -> int9: the kidnapper is Gallican and/or it does not spill Ceylonite.; int9 & sent4 & sent6 -> hypothesis; __DISPROVED__