the fact that the polystyrene does not tame Mantispidae and is dicarboxylic does not hold.
sent1: the fact that the polystyrene does tame Mantispidae and is dicarboxylic is incorrect if the Brazil does not tame GPA. sent2: the heathfowl is not an altitude and it is non-ventilatory. sent3: that the Brazil does not tame GPA if the fact that the Brazil murmurs nidus but it is not bionics is not right hold. sent4: that the Brazil does murmur nidus but it is not bionics is incorrect. sent5: that the Brazil is macerative and not a crosshead is not correct if it does not tame entity. sent6: if the leatherwood is dicarboxylic then it tames GPA. sent7: the fact that the Brazil does tame Mantispidae but it is not bionics does not hold. sent8: if something that is not an altitude is not ventilatory then it does tame preceptorship. sent9: the fact that the polystyrene does not murmur nidus is true. sent10: if something tames preceptorship the fact that it is fewer is correct. sent11: that the Brazil is not bionics and does tame Mantispidae does not hold. sent12: if the fact that something is not non-figurative or it does not tame GPA or both is true it does not tame GPA. sent13: the fact that the arcella does not murmur nidus hold. sent14: if the Brazil is bionics that it does not tame GPA is correct. sent15: the Brazil does not tame entity if the leatherwood does not tame entity. sent16: something does not tame Mantispidae but it is dicarboxylic if it does not tame GPA. sent17: if something is fewer then the fact that the fact that it is not a fug and tames entity hold is wrong. sent18: if the Eritrean does not tame entity then that the leatherwood does not tame entity hold. sent19: the fact that the polystyrene tames Mantispidae and it is dicarboxylic does not hold. sent20: the fact that the polystyrene does not murmur salesman and murmurs nidus is false. sent21: if the fact that the heathfowl is not a fug and tames entity is not true then the Eritrean does not tames entity. sent22: that the Brazil murmurs nidus and it is bionics is incorrect. sent23: if the Brazil does not tame GPA then that the polystyrene does not tame Mantispidae and is dicarboxylic is wrong.
sent3 & sent4 -> int1: the Brazil does not tame GPA.; sent23 & int1 -> hypothesis;
the polystyrene does not tame Mantispidae and is dicarboxylic.
sent16 -> int2: the polystyrene does not tame Mantispidae and is dicarboxylic if it does not tame GPA.; sent12 -> int3: the polystyrene does not tame GPA if it is figurative or it does not tame GPA or both.; sent17 -> int4: if the heathfowl is fewer then the fact that it is not a fug and tames entity is not correct.; sent10 -> int5: if the heathfowl does tame preceptorship it is fewer.; sent8 -> int6: the heathfowl tames preceptorship if it is not an altitude and it is not ventilatory.; int6 & sent2 -> int7: the heathfowl tames preceptorship.; int5 & int7 -> int8: the heathfowl is fewer.; int4 & int8 -> int9: the fact that the heathfowl is not a fug and tames entity is not correct.; sent21 & int9 -> int10: the Eritrean does not tame entity.; sent18 & int10 -> int11: the leatherwood does not tame entity.; sent15 & int11 -> int12: the fact that the Brazil does not tame entity is correct.; sent5 & int12 -> int13: the fact that the Brazil is macerative and is not a crosshead does not hold.; int13 -> int14: there is something such that the fact that it is macerative and it is not a crosshead is not right.;
$hypothesis$ = the fact that the polystyrene does not tame Mantispidae and is dicarboxylic does not hold. ; $context$ = sent1: the fact that the polystyrene does tame Mantispidae and is dicarboxylic is incorrect if the Brazil does not tame GPA. sent2: the heathfowl is not an altitude and it is non-ventilatory. sent3: that the Brazil does not tame GPA if the fact that the Brazil murmurs nidus but it is not bionics is not right hold. sent4: that the Brazil does murmur nidus but it is not bionics is incorrect. sent5: that the Brazil is macerative and not a crosshead is not correct if it does not tame entity. sent6: if the leatherwood is dicarboxylic then it tames GPA. sent7: the fact that the Brazil does tame Mantispidae but it is not bionics does not hold. sent8: if something that is not an altitude is not ventilatory then it does tame preceptorship. sent9: the fact that the polystyrene does not murmur nidus is true. sent10: if something tames preceptorship the fact that it is fewer is correct. sent11: that the Brazil is not bionics and does tame Mantispidae does not hold. sent12: if the fact that something is not non-figurative or it does not tame GPA or both is true it does not tame GPA. sent13: the fact that the arcella does not murmur nidus hold. sent14: if the Brazil is bionics that it does not tame GPA is correct. sent15: the Brazil does not tame entity if the leatherwood does not tame entity. sent16: something does not tame Mantispidae but it is dicarboxylic if it does not tame GPA. sent17: if something is fewer then the fact that the fact that it is not a fug and tames entity hold is wrong. sent18: if the Eritrean does not tame entity then that the leatherwood does not tame entity hold. sent19: the fact that the polystyrene tames Mantispidae and it is dicarboxylic does not hold. sent20: the fact that the polystyrene does not murmur salesman and murmurs nidus is false. sent21: if the fact that the heathfowl is not a fug and tames entity is not true then the Eritrean does not tames entity. sent22: that the Brazil murmurs nidus and it is bionics is incorrect. sent23: if the Brazil does not tame GPA then that the polystyrene does not tame Mantispidae and is dicarboxylic is wrong. ; $proof$ = 
sent3 & sent4 -> int1: the Brazil does not tame GPA.; sent23 & int1 -> hypothesis; __PROVED__