the fact that if the microfiche is not a Mozambican then the parterre is not architectural and it does not lob airframe does not hold.
sent1: if the microfiche is not empyreal then that the AFP is not empyreal and is a Mozambican is wrong. sent2: if something is a hame it does not criticize take-in. sent3: the fact that the AFP is not empyreal is right if the parterre is a kind of non-architectural thing that does not lob airframe. sent4: if the AFP is not empyreal that the microfiche is not empyreal and is a kind of a hame is not right. sent5: if the microfiche is a Mozambican then the parterre is not architectural and it does not lob airframe. sent6: that if the fact that something is not empyreal but it is a kind of a hame does not hold it is architectural is not wrong. sent7: the fact that that the irregular is not a kind of a Mozambican but it does lob obstruent is not right is not wrong. sent8: the AFP is not empyreal if that the parterre is a kind of non-architectural thing that does not lob airframe is incorrect. sent9: if the microfiche is empyreal then it is a kind of a Mozambican. sent10: the fact that the parterre is not architectural is not wrong if the microfiche is not a Mozambican. sent11: if that something is non-empyreal a hame does not hold then it is a Mozambican. sent12: something is both unfruitful and not a group if that it is a hame hold. sent13: if the Islay is not an annotation then it is not dispensable and not a Mozambican. sent14: the parterre is a kind of non-architectural thing that does lob airframe if the microfiche is not a kind of a Mozambican. sent15: the parterre is not architectural. sent16: if that something does criticize take-in and is not empyreal is incorrect then it does not criticize take-in. sent17: if the parterre is not empyreal the fact that the AFP is empyreal and it does lob airframe does not hold.
void -> assump2: Let's assume that the fact that the parterre is not architectural and does not lob airframe is false.; sent8 & assump2 -> int1: the AFP is not empyreal.; int1 & sent4 -> int2: that the microfiche is not empyreal but it is a hame is false.; sent11 -> int3: the microfiche is a Mozambican if that it is not empyreal and is a kind of a hame is not true.; int2 & int3 -> int4: the microfiche is Mozambican.; void -> assump1: Let's assume that that the microfiche is not a Mozambican is right.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the parterre is not architectural and it does not lob airframe.; [assump1] & int6 -> hypothesis;
the Islay is a kind of non-fruitful thing that is not a kind of a group.
sent12 -> int7: that if the fact that the Islay is the hame is not wrong then the Islay is not fruitful and it is not a group hold.;
$hypothesis$ = the fact that if the microfiche is not a Mozambican then the parterre is not architectural and it does not lob airframe does not hold. ; $context$ = sent1: if the microfiche is not empyreal then that the AFP is not empyreal and is a Mozambican is wrong. sent2: if something is a hame it does not criticize take-in. sent3: the fact that the AFP is not empyreal is right if the parterre is a kind of non-architectural thing that does not lob airframe. sent4: if the AFP is not empyreal that the microfiche is not empyreal and is a kind of a hame is not right. sent5: if the microfiche is a Mozambican then the parterre is not architectural and it does not lob airframe. sent6: that if the fact that something is not empyreal but it is a kind of a hame does not hold it is architectural is not wrong. sent7: the fact that that the irregular is not a kind of a Mozambican but it does lob obstruent is not right is not wrong. sent8: the AFP is not empyreal if that the parterre is a kind of non-architectural thing that does not lob airframe is incorrect. sent9: if the microfiche is empyreal then it is a kind of a Mozambican. sent10: the fact that the parterre is not architectural is not wrong if the microfiche is not a Mozambican. sent11: if that something is non-empyreal a hame does not hold then it is a Mozambican. sent12: something is both unfruitful and not a group if that it is a hame hold. sent13: if the Islay is not an annotation then it is not dispensable and not a Mozambican. sent14: the parterre is a kind of non-architectural thing that does lob airframe if the microfiche is not a kind of a Mozambican. sent15: the parterre is not architectural. sent16: if that something does criticize take-in and is not empyreal is incorrect then it does not criticize take-in. sent17: if the parterre is not empyreal the fact that the AFP is empyreal and it does lob airframe does not hold. ; $proof$ = 
void -> assump2: Let's assume that the fact that the parterre is not architectural and does not lob airframe is false.; sent8 & assump2 -> int1: the AFP is not empyreal.; int1 & sent4 -> int2: that the microfiche is not empyreal but it is a hame is false.; sent11 -> int3: the microfiche is a Mozambican if that it is not empyreal and is a kind of a hame is not true.; int2 & int3 -> int4: the microfiche is Mozambican.; void -> assump1: Let's assume that that the microfiche is not a Mozambican is right.; int4 & assump1 -> int5: this is contradiction.; [assump2] & int5 -> int6: the parterre is not architectural and it does not lob airframe.; [assump1] & int6 -> hypothesis; __DISPROVED__