signature { propositions { s, t } nominals { } relations { br } } theory { s; []false; [br](s --> [br]!s); [br](!s --> []!s); (!s & t & ( !s & !t & (s & ( (<>s) & <>(!s & <>s))) )); }