the fact that there is something such that it does superscribe clouded is not correct.
sent1: the gorgerin is fungal. sent2: the gorgerin bears potter. sent3: the gorgerin is not a liquidator but it is dispensable. sent4: if the gorgerin is not a liquidator but it is dispensable it is a synapse. sent5: something superscribes clouded if it is pessimistic. sent6: the fact that the nubbin does not superscribe clouded is true. sent7: the fact that the assignee is a skin-diver that is a kind of a Philistine is not right if it is not mesonic. sent8: the gorgerin does tauten second-rater and it bears proto-oncogene. sent9: something is Hippocratic if the fact that it is a kind of a lighting is true. sent10: the gorgerin does superscribe stuffing if it is a kind of a concretion. sent11: that the gorgerin is not conspiratorial is right. sent12: the pongee is mesonic and it is a modern. sent13: the gorgerin is a kind of mesonic thing that is a kind of a skin-diver. sent14: the gorgerin is infrequent. sent15: the assignee is not mesonic. sent16: the fact that something is a kind of non-pessimistic a synapse is not correct if it is a kind of a skin-diver. sent17: the gorgerin does not bear Dormition but it does nod. sent18: something is not a metharbital and implies Eucharist if it is pessimistic. sent19: if that the assignee is a kind of a skin-diver and it is a Philistine is not true then it is not a skin-diver. sent20: something is mesonic if it is a liquidator. sent21: the Coue is a kind of a skin-diver.
sent4 & sent3 -> int1: the gorgerin is a synapse.; void -> assump1: Let's assume that the gorgerin is not pessimistic.; int1 & assump1 -> int2: the gorgerin is a kind of non-pessimistic thing that is a synapse.; sent16 -> int3: if the gorgerin is a kind of a skin-diver that it is a kind of non-pessimistic thing that is a kind of a synapse is wrong.; sent13 -> int4: the gorgerin is a kind of a skin-diver.; int3 & int4 -> int5: the fact that the gorgerin is non-pessimistic thing that is a synapse is not right.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gorgerin is pessimistic.; sent5 -> int8: if the gorgerin is pessimistic then it superscribes clouded.; int7 & int8 -> int9: the gorgerin does superscribe clouded.; int9 -> hypothesis;
the assignee is not a metharbital but it implies Eucharist.
sent18 -> int10: the assignee is not a metharbital and implies Eucharist if it is not non-pessimistic.; sent7 & sent15 -> int11: the fact that the assignee is a kind of a skin-diver that is Philistine is not true.; sent19 & int11 -> int12: the assignee is not a skin-diver.;
$hypothesis$ = the fact that there is something such that it does superscribe clouded is not correct. ; $context$ = sent1: the gorgerin is fungal. sent2: the gorgerin bears potter. sent3: the gorgerin is not a liquidator but it is dispensable. sent4: if the gorgerin is not a liquidator but it is dispensable it is a synapse. sent5: something superscribes clouded if it is pessimistic. sent6: the fact that the nubbin does not superscribe clouded is true. sent7: the fact that the assignee is a skin-diver that is a kind of a Philistine is not right if it is not mesonic. sent8: the gorgerin does tauten second-rater and it bears proto-oncogene. sent9: something is Hippocratic if the fact that it is a kind of a lighting is true. sent10: the gorgerin does superscribe stuffing if it is a kind of a concretion. sent11: that the gorgerin is not conspiratorial is right. sent12: the pongee is mesonic and it is a modern. sent13: the gorgerin is a kind of mesonic thing that is a kind of a skin-diver. sent14: the gorgerin is infrequent. sent15: the assignee is not mesonic. sent16: the fact that something is a kind of non-pessimistic a synapse is not correct if it is a kind of a skin-diver. sent17: the gorgerin does not bear Dormition but it does nod. sent18: something is not a metharbital and implies Eucharist if it is pessimistic. sent19: if that the assignee is a kind of a skin-diver and it is a Philistine is not true then it is not a skin-diver. sent20: something is mesonic if it is a liquidator. sent21: the Coue is a kind of a skin-diver. ; $proof$ = 
sent4 & sent3 -> int1: the gorgerin is a synapse.; void -> assump1: Let's assume that the gorgerin is not pessimistic.; int1 & assump1 -> int2: the gorgerin is a kind of non-pessimistic thing that is a synapse.; sent16 -> int3: if the gorgerin is a kind of a skin-diver that it is a kind of non-pessimistic thing that is a kind of a synapse is wrong.; sent13 -> int4: the gorgerin is a kind of a skin-diver.; int3 & int4 -> int5: the fact that the gorgerin is non-pessimistic thing that is a synapse is not right.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the gorgerin is pessimistic.; sent5 -> int8: if the gorgerin is pessimistic then it superscribes clouded.; int7 & int8 -> int9: the gorgerin does superscribe clouded.; int9 -> hypothesis; __DISPROVED__