that if the velociraptor is a kind of the satanophobia that the velociraptor does store is correct does not hold.
sent1: if the velociraptor is not unfashionable and it is not a store then it is a satanophobia. sent2: the Mesa stores. sent3: if something is not unfashionable but it is a gender it is not a setter. sent4: if that the velociraptor is not a gender is not wrong it is not unfashionable. sent5: the usance is not cowardly and it is not a graphics. sent6: the mescal does not anchor. sent7: if something does dogmatize irascibility that it does not store and it is adactylous is incorrect. sent8: the gully dogmatizes irascibility if the mescal is not an anchor. sent9: the velociraptor is not a gender. sent10: something is a store if the fact that that it is not a store but adactylous is correct is wrong. sent11: something is a kind of a satanophobia if it is not unfashionable and it does not store. sent12: if the fact that something is not unfashionable but it is a store is right it is not a kind of a satanophobia. sent13: a fashionable thing that is not a store is not a satanophobia. sent14: if the velociraptor is not unfashionable but it is a store then it is not a kind of a satanophobia.
sent4 & sent9 -> int1: the velociraptor is not unfashionable.; void -> assump2: Let's assume that the velociraptor is not a store.; int1 & assump2 -> int2: the velociraptor is not unfashionable and it is not a store.; sent13 -> int3: if the velociraptor is not unfashionable and not a store then it is not a satanophobia.; int2 & int3 -> int4: the velociraptor is not a satanophobia.; void -> assump1: Let's assume that the velociraptor is a satanophobia.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the velociraptor is a store.; [assump1] & int6 -> hypothesis;
the wheat is not a kind of a satanophobia.
sent10 -> int7: if the fact that the gully is not a store but it is adactylous is not right then it is a store.; sent7 -> int8: that the gully is not a store and is not non-adactylous is not right if it dogmatizes irascibility.; sent8 & sent6 -> int9: the gully dogmatizes irascibility.; int8 & int9 -> int10: the fact that the gully is not a store but it is adactylous is incorrect.; int7 & int10 -> int11: the gully is a store.; int11 -> int12: there exists something such that it does store.;
$hypothesis$ = that if the velociraptor is a kind of the satanophobia that the velociraptor does store is correct does not hold. ; $context$ = sent1: if the velociraptor is not unfashionable and it is not a store then it is a satanophobia. sent2: the Mesa stores. sent3: if something is not unfashionable but it is a gender it is not a setter. sent4: if that the velociraptor is not a gender is not wrong it is not unfashionable. sent5: the usance is not cowardly and it is not a graphics. sent6: the mescal does not anchor. sent7: if something does dogmatize irascibility that it does not store and it is adactylous is incorrect. sent8: the gully dogmatizes irascibility if the mescal is not an anchor. sent9: the velociraptor is not a gender. sent10: something is a store if the fact that that it is not a store but adactylous is correct is wrong. sent11: something is a kind of a satanophobia if it is not unfashionable and it does not store. sent12: if the fact that something is not unfashionable but it is a store is right it is not a kind of a satanophobia. sent13: a fashionable thing that is not a store is not a satanophobia. sent14: if the velociraptor is not unfashionable but it is a store then it is not a kind of a satanophobia. ; $proof$ = 
sent4 & sent9 -> int1: the velociraptor is not unfashionable.; void -> assump2: Let's assume that the velociraptor is not a store.; int1 & assump2 -> int2: the velociraptor is not unfashionable and it is not a store.; sent13 -> int3: if the velociraptor is not unfashionable and not a store then it is not a satanophobia.; int2 & int3 -> int4: the velociraptor is not a satanophobia.; void -> assump1: Let's assume that the velociraptor is a satanophobia.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the velociraptor is a store.; [assump1] & int6 -> hypothesis; __DISPROVED__