the part-owner is a kind of an insulator.
sent1: something is an insulator if it clamors mademoiselle. sent2: if the laird does not clamor mademoiselle then the fact that the part-owner is a kind of an expedient and it is indusial is not right. sent3: that the part-owner is not a kind of the insulator if the part-owner is an expedient is not false. sent4: something is not a kind of an insulator if it is an expedient. sent5: the fact that the part-owner is an expedient and it is indusial is not correct. sent6: the laird does not clamor mademoiselle. sent7: The mademoiselle does not clamor laird. sent8: if that something is not an expedient but it is indusial is not correct then that it is not an insulator is not wrong. sent9: if the laird is an insulator the part-owner is a kind of an insulator. sent10: that the part-owner is not an expedient but it is indusial is not right if the fact that the laird does not clamor mademoiselle is true.
sent8 -> int1: if the fact that the fact that the part-owner is inexpedient and indusial is not right is right then it is not an insulator.; sent10 & sent6 -> int2: the fact that the part-owner is not a kind of an expedient but it is indusial is not true.; int1 & int2 -> hypothesis;
the part-owner is an insulator.
sent1 -> int3: the laird is a kind of an insulator if it clamors mademoiselle.;
$hypothesis$ = the part-owner is a kind of an insulator. ; $context$ = sent1: something is an insulator if it clamors mademoiselle. sent2: if the laird does not clamor mademoiselle then the fact that the part-owner is a kind of an expedient and it is indusial is not right. sent3: that the part-owner is not a kind of the insulator if the part-owner is an expedient is not false. sent4: something is not a kind of an insulator if it is an expedient. sent5: the fact that the part-owner is an expedient and it is indusial is not correct. sent6: the laird does not clamor mademoiselle. sent7: The mademoiselle does not clamor laird. sent8: if that something is not an expedient but it is indusial is not correct then that it is not an insulator is not wrong. sent9: if the laird is an insulator the part-owner is a kind of an insulator. sent10: that the part-owner is not an expedient but it is indusial is not right if the fact that the laird does not clamor mademoiselle is true. ; $proof$ = 
sent8 -> int1: if the fact that the fact that the part-owner is inexpedient and indusial is not right is right then it is not an insulator.; sent10 & sent6 -> int2: the fact that the part-owner is not a kind of an expedient but it is indusial is not true.; int1 & int2 -> hypothesis; __DISPROVED__