the fact that the obturator does not default and/or does not outgeneral unknowingness is not true.
sent1: The choreography does outgeneral spokesman. sent2: the spokesman does outgeneral choreography. sent3: a sentential thing is not a sarsaparilla but leptosporangiate. sent4: the spokesman is a sarsaparilla if it outgenerals choreography. sent5: the omnibus is a Danaidae and/or it is exoteric. sent6: the obturator is not a default and/or it does outgeneral unknowingness. sent7: if the pectoral is not a sarsaparilla but it is leptosporangiate the waterline is not a sarsaparilla. sent8: the fact that the C outgenerals choreography and is not exoteric is not correct if the waterline is not a sarsaparilla. sent9: the fact that the obturator is not a sarsaparilla is true if there is something such that it either is a default or does outgeneral unknowingness or both. sent10: if there exists something such that it is a sarsaparilla and/or it is exoteric the obturator is not a kind of a default. sent11: the clementine is not noseless or it does not outgeneral unknowingness or both. sent12: the pectoral is sentential if the call is a Larousse but not sentential. sent13: the spokesman does not default.
sent4 & sent2 -> int1: the spokesman is a sarsaparilla.; int1 -> int2: the spokesman is a sarsaparilla and/or exoteric.; int2 -> int3: something is a sarsaparilla or not non-exoteric or both.; int3 & sent10 -> int4: the fact that the obturator does not default is not wrong.; int4 -> hypothesis;
the mandible does outgeneral unknowingness.
sent13 -> int5: there is something such that it does not default.;
$hypothesis$ = the fact that the obturator does not default and/or does not outgeneral unknowingness is not true. ; $context$ = sent1: The choreography does outgeneral spokesman. sent2: the spokesman does outgeneral choreography. sent3: a sentential thing is not a sarsaparilla but leptosporangiate. sent4: the spokesman is a sarsaparilla if it outgenerals choreography. sent5: the omnibus is a Danaidae and/or it is exoteric. sent6: the obturator is not a default and/or it does outgeneral unknowingness. sent7: if the pectoral is not a sarsaparilla but it is leptosporangiate the waterline is not a sarsaparilla. sent8: the fact that the C outgenerals choreography and is not exoteric is not correct if the waterline is not a sarsaparilla. sent9: the fact that the obturator is not a sarsaparilla is true if there is something such that it either is a default or does outgeneral unknowingness or both. sent10: if there exists something such that it is a sarsaparilla and/or it is exoteric the obturator is not a kind of a default. sent11: the clementine is not noseless or it does not outgeneral unknowingness or both. sent12: the pectoral is sentential if the call is a Larousse but not sentential. sent13: the spokesman does not default. ; $proof$ = 
sent4 & sent2 -> int1: the spokesman is a sarsaparilla.; int1 -> int2: the spokesman is a sarsaparilla and/or exoteric.; int2 -> int3: something is a sarsaparilla or not non-exoteric or both.; int3 & sent10 -> int4: the fact that the obturator does not default is not wrong.; int4 -> hypothesis; __DISPROVED__