the terrapin is a philhellene.
sent1: something is a jelly if it is biaxial and is not a Victorian. sent2: the cephalothin is not a jelly if that the AFP is biaxial is true. sent3: if the AFP shoots heating then the cephalothin shoots heating but it is not a jelly. sent4: if the AFP shoots heating and is not biaxial then it is a Victorian. sent5: the terrapin is a jelly. sent6: the cephalothin is biaxial and does shoot heating. sent7: the terrapin is a philhellene if the fact that the AFP is a jelly is correct. sent8: the AFP is a kind of a Russian.
sent6 -> int1: the cephalothin is biaxial.; sent1 -> int2: if the AFP is not non-biaxial but it is not a Victorian then it is a jelly.;
$hypothesis$ = the terrapin is a philhellene. ; $context$ = sent1: something is a jelly if it is biaxial and is not a Victorian. sent2: the cephalothin is not a jelly if that the AFP is biaxial is true. sent3: if the AFP shoots heating then the cephalothin shoots heating but it is not a jelly. sent4: if the AFP shoots heating and is not biaxial then it is a Victorian. sent5: the terrapin is a jelly. sent6: the cephalothin is biaxial and does shoot heating. sent7: the terrapin is a philhellene if the fact that the AFP is a jelly is correct. sent8: the AFP is a kind of a Russian. ; $proof$ = 
sent6 -> int1: the cephalothin is biaxial.; sent1 -> int2: if the AFP is not non-biaxial but it is not a Victorian then it is a jelly.; __UNKNOWN__