the smoothbark is a racon.
sent1: if the smoothbark is middle-class the bufo does not overcloud and/or it is a kind of a Ute. sent2: the fact that something is not a racon hold if it does not overcloud and/or is a Ute. sent3: the smoothbark does overcloud and is a kind of a Speke. sent4: the fact that the smoothbark is not non-adamantine and/or it is not a Kerensky is not true. sent5: the smoothbark is both a herd and a Ajaia. sent6: the smoothbark is not non-capacitive if that it is adamantine and/or not a Kerensky is not right. sent7: the plenipotentiary is not a Speke. sent8: a capacitive thing that is a kind of a Speke is not a racon. sent9: the universal overclouds.
sent6 & sent4 -> int1: the smoothbark is capacitive.; sent3 -> int2: that the smoothbark is a Speke is not incorrect.; int1 & int2 -> int3: the smoothbark is capacitive and it is a kind of a Speke.; sent8 -> int4: if the smoothbark is a kind of capacitive thing that is a kind of a Speke it is not a racon.; int3 & int4 -> hypothesis;
the bufo is capacitive.
sent2 -> int5: if the bufo does not overcloud or is a Ute or both then it is not a racon.;
$hypothesis$ = the smoothbark is a racon. ; $context$ = sent1: if the smoothbark is middle-class the bufo does not overcloud and/or it is a kind of a Ute. sent2: the fact that something is not a racon hold if it does not overcloud and/or is a Ute. sent3: the smoothbark does overcloud and is a kind of a Speke. sent4: the fact that the smoothbark is not non-adamantine and/or it is not a Kerensky is not true. sent5: the smoothbark is both a herd and a Ajaia. sent6: the smoothbark is not non-capacitive if that it is adamantine and/or not a Kerensky is not right. sent7: the plenipotentiary is not a Speke. sent8: a capacitive thing that is a kind of a Speke is not a racon. sent9: the universal overclouds. ; $proof$ = 
sent6 & sent4 -> int1: the smoothbark is capacitive.; sent3 -> int2: that the smoothbark is a Speke is not incorrect.; int1 & int2 -> int3: the smoothbark is capacitive and it is a kind of a Speke.; sent8 -> int4: if the smoothbark is a kind of capacitive thing that is a kind of a Speke it is not a racon.; int3 & int4 -> hypothesis; __DISPROVED__