the semitrailer is a kind of a franc-tireur.
sent1: if the fact that either the gnetum is a kind of an adrenal or it is not a kind of a Zygocactus or both is not right the fact that the semitrailer minstrels officiation is correct. sent2: if that either something is not a flirt or it is a frill or both does not hold it is not a Norman. sent3: if the fact that the gnetum is not a blanc is true the semitrailer is a franc-tireur that is a Norman. sent4: if that the gnetum is not erythropoietic is true then the fact that either it is not a heating or it is fiscal or both does not hold. sent5: the cleanser is a kind of a Zygocactus. sent6: the fact that the semitrailer is not a flirt or is a frill or both does not hold if it is not a blanc. sent7: the semitrailer is not a kind of a blanc. sent8: if that that the gnetum is not a flirt or adrenal or both is true is wrong then it is not a Norman. sent9: the fact that something is not a kind of a Norman but it is a franc-tireur is not true if it minstrels officiation. sent10: the fact that the gnetum is an adrenal and/or it is not a kind of a Zygocactus is not right.
sent2 -> int1: the semitrailer is not Norman if that it is not a flirt or is a frill or both is wrong.; sent6 & sent7 -> int2: the fact that that the semitrailer does not flirt and/or it is a frill is correct does not hold.; int1 & int2 -> int3: the semitrailer is not a Norman.; void -> assump1: Let's assume that the semitrailer is a kind of a franc-tireur.; int3 & assump1 -> int4: the semitrailer is both not Norman and a franc-tireur.; sent9 -> int5: if the semitrailer minstrels officiation then that the fact that it is not Norman and is a kind of a franc-tireur is not false is incorrect.; sent1 & sent10 -> int6: the semitrailer minstrels officiation.; int5 & int6 -> int7: that the semitrailer is not a Norman but it is a kind of a franc-tireur is not right.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis;
the semitrailer is a franc-tireur.
$hypothesis$ = the semitrailer is a kind of a franc-tireur. ; $context$ = sent1: if the fact that either the gnetum is a kind of an adrenal or it is not a kind of a Zygocactus or both is not right the fact that the semitrailer minstrels officiation is correct. sent2: if that either something is not a flirt or it is a frill or both does not hold it is not a Norman. sent3: if the fact that the gnetum is not a blanc is true the semitrailer is a franc-tireur that is a Norman. sent4: if that the gnetum is not erythropoietic is true then the fact that either it is not a heating or it is fiscal or both does not hold. sent5: the cleanser is a kind of a Zygocactus. sent6: the fact that the semitrailer is not a flirt or is a frill or both does not hold if it is not a blanc. sent7: the semitrailer is not a kind of a blanc. sent8: if that that the gnetum is not a flirt or adrenal or both is true is wrong then it is not a Norman. sent9: the fact that something is not a kind of a Norman but it is a franc-tireur is not true if it minstrels officiation. sent10: the fact that the gnetum is an adrenal and/or it is not a kind of a Zygocactus is not right. ; $proof$ = 
sent2 -> int1: the semitrailer is not Norman if that it is not a flirt or is a frill or both is wrong.; sent6 & sent7 -> int2: the fact that that the semitrailer does not flirt and/or it is a frill is correct does not hold.; int1 & int2 -> int3: the semitrailer is not a Norman.; void -> assump1: Let's assume that the semitrailer is a kind of a franc-tireur.; int3 & assump1 -> int4: the semitrailer is both not Norman and a franc-tireur.; sent9 -> int5: if the semitrailer minstrels officiation then that the fact that it is not Norman and is a kind of a franc-tireur is not false is incorrect.; sent1 & sent10 -> int6: the semitrailer minstrels officiation.; int5 & int6 -> int7: that the semitrailer is not a Norman but it is a kind of a franc-tireur is not right.; int4 & int7 -> int8: this is contradiction.; [assump1] & int8 -> hypothesis; __DISPROVED__