the Massachuset is not Fijian and it is not a nationalism.
sent1: something is a walleye if that it does not crowd and it is not a walleye is not right. sent2: if that the Philippians does not work English and is not middle-class does not hold the Sand is not a walleye. sent3: The chap pleaches fruiterer. sent4: the fruiterer pleaches chap. sent5: the madrigalist is a Fijian if the Philippians is not colorimetric. sent6: if that the Philippians is colorimetric is true then the fact that it does not work English and is not middle-class is not right. sent7: if that something is a kind of colorimetric a walleye is not correct then it is not a Fijian. sent8: that the Sand is both not a crowding and a walleye is not right if the fruiterer does pleach chap. sent9: if the fruiterer pleaches chap that the Sand does not crowd and is not a walleye is false. sent10: the fact that the fact that the Massachuset is a Fijian but it is not a nationalism is not wrong is wrong. sent11: if the madrigalist is Fijian the fact that the Massachuset is not Fijian and it is not a nationalism does not hold.
void -> assump1: Let's assume that the Philippians is colorimetric.; sent6 & assump1 -> int1: the fact that the Philippians does not work English and it is not middle-class is not right.; int1 & sent2 -> int2: the Sand is not a walleye.; sent1 -> int3: if that the Sand is not a crowding and it is not a walleye does not hold it is a kind of a walleye.; sent9 & sent4 -> int4: the fact that the Sand is both not a crowding and not a walleye does not hold.; int3 & int4 -> int5: the Sand is a walleye.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Philippians is not colorimetric.; int7 & sent5 -> int8: the madrigalist is a Fijian.; int8 & sent11 -> hypothesis;
the Massachuset is not Fijian and is not a nationalism.
sent7 -> int9: the Massachuset is not Fijian if the fact that it is colorimetric and it is a walleye does not hold.;
$hypothesis$ = the Massachuset is not Fijian and it is not a nationalism. ; $context$ = sent1: something is a walleye if that it does not crowd and it is not a walleye is not right. sent2: if that the Philippians does not work English and is not middle-class does not hold the Sand is not a walleye. sent3: The chap pleaches fruiterer. sent4: the fruiterer pleaches chap. sent5: the madrigalist is a Fijian if the Philippians is not colorimetric. sent6: if that the Philippians is colorimetric is true then the fact that it does not work English and is not middle-class is not right. sent7: if that something is a kind of colorimetric a walleye is not correct then it is not a Fijian. sent8: that the Sand is both not a crowding and a walleye is not right if the fruiterer does pleach chap. sent9: if the fruiterer pleaches chap that the Sand does not crowd and is not a walleye is false. sent10: the fact that the fact that the Massachuset is a Fijian but it is not a nationalism is not wrong is wrong. sent11: if the madrigalist is Fijian the fact that the Massachuset is not Fijian and it is not a nationalism does not hold. ; $proof$ = 
void -> assump1: Let's assume that the Philippians is colorimetric.; sent6 & assump1 -> int1: the fact that the Philippians does not work English and it is not middle-class is not right.; int1 & sent2 -> int2: the Sand is not a walleye.; sent1 -> int3: if that the Sand is not a crowding and it is not a walleye does not hold it is a kind of a walleye.; sent9 & sent4 -> int4: the fact that the Sand is both not a crowding and not a walleye does not hold.; int3 & int4 -> int5: the Sand is a walleye.; int2 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the Philippians is not colorimetric.; int7 & sent5 -> int8: the madrigalist is a Fijian.; int8 & sent11 -> hypothesis; __DISPROVED__