that there is something such that if it is lithic it does not steel shears and it is a Americanism does not hold.
sent1: if something is not non-dipolar then it is a Americanism. sent2: the pheromone is dipolar. sent3: the keelboat is not stative if it is a steakhouse and lithic. sent4: the pheromone is nonsignificant if it is lithic. sent5: the pheromone outrides if the fact that the shears does not steel sizzling and is not nonsignificant does not hold. sent6: there is something such that it is octal. sent7: there is something such that if it is lithic it does not steel shears. sent8: the fact that the shears is not Falstaffian and does not steepen is not correct. sent9: that the pheromone does not steel sizzling and is not a kind of a Americanism is not correct if there exists something such that it is lithic. sent10: if something is octal that that the shears does not steel sizzling and is not nonsignificant is false is not incorrect. sent11: that if there exists something such that it is octal then the fact that the shears does steel sizzling but it is not nonsignificant is wrong is not false. sent12: the pheromone does outride if the shears does steel sizzling. sent13: the shears is a Americanism if that the pheromone does not steel sizzling and it does not outride is not right. sent14: there exists something such that if that it is lithic is not incorrect it does steel shears and it is a Americanism. sent15: if something outrides and is lithic then it does not steel shears.
sent6 & sent10 -> int1: the fact that the shears does not steel sizzling and is not nonsignificant is not true.; int1 & sent5 -> int2: that the pheromone does outride is not incorrect.; void -> assump1: Let's assume that the pheromone is lithic.; int2 & assump1 -> int3: the pheromone outrides and is lithic.; sent15 -> int4: if the pheromone does outride and is lithic it does not steel shears.; int3 & int4 -> int5: the pheromone does not steel shears.; sent1 -> int6: if the pheromone is dipolar it is a Americanism.; int6 & sent2 -> int7: the pheromone is a Americanism.; int5 & int7 -> int8: the pheromone does not steel shears but it is a Americanism.; [assump1] & int8 -> int9: the pheromone does not steel shears and is a Americanism if it is lithic.; int9 -> hypothesis;
$hypothesis$ = that there is something such that if it is lithic it does not steel shears and it is a Americanism does not hold. ; $context$ = sent1: if something is not non-dipolar then it is a Americanism. sent2: the pheromone is dipolar. sent3: the keelboat is not stative if it is a steakhouse and lithic. sent4: the pheromone is nonsignificant if it is lithic. sent5: the pheromone outrides if the fact that the shears does not steel sizzling and is not nonsignificant does not hold. sent6: there is something such that it is octal. sent7: there is something such that if it is lithic it does not steel shears. sent8: the fact that the shears is not Falstaffian and does not steepen is not correct. sent9: that the pheromone does not steel sizzling and is not a kind of a Americanism is not correct if there exists something such that it is lithic. sent10: if something is octal that that the shears does not steel sizzling and is not nonsignificant is false is not incorrect. sent11: that if there exists something such that it is octal then the fact that the shears does steel sizzling but it is not nonsignificant is wrong is not false. sent12: the pheromone does outride if the shears does steel sizzling. sent13: the shears is a Americanism if that the pheromone does not steel sizzling and it does not outride is not right. sent14: there exists something such that if that it is lithic is not incorrect it does steel shears and it is a Americanism. sent15: if something outrides and is lithic then it does not steel shears. ; $proof$ = 
sent6 & sent10 -> int1: the fact that the shears does not steel sizzling and is not nonsignificant is not true.; int1 & sent5 -> int2: that the pheromone does outride is not incorrect.; void -> assump1: Let's assume that the pheromone is lithic.; int2 & assump1 -> int3: the pheromone outrides and is lithic.; sent15 -> int4: if the pheromone does outride and is lithic it does not steel shears.; int3 & int4 -> int5: the pheromone does not steel shears.; sent1 -> int6: if the pheromone is dipolar it is a Americanism.; int6 & sent2 -> int7: the pheromone is a Americanism.; int5 & int7 -> int8: the pheromone does not steel shears but it is a Americanism.; [assump1] & int8 -> int9: the pheromone does not steel shears and is a Americanism if it is lithic.; int9 -> hypothesis; __DISPROVED__