the parrot is not a kind of a somatotype.
sent1: there is something such that it does not trample. sent2: something does hook rand if that it is not zygotic and it is a kind of a military is false. sent3: if the dispensary does hook rand then the parrot is a somatotype. sent4: that something is fenestral and is a kind of a casein is not correct if it is not a trample. sent5: if the micturition does hook rand then the dispensary does hook occiput. sent6: the parrot is not a somatotype if the micturition is both not zygotic and a military. sent7: the micturition does trample if the diffraction is a military. sent8: that the survivor does spiral cohabitation and is zygotic is incorrect. sent9: if there is something such that it is not a trample then the fact that the diffraction is a casein that trample is not correct. sent10: the diffraction is a military if the micturition is fenestral. sent11: the parrot is a somatotype if the dispensary does hook occiput. sent12: the fact that the diffraction is not a casein but a trample is incorrect if there exists something such that it is not a kind of a trample. sent13: if that something is not fenestral and is a somatotype is wrong it is not a military. sent14: if the micturition is a trample that is a military the parrot is not a somatotype. sent15: the micturition is non-zygotic. sent16: something is not fenestral if that it is not a casein and it does trample is incorrect. sent17: the diffraction is fenestral if the dispensary does hook occiput.
sent2 -> int1: if the fact that the micturition is not zygotic but it is military is incorrect then it hooks rand.; void -> assump1: Let's assume that the fact that the micturition is not zygotic but it is a military is incorrect.; int1 & assump1 -> int2: the micturition hooks rand.; int2 & sent5 -> int3: the dispensary hooks occiput.; int3 & sent17 -> int4: the diffraction is fenestral.; sent16 -> int5: if that the diffraction is not a casein and is a trample is not right it is not fenestral.; sent1 & sent12 -> int6: the fact that the diffraction is not a casein and is a kind of a trample is not right.; int5 & int6 -> int7: the diffraction is not fenestral.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the micturition is both not zygotic and a military.; int9 & sent6 -> hypothesis;
the parrot is a kind of a somatotype.
sent4 -> int10: the fact that the glyceride is fenestral and it is a casein is wrong if it does not trample.;
$hypothesis$ = the parrot is not a kind of a somatotype. ; $context$ = sent1: there is something such that it does not trample. sent2: something does hook rand if that it is not zygotic and it is a kind of a military is false. sent3: if the dispensary does hook rand then the parrot is a somatotype. sent4: that something is fenestral and is a kind of a casein is not correct if it is not a trample. sent5: if the micturition does hook rand then the dispensary does hook occiput. sent6: the parrot is not a somatotype if the micturition is both not zygotic and a military. sent7: the micturition does trample if the diffraction is a military. sent8: that the survivor does spiral cohabitation and is zygotic is incorrect. sent9: if there is something such that it is not a trample then the fact that the diffraction is a casein that trample is not correct. sent10: the diffraction is a military if the micturition is fenestral. sent11: the parrot is a somatotype if the dispensary does hook occiput. sent12: the fact that the diffraction is not a casein but a trample is incorrect if there exists something such that it is not a kind of a trample. sent13: if that something is not fenestral and is a somatotype is wrong it is not a military. sent14: if the micturition is a trample that is a military the parrot is not a somatotype. sent15: the micturition is non-zygotic. sent16: something is not fenestral if that it is not a casein and it does trample is incorrect. sent17: the diffraction is fenestral if the dispensary does hook occiput. ; $proof$ = 
sent2 -> int1: if the fact that the micturition is not zygotic but it is military is incorrect then it hooks rand.; void -> assump1: Let's assume that the fact that the micturition is not zygotic but it is a military is incorrect.; int1 & assump1 -> int2: the micturition hooks rand.; int2 & sent5 -> int3: the dispensary hooks occiput.; int3 & sent17 -> int4: the diffraction is fenestral.; sent16 -> int5: if that the diffraction is not a casein and is a trample is not right it is not fenestral.; sent1 & sent12 -> int6: the fact that the diffraction is not a casein and is a kind of a trample is not right.; int5 & int6 -> int7: the diffraction is not fenestral.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the micturition is both not zygotic and a military.; int9 & sent6 -> hypothesis; __PROVED__