the fact that the mater does spoon Ulster is not false.
sent1: if the Ulster is a Mobile the fact that the cambric is inconsolable but not outdoors is incorrect. sent2: if the remote does beat Gymnocarpium the fact that it is not inconsolable is correct. sent3: that the Ulster does not enjoy remote but it is a swerve is false if the subcompact is not a kind of a Pollachius. sent4: something does not enjoy remote and is a swerve if that it is a CD8 is true. sent5: the cambric is not outdoors if the fact that it is a swerve is true. sent6: the Ulster does not enjoy remote. sent7: if that the mater is inconsolable and does not spoon Ulster is false it does enjoy remote. sent8: if the leatherette is a kind of a Pollachius then the subcompact is not a Pollachius. sent9: a Pollachius is not a CD8 and spoons Ulster. sent10: the fact that the wrack is a nervousness is right if it is a dissertation. sent11: the fact that the cambric is outdoors thing that spoons Ulster is not true. sent12: the mater does spoon Ulster if the fact that it is a CD8 and it is not a kind of a Mobile is wrong. sent13: the cambric is not abient. sent14: the fact that if the cambric is a kind of a dissertation then the mater spoons Ulster is right. sent15: the leatherette is a Pollachius. sent16: something is a dissertation if the fact that it is inconsolable and it is not outdoors is false. sent17: the cambric is a Pollachius. sent18: if something is outdoors then it is both not a Mobile and a CD8. sent19: something is a Mobile if it is not a CD8.
sent4 -> int1: the Ulster does not enjoy remote and does swerve if it is a CD8.; void -> assump1: Let's assume that the Ulster is a CD8.; int1 & assump1 -> int2: the Ulster does not enjoy remote and is a swerve.; sent8 & sent15 -> int3: the subcompact is not a Pollachius.; sent3 & int3 -> int4: the fact that the Ulster does not enjoy remote and is a swerve is false.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Ulster is not a kind of a CD8.; sent19 -> int7: if that the Ulster is not a kind of a CD8 is right then it is a Mobile.; int6 & int7 -> int8: the Ulster is a Mobile.; int8 & sent1 -> int9: that the cambric is inconsolable and is not outdoors is incorrect.; sent16 -> int10: the cambric is a dissertation if the fact that it is inconsolable and is not outdoors is not correct.; int9 & int10 -> int11: the cambric is a kind of a dissertation.; int11 & sent14 -> hypothesis;
the fact that the mater does not spoon Ulster is not incorrect.
sent18 -> int12: the cambric is not a Mobile and is a kind of a CD8 if it is outdoors.;
$hypothesis$ = the fact that the mater does spoon Ulster is not false. ; $context$ = sent1: if the Ulster is a Mobile the fact that the cambric is inconsolable but not outdoors is incorrect. sent2: if the remote does beat Gymnocarpium the fact that it is not inconsolable is correct. sent3: that the Ulster does not enjoy remote but it is a swerve is false if the subcompact is not a kind of a Pollachius. sent4: something does not enjoy remote and is a swerve if that it is a CD8 is true. sent5: the cambric is not outdoors if the fact that it is a swerve is true. sent6: the Ulster does not enjoy remote. sent7: if that the mater is inconsolable and does not spoon Ulster is false it does enjoy remote. sent8: if the leatherette is a kind of a Pollachius then the subcompact is not a Pollachius. sent9: a Pollachius is not a CD8 and spoons Ulster. sent10: the fact that the wrack is a nervousness is right if it is a dissertation. sent11: the fact that the cambric is outdoors thing that spoons Ulster is not true. sent12: the mater does spoon Ulster if the fact that it is a CD8 and it is not a kind of a Mobile is wrong. sent13: the cambric is not abient. sent14: the fact that if the cambric is a kind of a dissertation then the mater spoons Ulster is right. sent15: the leatherette is a Pollachius. sent16: something is a dissertation if the fact that it is inconsolable and it is not outdoors is false. sent17: the cambric is a Pollachius. sent18: if something is outdoors then it is both not a Mobile and a CD8. sent19: something is a Mobile if it is not a CD8. ; $proof$ = 
sent4 -> int1: the Ulster does not enjoy remote and does swerve if it is a CD8.; void -> assump1: Let's assume that the Ulster is a CD8.; int1 & assump1 -> int2: the Ulster does not enjoy remote and is a swerve.; sent8 & sent15 -> int3: the subcompact is not a Pollachius.; sent3 & int3 -> int4: the fact that the Ulster does not enjoy remote and is a swerve is false.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the Ulster is not a kind of a CD8.; sent19 -> int7: if that the Ulster is not a kind of a CD8 is right then it is a Mobile.; int6 & int7 -> int8: the Ulster is a Mobile.; int8 & sent1 -> int9: that the cambric is inconsolable and is not outdoors is incorrect.; sent16 -> int10: the cambric is a dissertation if the fact that it is inconsolable and is not outdoors is not correct.; int9 & int10 -> int11: the cambric is a kind of a dissertation.; int11 & sent14 -> hypothesis; __PROVED__