the maid repines anchorite and it is a Aaron.
sent1: the layman is irresolute but it is non-Uniate. sent2: if the compatriot is a pique the Landau is harmless. sent3: something is a pique if that it is not a kind of a Aaron and/or does not repine anchorite is not right. sent4: the compatriot is harmless. sent5: something does repine anchorite if it is a pique. sent6: the maid piques if the compatriot is harmless. sent7: the maid is a Aaron if a irresolute thing is not Uniate.
sent6 & sent4 -> int1: the maid is a pique.; sent5 -> int2: if the maid piques it does repine anchorite.; int1 & int2 -> int3: the maid repines anchorite.; sent1 -> int4: something is irresolute but it is not Uniate.; int4 & sent7 -> int5: the maid is a kind of a Aaron.; int3 & int5 -> hypothesis;
the Landau is harmless.
sent3 -> int6: if that the compatriot is not a Aaron and/or it does not repine anchorite is wrong it does pique.;
$hypothesis$ = the maid repines anchorite and it is a Aaron. ; $context$ = sent1: the layman is irresolute but it is non-Uniate. sent2: if the compatriot is a pique the Landau is harmless. sent3: something is a pique if that it is not a kind of a Aaron and/or does not repine anchorite is not right. sent4: the compatriot is harmless. sent5: something does repine anchorite if it is a pique. sent6: the maid piques if the compatriot is harmless. sent7: the maid is a Aaron if a irresolute thing is not Uniate. ; $proof$ = 
sent6 & sent4 -> int1: the maid is a pique.; sent5 -> int2: if the maid piques it does repine anchorite.; int1 & int2 -> int3: the maid repines anchorite.; sent1 -> int4: something is irresolute but it is not Uniate.; int4 & sent7 -> int5: the maid is a kind of a Aaron.; int3 & int5 -> hypothesis; __PROVED__