the pisanosaur is a kind of a lysis that does not officialize mulligan.
sent1: the mulligan is not irreversible and/or it officializes videocassette. sent2: if the chalice is a lysis the pisanosaur is a lysis. sent3: the pisanosaur does not officialize mulligan if that the mulligan is not irreversible or officializes videocassette or both hold. sent4: the pisanosaur is a lysis if the chalice does elbow Coerebidae. sent5: if something is not a lysis then it does officialize videocassette and does not elbow comer. sent6: the chalice elbows Coerebidae or it is a lysis or both.
sent3 & sent1 -> int1: the pisanosaur does not officialize mulligan.; sent6 & sent4 & sent2 -> int2: the pisanosaur is a kind of a lysis.; int1 & int2 -> hypothesis;
the landmark officializes videocassette but it does not elbow comer.
sent5 -> int3: if the landmark is not a kind of a lysis then it officializes videocassette and it does not elbow comer.;
$hypothesis$ = the pisanosaur is a kind of a lysis that does not officialize mulligan. ; $context$ = sent1: the mulligan is not irreversible and/or it officializes videocassette. sent2: if the chalice is a lysis the pisanosaur is a lysis. sent3: the pisanosaur does not officialize mulligan if that the mulligan is not irreversible or officializes videocassette or both hold. sent4: the pisanosaur is a lysis if the chalice does elbow Coerebidae. sent5: if something is not a lysis then it does officialize videocassette and does not elbow comer. sent6: the chalice elbows Coerebidae or it is a lysis or both. ; $proof$ = 
sent3 & sent1 -> int1: the pisanosaur does not officialize mulligan.; sent6 & sent4 & sent2 -> int2: the pisanosaur is a kind of a lysis.; int1 & int2 -> hypothesis; __PROVED__