the fact that the factor is not a Cymatiidae is not false.
sent1: if the grist is a kind of a humanitarian then the fact that the barrette is not a obloquy is not incorrect. sent2: a non-afebrile thing that is buteonine does index lifework. sent3: the barrette is a obloquy if it does index light. sent4: if the ridge is non-interdisciplinary then the grist is a kind of non-afebrile thing that is a buteonine. sent5: if something is odorless then it is Prakritic. sent6: if that something is a kind of a lats and does not culture Jersey is incorrect it is not a kind of a lats. sent7: something that indexes lifework is humanitarian. sent8: if something that is a obloquy does index light then the fact that it is not humanitarian is not incorrect. sent9: if the ridge is interdisciplinary then the factor is a Cymatiidae. sent10: if the fact that either something is not a kind of an envoy or it is a lats or both is not right it does index light. sent11: that the barrette is not an envoy and/or is a lats is false. sent12: if the ridge is not a kind of a humanitarian then it is interdisciplinary and it does not index lifework. sent13: that the ridge is a kind of a lats that does not culture Jersey is not right. sent14: if the ridge indexes light then it is interdisciplinary.
void -> assump1: Let's assume that the ridge is not interdisciplinary.; sent4 & assump1 -> int1: the grist is a kind of non-afebrile thing that is a buteonine.; sent2 -> int2: if the grist is both not afebrile and buteonine it does index lifework.; int1 & int2 -> int3: the grist does index lifework.; sent7 -> int4: the grist is a humanitarian if it indexes lifework.; int3 & int4 -> int5: the grist is a kind of a humanitarian.; int5 & sent1 -> int6: the barrette is not a obloquy.; sent10 -> int7: the barrette indexes light if that it is not an envoy and/or it is a kind of a lats is not correct.; int7 & sent11 -> int8: the barrette indexes light.; sent3 & int8 -> int9: the barrette is a obloquy.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the ridge is interdisciplinary.; int11 & sent9 -> hypothesis;
the fact that the factor is not a Cymatiidae is right.
sent8 -> int12: the ridge is not a humanitarian if it is a obloquy and it indexes light.; sent6 -> int13: if the fact that the ridge is a lats but it does not culture Jersey is not correct that it is not a lats is right.; int13 & sent13 -> int14: the ridge is not a kind of a lats.;
$hypothesis$ = the fact that the factor is not a Cymatiidae is not false. ; $context$ = sent1: if the grist is a kind of a humanitarian then the fact that the barrette is not a obloquy is not incorrect. sent2: a non-afebrile thing that is buteonine does index lifework. sent3: the barrette is a obloquy if it does index light. sent4: if the ridge is non-interdisciplinary then the grist is a kind of non-afebrile thing that is a buteonine. sent5: if something is odorless then it is Prakritic. sent6: if that something is a kind of a lats and does not culture Jersey is incorrect it is not a kind of a lats. sent7: something that indexes lifework is humanitarian. sent8: if something that is a obloquy does index light then the fact that it is not humanitarian is not incorrect. sent9: if the ridge is interdisciplinary then the factor is a Cymatiidae. sent10: if the fact that either something is not a kind of an envoy or it is a lats or both is not right it does index light. sent11: that the barrette is not an envoy and/or is a lats is false. sent12: if the ridge is not a kind of a humanitarian then it is interdisciplinary and it does not index lifework. sent13: that the ridge is a kind of a lats that does not culture Jersey is not right. sent14: if the ridge indexes light then it is interdisciplinary. ; $proof$ = 
void -> assump1: Let's assume that the ridge is not interdisciplinary.; sent4 & assump1 -> int1: the grist is a kind of non-afebrile thing that is a buteonine.; sent2 -> int2: if the grist is both not afebrile and buteonine it does index lifework.; int1 & int2 -> int3: the grist does index lifework.; sent7 -> int4: the grist is a humanitarian if it indexes lifework.; int3 & int4 -> int5: the grist is a kind of a humanitarian.; int5 & sent1 -> int6: the barrette is not a obloquy.; sent10 -> int7: the barrette indexes light if that it is not an envoy and/or it is a kind of a lats is not correct.; int7 & sent11 -> int8: the barrette indexes light.; sent3 & int8 -> int9: the barrette is a obloquy.; int6 & int9 -> int10: this is contradiction.; [assump1] & int10 -> int11: the ridge is interdisciplinary.; int11 & sent9 -> hypothesis; __DISPROVED__