the fact that something does not axe Fulbright is incorrect.
sent1: there exists something such that the fact that it is not earless and/or is not professorial is wrong. sent2: that the advocate is not ultramicroscopic but it axes Gidar is not correct if it is not a kind of a double. sent3: the fact that the brahman is a kind of non-Confucian thing that does axe country is not right if the marinade does elaborate phenolphthalein. sent4: something elaborates Seine and it does elaborate phenolphthalein if it is not a kind of a Confucian. sent5: if that that something is not a kind of a Confucian but it axes country hold is false then it does not axes country. sent6: the scalpel does axe Gidar. sent7: there exists something such that it does not axe Gidar. sent8: if the marinade axes Gidar and it is ultramicroscopic the brahman is not ultramicroscopic. sent9: if the scalpel is a kind of a double it is not Confucian and/or does not elaborate phenolphthalein. sent10: if something is a flighted that does axe Fulbright the brahman is ultramicroscopic. sent11: the scalpel is a flighted if the fact that it does not elaborate phenolphthalein hold. sent12: the marinade is ultramicroscopic. sent13: there exists something such that it axes Fulbright. sent14: something does elaborate phenolphthalein if it is a flighted. sent15: if the fact that the advocate is not ultramicroscopic and axes Gidar is incorrect then the marinade is not ultramicroscopic. sent16: the marinade does axe Gidar and it is ultramicroscopic. sent17: something that is not Confucian flights. sent18: the scalpel is not non-double.
sent17 -> int1: the scalpel is a flighted if it is not a Confucian.; sent9 & sent18 -> int2: the scalpel is not a kind of a Confucian and/or it does not elaborate phenolphthalein.; int1 & int2 & sent11 -> int3: the scalpel is a kind of a flighted.; void -> assump1: Let's assume that the scalpel axes Fulbright.; int3 & assump1 -> int4: the scalpel is a flighted that axes Fulbright.; int4 -> int5: something is a flighted that does axe Fulbright.; int5 & sent10 -> int6: the brahman is ultramicroscopic.; sent8 & sent16 -> int7: that the brahman is not ultramicroscopic is true.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the scalpel does not axe Fulbright.; int9 -> hypothesis;
the brahman does not axe country.
sent5 -> int10: the brahman does not axe country if that it is not a kind of a Confucian and axe country is wrong.; sent14 -> int11: the marinade elaborates phenolphthalein if it does flight.;
$hypothesis$ = the fact that something does not axe Fulbright is incorrect. ; $context$ = sent1: there exists something such that the fact that it is not earless and/or is not professorial is wrong. sent2: that the advocate is not ultramicroscopic but it axes Gidar is not correct if it is not a kind of a double. sent3: the fact that the brahman is a kind of non-Confucian thing that does axe country is not right if the marinade does elaborate phenolphthalein. sent4: something elaborates Seine and it does elaborate phenolphthalein if it is not a kind of a Confucian. sent5: if that that something is not a kind of a Confucian but it axes country hold is false then it does not axes country. sent6: the scalpel does axe Gidar. sent7: there exists something such that it does not axe Gidar. sent8: if the marinade axes Gidar and it is ultramicroscopic the brahman is not ultramicroscopic. sent9: if the scalpel is a kind of a double it is not Confucian and/or does not elaborate phenolphthalein. sent10: if something is a flighted that does axe Fulbright the brahman is ultramicroscopic. sent11: the scalpel is a flighted if the fact that it does not elaborate phenolphthalein hold. sent12: the marinade is ultramicroscopic. sent13: there exists something such that it axes Fulbright. sent14: something does elaborate phenolphthalein if it is a flighted. sent15: if the fact that the advocate is not ultramicroscopic and axes Gidar is incorrect then the marinade is not ultramicroscopic. sent16: the marinade does axe Gidar and it is ultramicroscopic. sent17: something that is not Confucian flights. sent18: the scalpel is not non-double. ; $proof$ = 
sent17 -> int1: the scalpel is a flighted if it is not a Confucian.; sent9 & sent18 -> int2: the scalpel is not a kind of a Confucian and/or it does not elaborate phenolphthalein.; int1 & int2 & sent11 -> int3: the scalpel is a kind of a flighted.; void -> assump1: Let's assume that the scalpel axes Fulbright.; int3 & assump1 -> int4: the scalpel is a flighted that axes Fulbright.; int4 -> int5: something is a flighted that does axe Fulbright.; int5 & sent10 -> int6: the brahman is ultramicroscopic.; sent8 & sent16 -> int7: that the brahman is not ultramicroscopic is true.; int6 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the scalpel does not axe Fulbright.; int9 -> hypothesis; __DISPROVED__