Conditional Cheat Sheet

Conditional Creator

Conditional Type

Hypothesis

Conclusion

Result:

Conditional Parser

Conditional Input

Result:

Conditional Swapper

New type

Old statement

Result:

Counter-example finder

Statement

Result: