true

true => a & b

expect (a)
expect (b)

---

theory (a human weighs between 80 and 400 pounds) {
  $x is a human
    & $x weighs $y pounds
    => $y >= 80 & $y <= 400
}
  
john is a human
john weighs x pounds

expect (x >= 80)
expect (x <= 400)

---

$x says (i weigh $y pounds)
  => $x weighs $y pounds

(user 123) says (i weigh 50 pounds)

expect ((user 123) weighs 50 pounds)

---

import math

proc {
  if (10 >= 5):
    ok1
  if (10 >= 20):
    ok2
}

expect ok1
don't expect ok2

---

import math
6 >= 5
don't expect contradiction

---

import math
5 >= 6
expect contradiction

---

import bool

proc {
  if false:
    nothing
  else if true:
    yes
}

expect yes
don't expect nothing

---

import bool

proc {
  if true:
    nothing
  else if true:
    yes
}

expect nothing
don't expect yes

---

import bool

proc {
  if false:
    nothing
  else if false:
    yes
}

don't expect nothing
don't expect yes

---

import math

proc {
  if (6 > 5):
    ok1
  if (5 > 5):
    ok2
}

expect ok1
don't expect ok2

---

import math

proc {
  if (4 < 5):
    ok1
  if (5 < 5):
    ok2
}

expect ok1
don't expect ok2

---

import math

theory (weight change) {
  $x weighs $y
    & last time $x weighed $z
    => proc {
      if ($y < $z):
        say (You lost weight)
      else if ($y > $z):
        say (You gained weight)
      else:
        say (You are stagnant)
    }
}

x weighs 45
last time x weighed 50

expect (say (You lost weight))
don't expect (say (You gained weight))
don't expect (say (You are stagnant))