something is a kind of a tanglebush that is sigmoid.
sent1: the caranday is a territorial if the fact that it sparges icosahedron is correct. sent2: the caranday sparges icosahedron and is not progestational. sent3: the caranday is an assertion if it is a kind of a territorial. sent4: the wings does sparge tongueflower and is a tanglebush if it is not a kilohertz. sent5: the wings is sigmoid.
sent2 -> int1: the caranday sparges icosahedron.; int1 & sent1 -> int2: the caranday is a territorial.; int2 & sent3 -> int3: that the caranday is an assertion is not false.;
$hypothesis$ = something is a kind of a tanglebush that is sigmoid. ; $context$ = sent1: the caranday is a territorial if the fact that it sparges icosahedron is correct. sent2: the caranday sparges icosahedron and is not progestational. sent3: the caranday is an assertion if it is a kind of a territorial. sent4: the wings does sparge tongueflower and is a tanglebush if it is not a kilohertz. sent5: the wings is sigmoid. ; $proof$ = 
sent2 -> int1: the caranday sparges icosahedron.; int1 & sent1 -> int2: the caranday is a territorial.; int2 & sent3 -> int3: that the caranday is an assertion is not false.; __UNKNOWN__