the fact that the thermoelectricity is not a basidiolichen hold.
sent1: the thermoelectricity is a jay. sent2: if there exists something such that it is not lathery the hovel is inextinguishable and is a uppercut. sent3: if that the hovel is not inextinguishable is wrong that it does not darken and is a greave is not true. sent4: the fact that something does not darken and is a greave is incorrect if it is inextinguishable. sent5: if something is inextinguishable that it does not darken and it is not a greave is not right. sent6: the carbonado spoils thermoelectricity and is an edification. sent7: the hovel is a kind of a jay if the fact that it is a greave is not incorrect. sent8: the thermoelectricity is a basidiolichen if the carbonado is a kind of a bootleg. sent9: something is lathery and it is inextinguishable if it is not a uppercut. sent10: if the hovel is a jay the carbonado is a bootleg. sent11: the fact that the fact that the carbonado is a greave but it does not darken is false if there exists something such that it is not a jay is not wrong. sent12: if the fact that something does not darken and is not a kind of a greave is not right it is a kind of a jay. sent13: the tepee is not a jay. sent14: the fact that the hovel does not darken but it is a greave is false. sent15: there exists something such that the fact that it is not lathery is true.
sent15 & sent2 -> int1: the hovel is inextinguishable thing that is a uppercut.; int1 -> int2: that the hovel is inextinguishable is not wrong.; sent5 -> int3: the fact that the hovel does not darken and is not a greave is incorrect if it is inextinguishable.; int2 & int3 -> int4: that the hovel does not darken and it is not a kind of a greave is wrong.; sent12 -> int5: if that the hovel does not darken and it is not a kind of a greave is false then it is a kind of a jay.; int4 & int5 -> int6: the hovel is a jay.; int6 & sent10 -> int7: the carbonado is a bootleg.; int7 & sent8 -> hypothesis;
the fact that the thermoelectricity is not a basidiolichen hold.
sent9 -> int8: if the hovel is not a uppercut it is lathery and it is inextinguishable.; sent13 -> int9: there exists something such that the fact that it is not a jay hold.; int9 & sent11 -> int10: that the carbonado is a greave but it does not darken is not correct.; int10 -> int11: there exists something such that the fact that it is a greave and it does not darken is not right.;
$hypothesis$ = the fact that the thermoelectricity is not a basidiolichen hold. ; $context$ = sent1: the thermoelectricity is a jay. sent2: if there exists something such that it is not lathery the hovel is inextinguishable and is a uppercut. sent3: if that the hovel is not inextinguishable is wrong that it does not darken and is a greave is not true. sent4: the fact that something does not darken and is a greave is incorrect if it is inextinguishable. sent5: if something is inextinguishable that it does not darken and it is not a greave is not right. sent6: the carbonado spoils thermoelectricity and is an edification. sent7: the hovel is a kind of a jay if the fact that it is a greave is not incorrect. sent8: the thermoelectricity is a basidiolichen if the carbonado is a kind of a bootleg. sent9: something is lathery and it is inextinguishable if it is not a uppercut. sent10: if the hovel is a jay the carbonado is a bootleg. sent11: the fact that the fact that the carbonado is a greave but it does not darken is false if there exists something such that it is not a jay is not wrong. sent12: if the fact that something does not darken and is not a kind of a greave is not right it is a kind of a jay. sent13: the tepee is not a jay. sent14: the fact that the hovel does not darken but it is a greave is false. sent15: there exists something such that the fact that it is not lathery is true. ; $proof$ = 
sent15 & sent2 -> int1: the hovel is inextinguishable thing that is a uppercut.; int1 -> int2: that the hovel is inextinguishable is not wrong.; sent5 -> int3: the fact that the hovel does not darken and is not a greave is incorrect if it is inextinguishable.; int2 & int3 -> int4: that the hovel does not darken and it is not a kind of a greave is wrong.; sent12 -> int5: if that the hovel does not darken and it is not a kind of a greave is false then it is a kind of a jay.; int4 & int5 -> int6: the hovel is a jay.; int6 & sent10 -> int7: the carbonado is a bootleg.; int7 & sent8 -> hypothesis; __DISPROVED__