the shaper does adjoin seventies.
sent1: the set is non-superscript. sent2: the Austronesian is symbolic and it does alight. sent3: the shaper does adjoin seventies if the serotine remodels abomasum. sent4: the set is both not superscript and patellar if the headrest is not patellar. sent5: if the set is patellar then the serotine remodels abomasum. sent6: the set is not a kind of a superscript if the headrest is not patellar.
sent2 -> int1: the Austronesian is symbolic.; int1 -> int2: the Austronesian is symbolic and/or does adjoin overload.;
$hypothesis$ = the shaper does adjoin seventies. ; $context$ = sent1: the set is non-superscript. sent2: the Austronesian is symbolic and it does alight. sent3: the shaper does adjoin seventies if the serotine remodels abomasum. sent4: the set is both not superscript and patellar if the headrest is not patellar. sent5: if the set is patellar then the serotine remodels abomasum. sent6: the set is not a kind of a superscript if the headrest is not patellar. ; $proof$ = 
sent2 -> int1: the Austronesian is symbolic.; int1 -> int2: the Austronesian is symbolic and/or does adjoin overload.; __UNKNOWN__