the poikilotherm does snuff Anaximander.
sent1: that something is not leaden hold if the fact that it is unconstitutional and it does snuff Anaximander is true. sent2: the vaulting is not a kind of a hollow if the poikilotherm is not leaden. sent3: if something that is unconstitutional is a hollow it is not leaden. sent4: everything is unconstitutional and Aristotelian. sent5: the fact that the poikilotherm does not hollow is correct if the vaulting does not snuff Anaximander. sent6: the vaulting is not non-hollow. sent7: everything is attritional and it is geometric.
sent4 -> int1: the poikilotherm is unconstitutional and is a Aristotelian.; int1 -> int2: the fact that the poikilotherm is unconstitutional hold.; void -> assump1: Let's assume that the poikilotherm snuffs Anaximander.; int2 & assump1 -> int3: the poikilotherm is unconstitutional and does snuff Anaximander.; sent1 -> int4: the poikilotherm is not leaden if it is unconstitutional and it snuffs Anaximander.; int3 & int4 -> int5: the poikilotherm is not leaden.; int5 & sent2 -> int6: the vaulting does not hollow.; int6 & sent6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis;
$hypothesis$ = the poikilotherm does snuff Anaximander. ; $context$ = sent1: that something is not leaden hold if the fact that it is unconstitutional and it does snuff Anaximander is true. sent2: the vaulting is not a kind of a hollow if the poikilotherm is not leaden. sent3: if something that is unconstitutional is a hollow it is not leaden. sent4: everything is unconstitutional and Aristotelian. sent5: the fact that the poikilotherm does not hollow is correct if the vaulting does not snuff Anaximander. sent6: the vaulting is not non-hollow. sent7: everything is attritional and it is geometric. ; $proof$ = 
sent4 -> int1: the poikilotherm is unconstitutional and is a Aristotelian.; int1 -> int2: the fact that the poikilotherm is unconstitutional hold.; void -> assump1: Let's assume that the poikilotherm snuffs Anaximander.; int2 & assump1 -> int3: the poikilotherm is unconstitutional and does snuff Anaximander.; sent1 -> int4: the poikilotherm is not leaden if it is unconstitutional and it snuffs Anaximander.; int3 & int4 -> int5: the poikilotherm is not leaden.; int5 & sent2 -> int6: the vaulting does not hollow.; int6 & sent6 -> int7: this is contradiction.; [assump1] & int7 -> hypothesis; __DISPROVED__