the shingler is non-culinary.
sent1: if something is not culinary then it is a Wagner and it is microelectronic. sent2: if something is not microelectronic or is not a squared or both it is unpredictable. sent3: there is something such that it is culinary. sent4: the poke is a hibiscus and it is a kind of a squared. sent5: the shingler is a alpha-adrenoceptor if it is not a berth and it is not a symbolization. sent6: the VDU is not microelectronic if there exists something such that it is a hibiscus and a squared. sent7: there is something such that it is a kind of a alpha-adrenoceptor. sent8: the knee-high is not microelectronic if it is both not a hibiscus and a tier. sent9: the shingler is not palmar. sent10: the shingler is not a berth and is not a symbolization. sent11: if the poke is unpredictable then the VDU is palmar but it is not a alpha-adrenoceptor. sent12: something is unpredictable and it is palmar if it is not microelectronic. sent13: the shingler is a radiochemistry and is a kind of a retread. sent14: that the shingler is both non-palmar and culinary is incorrect if the VDU is a kind of a alpha-adrenoceptor. sent15: if there is something such that it is a alpha-adrenoceptor and culinary the VDU is non-palmar. sent16: the poke is a kind of a alpha-adrenoceptor and is a kind of a squared.
sent5 & sent10 -> int1: the shingler is a alpha-adrenoceptor.; void -> assump1: Let's assume that the shingler is culinary.; int1 & assump1 -> int2: that the shingler is a alpha-adrenoceptor and is culinary is right.; int2 -> int3: there exists something such that it is a alpha-adrenoceptor and culinary.; int3 & sent15 -> int4: the VDU is not palmar.; sent12 -> int5: if the VDU is not microelectronic it is not predictable and not non-palmar.; sent4 -> int6: there exists something such that it is both a hibiscus and squared.; int6 & sent6 -> int7: the VDU is not microelectronic.; int5 & int7 -> int8: the VDU is unpredictable and it is palmar.; int8 -> int9: the VDU is palmar.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis;
the tablecloth is a Wagner and microelectronic.
sent1 -> int11: if the tablecloth is not culinary then it is a kind of a Wagner and it is microelectronic.;
$hypothesis$ = the shingler is non-culinary. ; $context$ = sent1: if something is not culinary then it is a Wagner and it is microelectronic. sent2: if something is not microelectronic or is not a squared or both it is unpredictable. sent3: there is something such that it is culinary. sent4: the poke is a hibiscus and it is a kind of a squared. sent5: the shingler is a alpha-adrenoceptor if it is not a berth and it is not a symbolization. sent6: the VDU is not microelectronic if there exists something such that it is a hibiscus and a squared. sent7: there is something such that it is a kind of a alpha-adrenoceptor. sent8: the knee-high is not microelectronic if it is both not a hibiscus and a tier. sent9: the shingler is not palmar. sent10: the shingler is not a berth and is not a symbolization. sent11: if the poke is unpredictable then the VDU is palmar but it is not a alpha-adrenoceptor. sent12: something is unpredictable and it is palmar if it is not microelectronic. sent13: the shingler is a radiochemistry and is a kind of a retread. sent14: that the shingler is both non-palmar and culinary is incorrect if the VDU is a kind of a alpha-adrenoceptor. sent15: if there is something such that it is a alpha-adrenoceptor and culinary the VDU is non-palmar. sent16: the poke is a kind of a alpha-adrenoceptor and is a kind of a squared. ; $proof$ = 
sent5 & sent10 -> int1: the shingler is a alpha-adrenoceptor.; void -> assump1: Let's assume that the shingler is culinary.; int1 & assump1 -> int2: that the shingler is a alpha-adrenoceptor and is culinary is right.; int2 -> int3: there exists something such that it is a alpha-adrenoceptor and culinary.; int3 & sent15 -> int4: the VDU is not palmar.; sent12 -> int5: if the VDU is not microelectronic it is not predictable and not non-palmar.; sent4 -> int6: there exists something such that it is both a hibiscus and squared.; int6 & sent6 -> int7: the VDU is not microelectronic.; int5 & int7 -> int8: the VDU is unpredictable and it is palmar.; int8 -> int9: the VDU is palmar.; int4 & int9 -> int10: this is contradiction.; [assump1] & int10 -> hypothesis; __PROVED__