the provider is a largess but it is not occlusive.
sent1: something does curl if it does not grasp weeder. sent2: the weeder does grasp weeder but it does not ogle lawn. sent3: the provider is not toneless. sent4: the foxhound is non-bacteriological thing that is a Tyrolean. sent5: that the provider is a largess and it is occlusive is false. sent6: something does not grasp weeder if it ogles lawn. sent7: the fact that the weeder does not ogle lawn and is a Fischer is not true. sent8: if the weeder grasps weeder but it does not ogle lawn the provider does not grasps weeder. sent9: if something that is not a Fischer is a point it does not curl. sent10: if the provider is occlusive then it is not bacteriological. sent11: that something is a largess but it is not occlusive is false if it is not a malodorousness. sent12: something is not a malodorousness if the fact that it is not a Fischer and it points is not true. sent13: the fact that the provider is a Fischer and it points is not correct. sent14: if something is a Fischer then it is not a malodorousness.
sent9 -> int1: the provider does not curl if it is not a Fischer and it points.; void -> assump1: Let's assume that the provider is not a Fischer but a point.; int1 & assump1 -> int2: the provider does not curl.; sent1 -> int3: the provider curls if it does not grasp weeder.; sent8 & sent2 -> int4: the provider does not grasp weeder.; int3 & int4 -> int5: the provider does curl.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the provider is not a kind of a Fischer and is a point is not correct.; sent12 -> int8: if the fact that the provider is not a Fischer but it is a kind of a point does not hold it is not a malodorousness.; int7 & int8 -> int9: the provider is not a malodorousness.; sent11 -> int10: if the fact that the provider is a malodorousness is not true then the fact that it is a largess and is not occlusive is wrong.; int9 & int10 -> hypothesis;
$hypothesis$ = the provider is a largess but it is not occlusive. ; $context$ = sent1: something does curl if it does not grasp weeder. sent2: the weeder does grasp weeder but it does not ogle lawn. sent3: the provider is not toneless. sent4: the foxhound is non-bacteriological thing that is a Tyrolean. sent5: that the provider is a largess and it is occlusive is false. sent6: something does not grasp weeder if it ogles lawn. sent7: the fact that the weeder does not ogle lawn and is a Fischer is not true. sent8: if the weeder grasps weeder but it does not ogle lawn the provider does not grasps weeder. sent9: if something that is not a Fischer is a point it does not curl. sent10: if the provider is occlusive then it is not bacteriological. sent11: that something is a largess but it is not occlusive is false if it is not a malodorousness. sent12: something is not a malodorousness if the fact that it is not a Fischer and it points is not true. sent13: the fact that the provider is a Fischer and it points is not correct. sent14: if something is a Fischer then it is not a malodorousness. ; $proof$ = 
sent9 -> int1: the provider does not curl if it is not a Fischer and it points.; void -> assump1: Let's assume that the provider is not a Fischer but a point.; int1 & assump1 -> int2: the provider does not curl.; sent1 -> int3: the provider curls if it does not grasp weeder.; sent8 & sent2 -> int4: the provider does not grasp weeder.; int3 & int4 -> int5: the provider does curl.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: that the provider is not a kind of a Fischer and is a point is not correct.; sent12 -> int8: if the fact that the provider is not a Fischer but it is a kind of a point does not hold it is not a malodorousness.; int7 & int8 -> int9: the provider is not a malodorousness.; sent11 -> int10: if the fact that the provider is a malodorousness is not true then the fact that it is a largess and is not occlusive is wrong.; int9 & int10 -> hypothesis; __DISPROVED__