[ BeginEnv "proposition"
, Label "assumetest"
, Word "if"
, BeginEnv "math"
, Variable "x"
, Command "in"
, Variable "y"
, EndEnv "math"
, Symbol ","
, Word "then"
, BeginEnv "math"
, Variable "x"
, Command "in"
, Variable "y"
, EndEnv "math"
, Symbol "."
, EndEnv "proposition"
, BeginEnv "proof"
, Word "assume"
, BeginEnv "math"
, Variable "x"
, Command "in"
, Variable "y"
, EndEnv "math"
, Symbol "."
, Word "then"
, BeginEnv "math"
, Variable "x"
, Command "in"
, Variable "y"
, EndEnv "math"
, Symbol "."
, EndEnv "proof"
, BeginEnv "proposition"
, Label "assumetesttwo"
, Word "if"
, BeginEnv "math"
, Variable "x"
, Command "in"
, Variable "y"
, EndEnv "math"
, Word "and"
, BeginEnv "math"
, Variable "a"
, Command "in"
, Variable "b"
, EndEnv "math"
, Symbol ","
, Word "then"
, BeginEnv "math"
, Variable "x"
, Command "in"
, Variable "y"
, EndEnv "math"
, Symbol "."
, EndEnv "proposition"
, BeginEnv "proof"
, Word "assume"
, BeginEnv "math"
, Variable "a"
, Command "in"
, Variable "b"
, EndEnv "math"
, Symbol "."
, Word "assume"
, BeginEnv "math"
, Variable "x"
, Command "in"
, Variable "y"
, EndEnv "math"
, Symbol "."
, Word "then"
, BeginEnv "math"
, Variable "x"
, Command "in"
, Variable "y"
, EndEnv "math"
, Symbol "."
, EndEnv "proof"
]