Simple (Machine) Simon
Type true if the statement is true. Type false if the statement is false. Simple, right?