the cattle mismanages heliosphere.
sent1: the cattle mismanages heliosphere if the sorehead is human. sent2: that the HS1 is not younger and mismanages Judaism is incorrect. sent3: something does organize raised and it does organize Joel if it is not matriarchal. sent4: the limber does not organize Joel and it does not modify if the HS1 does organize Joel. sent5: if the limber does not modify the sorehead is human. sent6: if the fact that the HS1 is not younger and does mismanage Judaism is wrong then it is not matriarchal.
sent3 -> int1: the HS1 organizes raised and it organizes Joel if it is not matriarchal.; sent6 & sent2 -> int2: the HS1 is non-matriarchal.; int1 & int2 -> int3: the HS1 organizes raised and organizes Joel.; int3 -> int4: the HS1 organizes Joel.; int4 & sent4 -> int5: the limber does not organize Joel and it does not modify.; int5 -> int6: the limber does not modify.; int6 & sent5 -> int7: the fact that the sorehead is human is correct.; int7 & sent1 -> hypothesis;
$hypothesis$ = the cattle mismanages heliosphere. ; $context$ = sent1: the cattle mismanages heliosphere if the sorehead is human. sent2: that the HS1 is not younger and mismanages Judaism is incorrect. sent3: something does organize raised and it does organize Joel if it is not matriarchal. sent4: the limber does not organize Joel and it does not modify if the HS1 does organize Joel. sent5: if the limber does not modify the sorehead is human. sent6: if the fact that the HS1 is not younger and does mismanage Judaism is wrong then it is not matriarchal. ; $proof$ = 
sent3 -> int1: the HS1 organizes raised and it organizes Joel if it is not matriarchal.; sent6 & sent2 -> int2: the HS1 is non-matriarchal.; int1 & int2 -> int3: the HS1 organizes raised and organizes Joel.; int3 -> int4: the HS1 organizes Joel.; int4 & sent4 -> int5: the limber does not organize Joel and it does not modify.; int5 -> int6: the limber does not modify.; int6 & sent5 -> int7: the fact that the sorehead is human is correct.; int7 & sent1 -> hypothesis; __PROVED__