the furring is not minus but it is a Gerea.
sent1: the furring is not minus. sent2: if the raftsman is not a butut then the furring is a kind of non-minus a Gerea. sent3: if that the raftsman is not pyloric and/or does not enslave normothermia does not hold then the alkyl is underhand. sent4: the raftsman is pyloric. sent5: that the alkyl does not drowse or is not a Gerea or both is not correct. sent6: if something does not bead hollandaise then the fact that it is not minus and it is a kind of a Gerea does not hold. sent7: if the hollandaise beads Lauraceae the fact that the alkyl is near thing that does not fire is false. sent8: that the hollandaise is a Vanderbilt is correct if that the alkyl beads hollandaise and/or does not drowse is not right. sent9: that the monstrance is nonhierarchical but it is not a kind of a imperium is wrong. sent10: the raftsman is not underhand if there exists something such that the fact that it is a Vanderbilt and does not drowse is not right. sent11: the nougat is not a kind of a silverspot but it is a transcription. sent12: that the alkyl is not pyloric and/or it does not enslave runt is incorrect. sent13: if something is not a Vanderbilt then that it does not drowse and it is not underhand is false. sent14: the fact that the alkyl beads hollandaise or it does not drowse or both is not true if it is underhand. sent15: if something is not nonhierarchical then it is both unequivocal and a gray. sent16: the hollandaise does bead Lauraceae if there is something such that it is unequivocal. sent17: something is not a butut if it is not pyloric or it does not enslave normothermia or both. sent18: the fact that something is a Vanderbilt but it does not drowse is not correct if it is not a kind of a butut. sent19: if the fact that the monstrance is nonhierarchical and not a imperium is not right the nougat is not nonhierarchical. sent20: something is not a kind of a butut if that it is near and not a fire is not right. sent21: if something that is not a butut is not minus then it is not a kind of a Vanderbilt. sent22: the hollandaise is not a Vanderbilt if the nougat is a kind of a Vanderbilt. sent23: the nougat beads hollandaise. sent24: the nougat is a kind of a Vanderbilt. sent25: that the raftsman is minus or is not pyloric or both is not right. sent26: the nougat is minus if the fact that the furring is a kind of a butut and/or is not a Vanderbilt is not right. sent27: if something beads hollandaise it is both not Apocryphal and a Ilex.
void -> assump1: Let's assume that that the raftsman is not pyloric or it does not enslave normothermia or both is not true.; sent3 & assump1 -> int1: the alkyl is underhand.; int1 & sent14 -> int2: that the alkyl does bead hollandaise and/or it does not drowse is not true.; int2 & sent8 -> int3: the hollandaise is a kind of a Vanderbilt.; sent22 & sent24 -> int4: the fact that the hollandaise is not a Vanderbilt is correct.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the raftsman is not pyloric and/or does not enslave normothermia.; sent17 -> int7: if the raftsman either is not pyloric or does not enslave normothermia or both it is not a butut.; int6 & int7 -> int8: the raftsman is not a butut.; int8 & sent2 -> hypothesis;
the fact that the furring is not minus and is a Gerea does not hold.
sent6 -> int9: the fact that the furring is both non-minus and a Gerea does not hold if it does not bead hollandaise.; sent18 -> int10: if the alkyl is not a butut the fact that it is a Vanderbilt that does not drowse is not correct.; sent20 -> int11: if the fact that the alkyl is near but it is not a kind of a fire is not true then it is not a kind of a butut.; sent15 -> int12: the nougat is unequivocal a gray if it is not nonhierarchical.; sent19 & sent9 -> int13: the nougat is not nonhierarchical.; int12 & int13 -> int14: the nougat is both unequivocal and a gray.; int14 -> int15: the nougat is unequivocal.; int15 -> int16: something is unequivocal.; int16 & sent16 -> int17: the hollandaise does bead Lauraceae.; sent7 & int17 -> int18: that the alkyl is near and is not a kind of a fire is incorrect.; int11 & int18 -> int19: the alkyl is not a butut.; int10 & int19 -> int20: the fact that the alkyl is a Vanderbilt that does not drowse is false.; int20 -> int21: there is something such that the fact that it is a kind of a Vanderbilt and does not drowse does not hold.; int21 & sent10 -> int22: the raftsman is not underhand.; int22 -> int23: there exists something such that it is not underhand.;
$hypothesis$ = the furring is not minus but it is a Gerea. ; $context$ = sent1: the furring is not minus. sent2: if the raftsman is not a butut then the furring is a kind of non-minus a Gerea. sent3: if that the raftsman is not pyloric and/or does not enslave normothermia does not hold then the alkyl is underhand. sent4: the raftsman is pyloric. sent5: that the alkyl does not drowse or is not a Gerea or both is not correct. sent6: if something does not bead hollandaise then the fact that it is not minus and it is a kind of a Gerea does not hold. sent7: if the hollandaise beads Lauraceae the fact that the alkyl is near thing that does not fire is false. sent8: that the hollandaise is a Vanderbilt is correct if that the alkyl beads hollandaise and/or does not drowse is not right. sent9: that the monstrance is nonhierarchical but it is not a kind of a imperium is wrong. sent10: the raftsman is not underhand if there exists something such that the fact that it is a Vanderbilt and does not drowse is not right. sent11: the nougat is not a kind of a silverspot but it is a transcription. sent12: that the alkyl is not pyloric and/or it does not enslave runt is incorrect. sent13: if something is not a Vanderbilt then that it does not drowse and it is not underhand is false. sent14: the fact that the alkyl beads hollandaise or it does not drowse or both is not true if it is underhand. sent15: if something is not nonhierarchical then it is both unequivocal and a gray. sent16: the hollandaise does bead Lauraceae if there is something such that it is unequivocal. sent17: something is not a butut if it is not pyloric or it does not enslave normothermia or both. sent18: the fact that something is a Vanderbilt but it does not drowse is not correct if it is not a kind of a butut. sent19: if the fact that the monstrance is nonhierarchical and not a imperium is not right the nougat is not nonhierarchical. sent20: something is not a kind of a butut if that it is near and not a fire is not right. sent21: if something that is not a butut is not minus then it is not a kind of a Vanderbilt. sent22: the hollandaise is not a Vanderbilt if the nougat is a kind of a Vanderbilt. sent23: the nougat beads hollandaise. sent24: the nougat is a kind of a Vanderbilt. sent25: that the raftsman is minus or is not pyloric or both is not right. sent26: the nougat is minus if the fact that the furring is a kind of a butut and/or is not a Vanderbilt is not right. sent27: if something beads hollandaise it is both not Apocryphal and a Ilex. ; $proof$ = 
void -> assump1: Let's assume that that the raftsman is not pyloric or it does not enslave normothermia or both is not true.; sent3 & assump1 -> int1: the alkyl is underhand.; int1 & sent14 -> int2: that the alkyl does bead hollandaise and/or it does not drowse is not true.; int2 & sent8 -> int3: the hollandaise is a kind of a Vanderbilt.; sent22 & sent24 -> int4: the fact that the hollandaise is not a Vanderbilt is correct.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the raftsman is not pyloric and/or does not enslave normothermia.; sent17 -> int7: if the raftsman either is not pyloric or does not enslave normothermia or both it is not a butut.; int6 & int7 -> int8: the raftsman is not a butut.; int8 & sent2 -> hypothesis; __PROVED__