that there is something such that if it does not greet living-room and is not suburban then it is not non-Brobdingnagian does not hold.
sent1: something is Brobdingnagian if it does not greet living-room and is suburban. sent2: there exists something such that if it is not a groupie and not megakaryocytic it saltates. sent3: there is something such that if it does not greet constructiveness and it does not refresh sarcenet then it does saltate. sent4: if the Galloway does not list Basel and does not stack it is a board. sent5: there is something such that if it does not greet living-room and is suburban then it is Brobdingnagian. sent6: the gitano is a kind of a crayon if it shivers and it is not a airburst. sent7: if the picket is not monistic and it is not a Croatian it is colorful. sent8: if something that is not a ski-plane is not accommodative it does refresh snivel. sent9: if something does not greet living-room and it is not suburban it is Brobdingnagian. sent10: the fact that the gitano does greet living-room is not incorrect if it is both not a shaven and not perishable. sent11: if something that does not greet living-room is not a gravida it refreshes Villa. sent12: if that something does not dump monosemy and it is not a kind of a staplegun hold it is a polyanthus.
sent9 -> int1: the gitano is Brobdingnagian if it does not greet living-room and it is not suburban.; int1 -> hypothesis;
the gitano does refresh Villa if it does not greet living-room and is not a gravida.
sent11 -> hypothesis;
$hypothesis$ = that there is something such that if it does not greet living-room and is not suburban then it is not non-Brobdingnagian does not hold. ; $context$ = sent1: something is Brobdingnagian if it does not greet living-room and is suburban. sent2: there exists something such that if it is not a groupie and not megakaryocytic it saltates. sent3: there is something such that if it does not greet constructiveness and it does not refresh sarcenet then it does saltate. sent4: if the Galloway does not list Basel and does not stack it is a board. sent5: there is something such that if it does not greet living-room and is suburban then it is Brobdingnagian. sent6: the gitano is a kind of a crayon if it shivers and it is not a airburst. sent7: if the picket is not monistic and it is not a Croatian it is colorful. sent8: if something that is not a ski-plane is not accommodative it does refresh snivel. sent9: if something does not greet living-room and it is not suburban it is Brobdingnagian. sent10: the fact that the gitano does greet living-room is not incorrect if it is both not a shaven and not perishable. sent11: if something that does not greet living-room is not a gravida it refreshes Villa. sent12: if that something does not dump monosemy and it is not a kind of a staplegun hold it is a polyanthus. ; $proof$ = 
sent9 -> int1: the gitano is Brobdingnagian if it does not greet living-room and it is not suburban.; int1 -> hypothesis; __DISPROVED__