the profiterole is not a kind of a climb.
sent1: if the fact that something does pole itraconazole and is not a neuralgia is false then it is a climb. sent2: something is not zymotic. sent3: there exists something such that it is not invisible. sent4: if something that does broadcast is a things it does not mean xylose. sent5: the profiterole is not a things. sent6: if there exists something such that it is not invisible the xylose does mean mealworm and it capitalizes. sent7: if that something does mean xylose but it does not climb is incorrect the fact that it does not mean mealworm is not right. sent8: the xylose does capitalize. sent9: the fact that something does pole itraconazole and is not a neuralgia is not correct if it does not mean xylose. sent10: something is invisible. sent11: if something is a broadcast and not a things the fact that it does mean xylose is wrong. sent12: that if the xylose does mean mealworm the profiterole is a broadcast and is not a kind of a things is right. sent13: the profiterole does not mean xylose if it does broadcast and is a kind of a things.
sent3 & sent6 -> int1: the xylose does mean mealworm and it capitalizes.; int1 -> int2: the xylose means mealworm.; int2 & sent12 -> int3: the profiterole is a broadcast but it is not a things.; sent11 -> int4: if the profiterole broadcasts but it is not a kind of a things then the fact that it does not mean xylose is not false.; int3 & int4 -> int5: the profiterole does not mean xylose.; sent9 -> int6: if the profiterole does not mean xylose then that it poles itraconazole and is not a kind of a neuralgia is false.; int5 & int6 -> int7: the fact that the profiterole does pole itraconazole and is not a neuralgia does not hold.; sent1 -> int8: if that the profiterole does pole itraconazole but it is not a neuralgia is not true it climbs.; int7 & int8 -> hypothesis;
$hypothesis$ = the profiterole is not a kind of a climb. ; $context$ = sent1: if the fact that something does pole itraconazole and is not a neuralgia is false then it is a climb. sent2: something is not zymotic. sent3: there exists something such that it is not invisible. sent4: if something that does broadcast is a things it does not mean xylose. sent5: the profiterole is not a things. sent6: if there exists something such that it is not invisible the xylose does mean mealworm and it capitalizes. sent7: if that something does mean xylose but it does not climb is incorrect the fact that it does not mean mealworm is not right. sent8: the xylose does capitalize. sent9: the fact that something does pole itraconazole and is not a neuralgia is not correct if it does not mean xylose. sent10: something is invisible. sent11: if something is a broadcast and not a things the fact that it does mean xylose is wrong. sent12: that if the xylose does mean mealworm the profiterole is a broadcast and is not a kind of a things is right. sent13: the profiterole does not mean xylose if it does broadcast and is a kind of a things. ; $proof$ = 
sent3 & sent6 -> int1: the xylose does mean mealworm and it capitalizes.; int1 -> int2: the xylose means mealworm.; int2 & sent12 -> int3: the profiterole is a broadcast but it is not a things.; sent11 -> int4: if the profiterole broadcasts but it is not a kind of a things then the fact that it does not mean xylose is not false.; int3 & int4 -> int5: the profiterole does not mean xylose.; sent9 -> int6: if the profiterole does not mean xylose then that it poles itraconazole and is not a kind of a neuralgia is false.; int5 & int6 -> int7: the fact that the profiterole does pole itraconazole and is not a neuralgia does not hold.; sent1 -> int8: if that the profiterole does pole itraconazole but it is not a neuralgia is not true it climbs.; int7 & int8 -> hypothesis; __DISPROVED__