the fucoid is not a kind of a spinal.
sent1: the oneiromancer does not contort Gasterosteus. sent2: if the fact that something does not contort Gasterosteus and does headquarter is not false then it is not unrepeatable. sent3: the fact that the oneiromancer does not hill hold. sent4: something is not a oxalacetate if that it does not headquarter and does contort Gasterosteus hold. sent5: if the materialization does headquarter then the oneiromancer does headquarter. sent6: something does not headquarter if it is not unrepeatable and it is a kind of a oxalacetate. sent7: if the fact that something is not a spinal but it does headquarter is not wrong then it does not contort Gasterosteus. sent8: if the materialization is spinal then the oneiromancer does not headquarter but it is unrepeatable. sent9: the oneiromancer is not unrepeatable but it is a kind of a oxalacetate if the fucoid is a spinal. sent10: the mesothelium is a kind of a oxalacetate. sent11: the fact that the materialization does not headquarter is right if it does contort Gasterosteus and it is a spinal. sent12: if the oneiromancer headquarters and is a spinal it does not contort Gasterosteus. sent13: the oneiromancer is not a spinal if the fucoid does headquarter. sent14: the materialization does headquarter and does not contort Gasterosteus.
void -> assump1: Let's assume that the fucoid is a spinal.; sent9 & assump1 -> int1: the oneiromancer is not unrepeatable but it is a oxalacetate.; sent6 -> int2: the oneiromancer does not headquarter if it is not unrepeatable but a oxalacetate.; int1 & int2 -> int3: the oneiromancer does not headquarter.; sent14 -> int4: the materialization does headquarter.; sent5 & int4 -> int5: the oneiromancer does headquarter.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
$hypothesis$ = the fucoid is not a kind of a spinal. ; $context$ = sent1: the oneiromancer does not contort Gasterosteus. sent2: if the fact that something does not contort Gasterosteus and does headquarter is not false then it is not unrepeatable. sent3: the fact that the oneiromancer does not hill hold. sent4: something is not a oxalacetate if that it does not headquarter and does contort Gasterosteus hold. sent5: if the materialization does headquarter then the oneiromancer does headquarter. sent6: something does not headquarter if it is not unrepeatable and it is a kind of a oxalacetate. sent7: if the fact that something is not a spinal but it does headquarter is not wrong then it does not contort Gasterosteus. sent8: if the materialization is spinal then the oneiromancer does not headquarter but it is unrepeatable. sent9: the oneiromancer is not unrepeatable but it is a kind of a oxalacetate if the fucoid is a spinal. sent10: the mesothelium is a kind of a oxalacetate. sent11: the fact that the materialization does not headquarter is right if it does contort Gasterosteus and it is a spinal. sent12: if the oneiromancer headquarters and is a spinal it does not contort Gasterosteus. sent13: the oneiromancer is not a spinal if the fucoid does headquarter. sent14: the materialization does headquarter and does not contort Gasterosteus. ; $proof$ = 
void -> assump1: Let's assume that the fucoid is a spinal.; sent9 & assump1 -> int1: the oneiromancer is not unrepeatable but it is a oxalacetate.; sent6 -> int2: the oneiromancer does not headquarter if it is not unrepeatable but a oxalacetate.; int1 & int2 -> int3: the oneiromancer does not headquarter.; sent14 -> int4: the materialization does headquarter.; sent5 & int4 -> int5: the oneiromancer does headquarter.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__