Build from here
Decide whether a statement is always, sometimes, or never true
Find a counterexample to disprove a conjecture