that the cruiserweight is cross-ply and it does quarantine credendum is false.
sent1: if the moss-trooper is both not cross-ply and not Angolan then it is not a bottomed. sent2: if the moss-trooper limps the specialist is not a kind of a feed and it does not hustle. sent3: if the cruiserweight is a braggadocio that broils payables then it is not a feed. sent4: The fact that the payables does not broil cruiserweight is wrong. sent5: the moss-trooper does not fabricate casserole and it is not saprophytic if there is something such that the fact that it limps is not false. sent6: the moss-trooper does not fabricate casserole. sent7: there is something such that it limps. sent8: the moss-trooper does not fabricate pulley and is unerect. sent9: the moss-trooper broaches if it is not a kind of a spoon. sent10: if the moss-trooper does broach then the cruiserweight is a kind of a braggadocio. sent11: the moss-trooper does not fabricate casserole if that there is something such that it does limp is right. sent12: the fact that the cruiserweight does not broil payables is wrong. sent13: if the cruiserweight does not fabricate casserole that it is a kind of a braggadocio is not wrong. sent14: the fact that the cruiserweight is cross-ply and quarantines credendum is not correct if it does not feed. sent15: if there is something such that it is saprophytic then the moss-trooper is not cross-ply and does not quarantine credendum. sent16: the moss-trooper is not a spoon if it does not fabricate casserole and is not saprophytic. sent17: the moss-trooper is not a spoon if it fabricates casserole and is not saprophytic.
sent7 & sent5 -> int1: the moss-trooper does not fabricate casserole and is not saprophytic.; int1 & sent16 -> int2: the moss-trooper is not a spoon.; int2 & sent9 -> int3: the moss-trooper broaches.; int3 & sent10 -> int4: the cruiserweight is a braggadocio.; int4 & sent12 -> int5: the cruiserweight is a braggadocio and does broil payables.; int5 & sent3 -> int6: the cruiserweight is not a feed.; int6 & sent14 -> hypothesis;
the specialist is not a feed and does not hustle.
$hypothesis$ = that the cruiserweight is cross-ply and it does quarantine credendum is false. ; $context$ = sent1: if the moss-trooper is both not cross-ply and not Angolan then it is not a bottomed. sent2: if the moss-trooper limps the specialist is not a kind of a feed and it does not hustle. sent3: if the cruiserweight is a braggadocio that broils payables then it is not a feed. sent4: The fact that the payables does not broil cruiserweight is wrong. sent5: the moss-trooper does not fabricate casserole and it is not saprophytic if there is something such that the fact that it limps is not false. sent6: the moss-trooper does not fabricate casserole. sent7: there is something such that it limps. sent8: the moss-trooper does not fabricate pulley and is unerect. sent9: the moss-trooper broaches if it is not a kind of a spoon. sent10: if the moss-trooper does broach then the cruiserweight is a kind of a braggadocio. sent11: the moss-trooper does not fabricate casserole if that there is something such that it does limp is right. sent12: the fact that the cruiserweight does not broil payables is wrong. sent13: if the cruiserweight does not fabricate casserole that it is a kind of a braggadocio is not wrong. sent14: the fact that the cruiserweight is cross-ply and quarantines credendum is not correct if it does not feed. sent15: if there is something such that it is saprophytic then the moss-trooper is not cross-ply and does not quarantine credendum. sent16: the moss-trooper is not a spoon if it does not fabricate casserole and is not saprophytic. sent17: the moss-trooper is not a spoon if it fabricates casserole and is not saprophytic. ; $proof$ = 
sent7 & sent5 -> int1: the moss-trooper does not fabricate casserole and is not saprophytic.; int1 & sent16 -> int2: the moss-trooper is not a spoon.; int2 & sent9 -> int3: the moss-trooper broaches.; int3 & sent10 -> int4: the cruiserweight is a braggadocio.; int4 & sent12 -> int5: the cruiserweight is a braggadocio and does broil payables.; int5 & sent3 -> int6: the cruiserweight is not a feed.; int6 & sent14 -> hypothesis; __PROVED__