the Omaha is a chapterhouse and it guards proofed.
sent1: if the racetrack is a kind of a a the interchange is not chelicerous and it does not subside Horneophyton. sent2: everything does guard proofed and is infectious. sent3: the racetrack is a AN.
sent1 & sent3 -> int1: the interchange is not chelicerous and it does not subside Horneophyton.; sent2 -> int2: the Omaha guards proofed and is infectious.; int2 -> int3: the Omaha does guard proofed.;
$hypothesis$ = the Omaha is a chapterhouse and it guards proofed. ; $context$ = sent1: if the racetrack is a kind of a a the interchange is not chelicerous and it does not subside Horneophyton. sent2: everything does guard proofed and is infectious. sent3: the racetrack is a AN. ; $proof$ = 
sent1 & sent3 -> int1: the interchange is not chelicerous and it does not subside Horneophyton.; sent2 -> int2: the Omaha guards proofed and is infectious.; int2 -> int3: the Omaha does guard proofed.; __UNKNOWN__