that the famulus does not disown Ursus and is not wilding does not hold.
sent1: if something is not popular then it is a Solferino. sent2: something does not disown Ursus and it is not a wilding if it does not learn. sent3: if something is a kind of a conviction then it does not learn. sent4: the famulus is unpopular but it is not a kind of a scouring. sent5: that something does not disown Ursus and it is not a wilding is wrong if the fact that it is popular is not incorrect. sent6: if something is a Solferino then it is a conviction.
sent4 -> int1: the famulus is unpopular.; sent1 -> int2: if the famulus is unpopular it is a Solferino.; int1 & int2 -> int3: the fact that the famulus is a Solferino is not wrong.; sent6 -> int4: if the famulus is a Solferino it is a conviction.; int3 & int4 -> int5: the famulus is a conviction.; sent3 -> int6: if the famulus is a kind of a conviction it does not learn.; int5 & int6 -> int7: the famulus does not learn.; sent2 -> int8: the famulus does not disown Ursus and it is not wilding if it does not learn.; int7 & int8 -> hypothesis;
the fact that the famulus does not disown Ursus and is not a wilding is not correct.
sent5 -> int9: the fact that the famulus does not disown Ursus and it is not a kind of a wilding is wrong if it is not unpopular.;
$hypothesis$ = that the famulus does not disown Ursus and is not wilding does not hold. ; $context$ = sent1: if something is not popular then it is a Solferino. sent2: something does not disown Ursus and it is not a wilding if it does not learn. sent3: if something is a kind of a conviction then it does not learn. sent4: the famulus is unpopular but it is not a kind of a scouring. sent5: that something does not disown Ursus and it is not a wilding is wrong if the fact that it is popular is not incorrect. sent6: if something is a Solferino then it is a conviction. ; $proof$ = 
sent4 -> int1: the famulus is unpopular.; sent1 -> int2: if the famulus is unpopular it is a Solferino.; int1 & int2 -> int3: the fact that the famulus is a Solferino is not wrong.; sent6 -> int4: if the famulus is a Solferino it is a conviction.; int3 & int4 -> int5: the famulus is a conviction.; sent3 -> int6: if the famulus is a kind of a conviction it does not learn.; int5 & int6 -> int7: the famulus does not learn.; sent2 -> int8: the famulus does not disown Ursus and it is not wilding if it does not learn.; int7 & int8 -> hypothesis; __DISPROVED__