ExampleRules.hi

��d8042
?�
H6HnٔEѸ��B]��fxg<j��Õ�y�wi{&\��
��싙���E��fɫu��g1�B������
����4�O՟q�
	

9�܄>G��ůQ�o4v�	`AP�(�w~rud;s�g9$G�t�;��<F�P�U�⷗�x)B=9�*��tP���<���

���@���.]Q�2�
�@�Y���K���A��
����w^˟�b����
kfְ^�m(K��I��s��g���������[}."��b�}TG��a�*�
�ngC���bc��-g�
:N���U�,Z���,��

��9ǿ�~�b��ͤ
iE������m�,��
�Is������c��
{#�I�lD�����f�z�(�
���j�¬]
ܱ�od�{�J�
��ȴd
z�wP��h�$�\�@�?
rc��6���Ӕ~��B�
��<�K*�nG;W���X

�t��jC[�(�%��
 ��ڂ�o���
j!Ѣ����{���?��2�"�c���~܈��GL��
	


#$%



�<b����k�T��	R���8���cv1��γ3`��8���cv1��γ3`:����I�q��Y4	�mn]��x��as�(M6����x�o��l�&p��c�K���~8���cv1��γ3`������


��0%$#��c���7.b
��������
��0b�6Y�5)zTẹ��˼������
���>#�L�w�&���8�r��E�Џ�T1W
���O����O2�=��qr/q�������mw� ��0�c��Si%nG/�CxR�{*^r�Q��$�f8���cv1��γ3`�
1���4u�
��)M��5��*��`5�I�A�)<5:��Z}�x}{1��/�'6�yP'ԯ�Ǭx��J|^	&�B)+[S��δ�߬�/
I8���cv1��γ3`���0
8���cv1��γ3`�
s`٠:o���]�|�<����0�������Z
zGjl�	�8!/�g݃���d���
,*k��+� ��Xpr�PO��



&��



&�i>��M=��d[�^.
'
(
)
*
+
,
-
.
/
0
1
2
3
4
5
&

&
#
$
%
6
7
8
9
:
;
<	=>mainExampleRulesExampleSentencesFrontEndSyntax2baseghc-priminteger-gmp	GHC.FloatGHC.BaseControl.ApplicativeData.Functor.ConstData.Functor.IdentityData.MonoidData.Semigroup.InternalGHC.GenericsGHC.IO.Exception	Data.ListGHC.ShowPreludeGHC.ClassesreadSreadSsAllCNasTerm
ContradictionSentTer1Ter2Ter3	TermMakerTermNP
r
x
y
conclusionpremisesrulenameRuleantiantiARCaxiomaxiomARCbarbara
barbaraARCdariidownARCexFalsojunkonesdaggersome1some2zeroRuleListRuleName$fEqRule
$fShowRule$tc'Rule$tcRule	$trModuleString