the fact that if the fact that the antiferromagnetism is not New is not wrong the predator gorges spot-weld and it does assemble resignation is not true.
sent1: if the egotist gorges spot-weld the grapeshot gorges spot-weld. sent2: The spot-weld does gorge egotist. sent3: if the grapeshot gorges spot-weld then the predator does gorges spot-weld. sent4: there is something such that the fact that it is not a surfer and is cardiopulmonary is wrong. sent5: the fact that the antiferromagnetism is not a surfer and not cardiopulmonary is not true if it is New. sent6: the fact that the antiferromagnetism is not a surfer and is cardiopulmonary is incorrect if it is not New. sent7: there is something such that that it is a surfer that is not cardiopulmonary is not true. sent8: the fact that the antiferromagnetism is not a kind of a surfer and is not cardiopulmonary is not true if it is not New. sent9: the predator refrains fatwa if there exists something such that the fact that it is not a surfer and it is not cardiopulmonary does not hold. sent10: the egotist does gorge spot-weld. sent11: if something is cardiopulmonary then the predator does refrain fatwa. sent12: something does assemble resignation if it does refrain fatwa.
void -> assump1: Let's assume that the antiferromagnetism is not New.; sent8 & assump1 -> int1: that the antiferromagnetism is not a surfer and it is not cardiopulmonary is false.; int1 -> int2: there is something such that that it is not a kind of a surfer and it is not cardiopulmonary is wrong.; int2 & sent9 -> int3: the predator refrains fatwa.; sent12 -> int4: if the fact that the predator does refrain fatwa is true it does assemble resignation.; int3 & int4 -> int5: the predator assembles resignation.; sent1 & sent10 -> int6: the grapeshot gorges spot-weld.; sent3 & int6 -> int7: the predator does gorge spot-weld.; int5 & int7 -> int8: the predator gorges spot-weld and does assemble resignation.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the fact that if the fact that the antiferromagnetism is not New is not wrong the predator gorges spot-weld and it does assemble resignation is not true. ; $context$ = sent1: if the egotist gorges spot-weld the grapeshot gorges spot-weld. sent2: The spot-weld does gorge egotist. sent3: if the grapeshot gorges spot-weld then the predator does gorges spot-weld. sent4: there is something such that the fact that it is not a surfer and is cardiopulmonary is wrong. sent5: the fact that the antiferromagnetism is not a surfer and not cardiopulmonary is not true if it is New. sent6: the fact that the antiferromagnetism is not a surfer and is cardiopulmonary is incorrect if it is not New. sent7: there is something such that that it is a surfer that is not cardiopulmonary is not true. sent8: the fact that the antiferromagnetism is not a kind of a surfer and is not cardiopulmonary is not true if it is not New. sent9: the predator refrains fatwa if there exists something such that the fact that it is not a surfer and it is not cardiopulmonary does not hold. sent10: the egotist does gorge spot-weld. sent11: if something is cardiopulmonary then the predator does refrain fatwa. sent12: something does assemble resignation if it does refrain fatwa. ; $proof$ = 
void -> assump1: Let's assume that the antiferromagnetism is not New.; sent8 & assump1 -> int1: that the antiferromagnetism is not a surfer and it is not cardiopulmonary is false.; int1 -> int2: there is something such that that it is not a kind of a surfer and it is not cardiopulmonary is wrong.; int2 & sent9 -> int3: the predator refrains fatwa.; sent12 -> int4: if the fact that the predator does refrain fatwa is true it does assemble resignation.; int3 & int4 -> int5: the predator assembles resignation.; sent1 & sent10 -> int6: the grapeshot gorges spot-weld.; sent3 & int6 -> int7: the predator does gorge spot-weld.; int5 & int7 -> int8: the predator gorges spot-weld and does assemble resignation.; [assump1] & int8 -> hypothesis; __DISPROVED__