the dining-room is semiautobiographical.
sent1: if the Tswana is mutative the dining-room is a kind of non-semiautobiographical thing that is mutative. sent2: the Tswana is not mutative but it is nontraditional. sent3: the dining-room is a kind of non-mutative thing that does conform. sent4: the Tswana conforms if it is non-mutative thing that is nontraditional. sent5: the Tswana does not conform if the coffer does conform but it is not unfathomable. sent6: the coffer conforms but it is not unfathomable if the intussusception is not a blond. sent7: the dining-room is a kind of traditional thing that conforms. sent8: that if the Tswana does conform the dining-room is non-semiautobiographical thing that does conform hold. sent9: if that the fact that something is not a depressor and it is not semiautobiographical hold is wrong it is semiautobiographical.
sent4 & sent2 -> int1: the Tswana conforms.; int1 & sent8 -> int2: the dining-room is not semiautobiographical and conforms.; int2 -> hypothesis;
the dining-room is semiautobiographical.
sent9 -> int3: the dining-room is semiautobiographical if that it is not a depressor and it is not semiautobiographical is not right.;
$hypothesis$ = the dining-room is semiautobiographical. ; $context$ = sent1: if the Tswana is mutative the dining-room is a kind of non-semiautobiographical thing that is mutative. sent2: the Tswana is not mutative but it is nontraditional. sent3: the dining-room is a kind of non-mutative thing that does conform. sent4: the Tswana conforms if it is non-mutative thing that is nontraditional. sent5: the Tswana does not conform if the coffer does conform but it is not unfathomable. sent6: the coffer conforms but it is not unfathomable if the intussusception is not a blond. sent7: the dining-room is a kind of traditional thing that conforms. sent8: that if the Tswana does conform the dining-room is non-semiautobiographical thing that does conform hold. sent9: if that the fact that something is not a depressor and it is not semiautobiographical hold is wrong it is semiautobiographical. ; $proof$ = 
sent4 & sent2 -> int1: the Tswana conforms.; int1 & sent8 -> int2: the dining-room is not semiautobiographical and conforms.; int2 -> hypothesis; __DISPROVED__