the sort is not igneous.
sent1: the Satanist is tuneful. sent2: if the sort is igneous then the anisogamete is a system. sent3: something is intractable and it circles clubhouse if it is not a Hyalophora. sent4: if the anisogamete is tuneful then the Satanist is a system. sent5: the Satanist does circle clubhouse and is not a Hyalophora if the knight does not circle clubhouse. sent6: the fact that if the anisogamete is intractable then the knight does not circle clubhouse hold. sent7: the Satanist does circle clubhouse. sent8: the fact that something is a Hyalophora but not a system does not hold if it is igneous. sent9: if either the anisogamete is a system or it is intractable or both then the knight does not circle clubhouse. sent10: if something is tuneful the fact that it does circle clubhouse and is not a Hyalophora does not hold. sent11: the sort is a Hyalophora.
void -> assump1: Let's assume that the sort is igneous.; sent2 & assump1 -> int1: the anisogamete is a system.; int1 -> int2: the anisogamete is a system and/or intractable.; int2 & sent9 -> int3: the knight does not circle clubhouse.; int3 & sent5 -> int4: the Satanist does circle clubhouse and is not a Hyalophora.; sent10 -> int5: the fact that the Satanist circles clubhouse and is not a Hyalophora is incorrect if it is tuneful.; int5 & sent1 -> int6: that the Satanist does circle clubhouse but it is not a Hyalophora does not hold.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
the sort is igneous.
sent3 -> int8: if the anisogamete is not a Hyalophora then it is intractable and does circle clubhouse.;
$hypothesis$ = the sort is not igneous. ; $context$ = sent1: the Satanist is tuneful. sent2: if the sort is igneous then the anisogamete is a system. sent3: something is intractable and it circles clubhouse if it is not a Hyalophora. sent4: if the anisogamete is tuneful then the Satanist is a system. sent5: the Satanist does circle clubhouse and is not a Hyalophora if the knight does not circle clubhouse. sent6: the fact that if the anisogamete is intractable then the knight does not circle clubhouse hold. sent7: the Satanist does circle clubhouse. sent8: the fact that something is a Hyalophora but not a system does not hold if it is igneous. sent9: if either the anisogamete is a system or it is intractable or both then the knight does not circle clubhouse. sent10: if something is tuneful the fact that it does circle clubhouse and is not a Hyalophora does not hold. sent11: the sort is a Hyalophora. ; $proof$ = 
void -> assump1: Let's assume that the sort is igneous.; sent2 & assump1 -> int1: the anisogamete is a system.; int1 -> int2: the anisogamete is a system and/or intractable.; int2 & sent9 -> int3: the knight does not circle clubhouse.; int3 & sent5 -> int4: the Satanist does circle clubhouse and is not a Hyalophora.; sent10 -> int5: the fact that the Satanist circles clubhouse and is not a Hyalophora is incorrect if it is tuneful.; int5 & sent1 -> int6: that the Satanist does circle clubhouse but it is not a Hyalophora does not hold.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __PROVED__