the frumenty is not a scenery.
sent1: if the fact that something is not a grits and is not stomatous is not right then it is a kind of a courtliness. sent2: that something is not a kind of a grits and it is not stomatous does not hold if it is autacoidal. sent3: if there is something such that it is a prelim the fact that that the farm does not clank Pearmain and it is not a Chilean is right is not right. sent4: something is a kind of a prelim. sent5: if the farm is a tremolite then the frumenty is a scenery. sent6: if the fact that something does not clank Pearmain and is not a Chilean is not true then it is autacoidal. sent7: if that something is a Chilean that is not a grits is not true it is not a Chilean. sent8: if something is a courtliness it is a kind of a tremolite.
sent4 & sent3 -> int1: the fact that the farm does not clank Pearmain and is not a kind of a Chilean is not right.; sent6 -> int2: the farm is autacoidal if the fact that it does not clank Pearmain and it is not a Chilean is incorrect.; int1 & int2 -> int3: the farm is autacoidal.; sent2 -> int4: that the farm is both not a grits and non-stomatous is wrong if it is autacoidal.; int3 & int4 -> int5: that the farm does not grit and it is not stomatous is not right.; sent1 -> int6: if the fact that the farm does not grit and is not stomatous is not correct it is a courtliness.; int5 & int6 -> int7: the farm is a kind of a courtliness.; sent8 -> int8: the farm is a kind of a tremolite if it is a courtliness.; int7 & int8 -> int9: the farm is a tremolite.; int9 & sent5 -> hypothesis;
that the frumenty is not a scenery is right.
sent7 -> int10: if that the stoker is a kind of a Chilean but it is not a grits is not right it is not a Chilean.;
$hypothesis$ = the frumenty is not a scenery. ; $context$ = sent1: if the fact that something is not a grits and is not stomatous is not right then it is a kind of a courtliness. sent2: that something is not a kind of a grits and it is not stomatous does not hold if it is autacoidal. sent3: if there is something such that it is a prelim the fact that that the farm does not clank Pearmain and it is not a Chilean is right is not right. sent4: something is a kind of a prelim. sent5: if the farm is a tremolite then the frumenty is a scenery. sent6: if the fact that something does not clank Pearmain and is not a Chilean is not true then it is autacoidal. sent7: if that something is a Chilean that is not a grits is not true it is not a Chilean. sent8: if something is a courtliness it is a kind of a tremolite. ; $proof$ = 
sent4 & sent3 -> int1: the fact that the farm does not clank Pearmain and is not a kind of a Chilean is not right.; sent6 -> int2: the farm is autacoidal if the fact that it does not clank Pearmain and it is not a Chilean is incorrect.; int1 & int2 -> int3: the farm is autacoidal.; sent2 -> int4: that the farm is both not a grits and non-stomatous is wrong if it is autacoidal.; int3 & int4 -> int5: that the farm does not grit and it is not stomatous is not right.; sent1 -> int6: if the fact that the farm does not grit and is not stomatous is not correct it is a courtliness.; int5 & int6 -> int7: the farm is a kind of a courtliness.; sent8 -> int8: the farm is a kind of a tremolite if it is a courtliness.; int7 & int8 -> int9: the farm is a tremolite.; int9 & sent5 -> hypothesis; __DISPROVED__