Ported examples to external result
Added more examples for implication and disjunction
Added more tests for double implication