the wireman is biosystematic.
sent1: if the wireman is not rhombic the cortisone is not a arrowworm. sent2: either the island is not an applet or it is clitoral or both if the horseradish is not salable. sent3: the wireman is biosystematic and it is a Urodella if the island is not an applet. sent4: if something is not dictyopteran it is not semi-tuberous. sent5: the island does not mark island if the prune is not a Urodella. sent6: if the fact that the horseradish is not salable but it is an applet does not hold the fact that the prune is not clitoral hold. sent7: the fact that the cortisone is not a kind of a Urodella is true. sent8: something is not salable if that it does mark island and it is rhombic does not hold. sent9: that the prune is non-clitoral an applet is wrong if that the horseradish is not a kind of an applet is true. sent10: the fact that the horseradish is both not salable and an applet is wrong if the island is not a Urodella. sent11: the bailiwick is not a kind of a Urodella. sent12: the fact that the cortisone is not clitoral but it marks island is not true. sent13: the cortisone is not a smothered if the fact that it is not rhombic and it marks island is not right. sent14: something is not biosystematic if it is not a arrowworm. sent15: that the island is not a Urodella but it is rhombic is not correct if the cortisone is not rhombic. sent16: there is something such that that it is a grating and is a kind of a canine does not hold. sent17: if the prune does not mark island then the fact that the cortisone is a kind of non-rhombic thing that does mark island is wrong. sent18: the prune is not a arrowworm and is not a smothered. sent19: the fact that the wireman is not a arrowworm is correct if the cortisone does not smother. sent20: something is not an applet if the fact that it is not a kind of an applet and/or is clitoral is not wrong. sent21: the prune is not a Urodella. sent22: the fact that the soap is distal and it is myopathic is not right. sent23: if the cortisone is not a arrowworm then the fact that the wireman does not mark island and is biosystematic is not right. sent24: if there exists something such that that it does not grate and it is a canine is not correct the island is not a kind of a Urodella. sent25: the wireman does not mark island if the cortisone is not a arrowworm. sent26: there is something such that it is not a grating but a canine. sent27: the fact that the prune does not mark island is true if it is not clitoral. sent28: there is something such that the fact that it is not a grating and it is a canine does not hold.
sent28 & sent24 -> int1: that the island is not a Urodella hold.; int1 & sent10 -> int2: the fact that the horseradish is not salable but it is an applet is false.; int2 & sent6 -> int3: the prune is not clitoral.; int3 & sent27 -> int4: the prune does not mark island.; int4 & sent17 -> int5: that the cortisone is not rhombic but it does mark island does not hold.; int5 & sent13 -> int6: the cortisone does not smother.; int6 & sent19 -> int7: the wireman is not a arrowworm.; sent14 -> int8: if the wireman is not a arrowworm it is not biosystematic.; int7 & int8 -> hypothesis;
the wireman is biosystematic.
sent20 -> int9: that the island is not an applet hold if it either is not an applet or is clitoral or both.; sent8 -> int10: if the fact that the horseradish does mark island and it is rhombic is wrong it is not salable.; sent18 -> int11: the prune is not a smothered.; int11 -> int12: there exists something such that it does not smother.;
$hypothesis$ = the wireman is biosystematic. ; $context$ = sent1: if the wireman is not rhombic the cortisone is not a arrowworm. sent2: either the island is not an applet or it is clitoral or both if the horseradish is not salable. sent3: the wireman is biosystematic and it is a Urodella if the island is not an applet. sent4: if something is not dictyopteran it is not semi-tuberous. sent5: the island does not mark island if the prune is not a Urodella. sent6: if the fact that the horseradish is not salable but it is an applet does not hold the fact that the prune is not clitoral hold. sent7: the fact that the cortisone is not a kind of a Urodella is true. sent8: something is not salable if that it does mark island and it is rhombic does not hold. sent9: that the prune is non-clitoral an applet is wrong if that the horseradish is not a kind of an applet is true. sent10: the fact that the horseradish is both not salable and an applet is wrong if the island is not a Urodella. sent11: the bailiwick is not a kind of a Urodella. sent12: the fact that the cortisone is not clitoral but it marks island is not true. sent13: the cortisone is not a smothered if the fact that it is not rhombic and it marks island is not right. sent14: something is not biosystematic if it is not a arrowworm. sent15: that the island is not a Urodella but it is rhombic is not correct if the cortisone is not rhombic. sent16: there is something such that that it is a grating and is a kind of a canine does not hold. sent17: if the prune does not mark island then the fact that the cortisone is a kind of non-rhombic thing that does mark island is wrong. sent18: the prune is not a arrowworm and is not a smothered. sent19: the fact that the wireman is not a arrowworm is correct if the cortisone does not smother. sent20: something is not an applet if the fact that it is not a kind of an applet and/or is clitoral is not wrong. sent21: the prune is not a Urodella. sent22: the fact that the soap is distal and it is myopathic is not right. sent23: if the cortisone is not a arrowworm then the fact that the wireman does not mark island and is biosystematic is not right. sent24: if there exists something such that that it does not grate and it is a canine is not correct the island is not a kind of a Urodella. sent25: the wireman does not mark island if the cortisone is not a arrowworm. sent26: there is something such that it is not a grating but a canine. sent27: the fact that the prune does not mark island is true if it is not clitoral. sent28: there is something such that the fact that it is not a grating and it is a canine does not hold. ; $proof$ = 
sent28 & sent24 -> int1: that the island is not a Urodella hold.; int1 & sent10 -> int2: the fact that the horseradish is not salable but it is an applet is false.; int2 & sent6 -> int3: the prune is not clitoral.; int3 & sent27 -> int4: the prune does not mark island.; int4 & sent17 -> int5: that the cortisone is not rhombic but it does mark island does not hold.; int5 & sent13 -> int6: the cortisone does not smother.; int6 & sent19 -> int7: the wireman is not a arrowworm.; sent14 -> int8: if the wireman is not a arrowworm it is not biosystematic.; int7 & int8 -> hypothesis; __DISPROVED__