TSTP Solution File: PUZ090^5 by cocATP---0.2.0
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : cocATP---0.2.0
% Problem : PUZ090^5 : TPTP v6.1.0. Released v4.0.0.
% Transfm : none
% Format : tptp:raw
% Command : python CASC.py /export/starexec/sandbox/benchmark/theBenchmark.p
% Computer : n185.star.cs.uiowa.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2609 0 2.40GHz
% Memory : 32286.75MB
% OS : Linux 2.6.32-431.20.3.el6.x86_64
% CPULimit : 300s
% DateTime : Thu Jul 17 13:28:58 EDT 2014
% Result : Timeout 300.10s
% Output : None
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----NO SOLUTION OUTPUT BY SYSTEM
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% % Problem : PUZ090^5 : TPTP v6.1.0. Released v4.0.0.
% % Command : python CASC.py /export/starexec/sandbox/benchmark/theBenchmark.p
% % Computer : n185.star.cs.uiowa.edu
% % Model : x86_64 x86_64
% % CPU : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz
% % Memory : 32286.75MB
% % OS : Linux 2.6.32-431.20.3.el6.x86_64
% % CPULimit : 300
% % DateTime : Thu Jul 17 08:15:06 CDT 2014
% % CPUTime : 300.10
% Python 2.7.5
% Using paths ['/home/cristobal/cocATP/CASC/TPTP/', '/export/starexec/sandbox/benchmark/', '/export/starexec/sandbox/benchmark/']
% FOF formula (<kernel.Constant object at 0x1a0a098>, <kernel.Sort object at 0x14f5c68>) of role type named cOPEN_WINDOW
% Using role type
% Declaring cOPEN_WINDOW:Prop
% FOF formula (<kernel.Constant object at 0x1a0aea8>, <kernel.Sort object at 0x14f5c68>) of role type named cEAST
% Using role type
% Declaring cEAST:Prop
% FOF formula (<kernel.Constant object at 0x1a0a2d8>, <kernel.Sort object at 0x14f5c68>) of role type named cRHEUMATIC
% Using role type
% Declaring cRHEUMATIC:Prop
% FOF formula (<kernel.Constant object at 0x1a0aa28>, <kernel.Sort object at 0x14f5c68>) of role type named cFOGGY
% Using role type
% Declaring cFOGGY:Prop
% FOF formula (<kernel.Constant object at 0x1a0ae60>, <kernel.Sort object at 0x14f5c68>) of role type named cOPEN_DOOR
% Using role type
% Declaring cOPEN_DOOR:Prop
% FOF formula (<kernel.Constant object at 0x1a0ad88>, <kernel.Sort object at 0x14f5c68>) of role type named cFLUTE
% Using role type
% Declaring cFLUTE:Prop
% FOF formula (<kernel.Constant object at 0x1a0a7a0>, <kernel.Sort object at 0x14f5c68>) of role type named cSUNSHINE
% Using role type
% Declaring cSUNSHINE:Prop
% FOF formula (<kernel.Constant object at 0x1a0a7e8>, <kernel.Sort object at 0x14f5c68>) of role type named cFIRE
% Using role type
% Declaring cFIRE:Prop
% FOF formula (<kernel.Constant object at 0x1a0a320>, <kernel.Sort object at 0x14f5c68>) of role type named cGUSTY
% Using role type
% Declaring cGUSTY:Prop
% FOF formula (<kernel.Constant object at 0x1a0ac68>, <kernel.Sort object at 0x14f5c68>) of role type named cHEADACHE
% Using role type
% Declaring cHEADACHE:Prop
% FOF formula (<kernel.Constant object at 0x1a0a830>, <kernel.Sort object at 0x14f5c68>) of role type named cSMOKES
% Using role type
% Declaring cSMOKES:Prop
% FOF formula (<kernel.Constant object at 0x1a0a128>, <kernel.Sort object at 0x14f5c68>) of role type named cCOLD
% Using role type
% Declaring cCOLD:Prop
% FOF formula (<kernel.Constant object at 0x1a0acb0>, <kernel.Sort object at 0x14f5c68>) of role type named cSMOKE
% Using role type
% Declaring cSMOKE:Prop
% FOF formula (((and ((and ((and ((and ((and ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False)))) (((and ((and (cGUSTY->False)) cFIRE)) (cOPEN_DOOR->False))->(cRHEUMATIC->False)))) (cSUNSHINE->cFOGGY))) (cFLUTE->(cOPEN_DOOR->False)))) (((and cFOGGY) cEAST)->cRHEUMATIC))->(cEAST->(cOPEN_WINDOW->False))) of role conjecture named cTHM210
% Conjecture to prove = (((and ((and ((and ((and ((and ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False)))) (((and ((and (cGUSTY->False)) cFIRE)) (cOPEN_DOOR->False))->(cRHEUMATIC->False)))) (cSUNSHINE->cFOGGY))) (cFLUTE->(cOPEN_DOOR->False)))) (((and cFOGGY) cEAST)->cRHEUMATIC))->(cEAST->(cOPEN_WINDOW->False))):Prop
% We need to prove ['(((and ((and ((and ((and ((and ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False)))) (((and ((and (cGUSTY->False)) cFIRE)) (cOPEN_DOOR->False))->(cRHEUMATIC->False)))) (cSUNSHINE->cFOGGY))) (cFLUTE->(cOPEN_DOOR->False)))) (((and cFOGGY) cEAST)->cRHEUMATIC))->(cEAST->(cOPEN_WINDOW->False)))']
% Parameter cOPEN_WINDOW:Prop.
% Parameter cEAST:Prop.
% Parameter cRHEUMATIC:Prop.
% Parameter cFOGGY:Prop.
% Parameter cOPEN_DOOR:Prop.
% Parameter cFLUTE:Prop.
% Parameter cSUNSHINE:Prop.
% Parameter cFIRE:Prop.
% Parameter cGUSTY:Prop.
% Parameter cHEADACHE:Prop.
% Parameter cSMOKES:Prop.
% Parameter cCOLD:Prop.
% Parameter cSMOKE:Prop.
% Trying to prove (((and ((and ((and ((and ((and ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False)))) (((and ((and (cGUSTY->False)) cFIRE)) (cOPEN_DOOR->False))->(cRHEUMATIC->False)))) (cSUNSHINE->cFOGGY))) (cFLUTE->(cOPEN_DOOR->False)))) (((and cFOGGY) cEAST)->cRHEUMATIC))->(cEAST->(cOPEN_WINDOW->False)))
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x11:cOPEN_WINDOW
% Found x11 as proof of cOPEN_WINDOW
% Found x3:cOPEN_WINDOW
% Found x3 as proof of cOPEN_WINDOW
% Found x5:cOPEN_WINDOW
% Found x5 as proof of cOPEN_WINDOW
% Found x7:cOPEN_WINDOW
% Found x7 as proof of cOPEN_WINDOW
% Found x9:cOPEN_WINDOW
% Found x9 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x3:cOPEN_WINDOW
% Found x3 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x13:cOPEN_WINDOW
% Found x13 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x5:cOPEN_WINDOW
% Found x5 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x7:cOPEN_WINDOW
% Found x7 as proof of cOPEN_WINDOW
% Found x11:cOPEN_WINDOW
% Found x11 as proof of cOPEN_WINDOW
% Found x9:cOPEN_WINDOW
% Found x9 as proof of cOPEN_WINDOW
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x10:cOPEN_DOOR
% Found x10 as proof of cOPEN_DOOR
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x100:=(x10 x60):(cOPEN_WINDOW->False)
% Found (x10 x60) as proof of (not cOPEN_WINDOW)
% Found (x10 x60) as proof of (not cOPEN_WINDOW)
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x10:cOPEN_DOOR
% Found x10 as proof of cOPEN_DOOR
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x10:cOPEN_DOOR
% Found x10 as proof of cOPEN_DOOR
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x10:cOPEN_DOOR
% Found x10 as proof of cOPEN_DOOR
% Found x10:cOPEN_DOOR
% Found x10 as proof of cOPEN_DOOR
% Found x100:=(x10 x60):(cOPEN_WINDOW->False)
% Found (x10 x60) as proof of (not cOPEN_WINDOW)
% Found (fun (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)) as proof of (not cOPEN_WINDOW)
% Found (fun (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->(not cOPEN_WINDOW))
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x10:cOPEN_DOOR
% Found x10 as proof of cOPEN_DOOR
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x1100:=(x110 x1):False
% Found (x110 x1) as proof of False
% Found ((x11 x70) x1) as proof of False
% Found ((x11 x70) x1) as proof of False
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x100:=(x10 x60):(cOPEN_WINDOW->False)
% Found (x10 x60) as proof of (not cOPEN_WINDOW)
% Found (fun (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)) as proof of (not cOPEN_WINDOW)
% Found (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->(not cOPEN_WINDOW))
% Found (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)) as proof of (((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->(not cOPEN_WINDOW)))
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x1100:=(x110 x1):False
% Found (x110 x1) as proof of False
% Found ((x11 x70) x1) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x1)) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x1)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->False)
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x1100:=(x110 x1):False
% Found (x110 x1) as proof of False
% Found ((x11 x70) x1) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x1)) as proof of False
% Found (fun (x10:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x1)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->False)
% Found (fun (x10:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x1)) as proof of (((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->False))
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x1100:=(x110 x1):False
% Found (x110 x1) as proof of False
% Found ((x11 x70) x1) as proof of False
% Found ((x11 x70) x1) as proof of False
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x1100:=(x110 x3):False
% Found (x110 x3) as proof of False
% Found ((x11 x70) x3) as proof of False
% Found ((x11 x70) x3) as proof of False
% Found x1000:=(x100 x11):False
% Found (x100 x11) as proof of False
% Found ((x10 x60) x11) as proof of False
% Found ((x10 x60) x11) as proof of False
% Found x3:cOPEN_WINDOW
% Found x3 as proof of cOPEN_WINDOW
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x1100:=(x110 x5):False
% Found (x110 x5) as proof of False
% Found ((x11 x70) x5) as proof of False
% Found ((x11 x70) x5) as proof of False
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x5:cOPEN_WINDOW
% Found x5 as proof of cOPEN_WINDOW
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x1100:=(x110 x7):False
% Found (x110 x7) as proof of False
% Found ((x11 x60) x7) as proof of False
% Found ((x11 x60) x7) as proof of False
% Found x1100:=(x110 x9):False
% Found (x110 x9) as proof of False
% Found ((x11 x60) x9) as proof of False
% Found ((x11 x60) x9) as proof of False
% Found x15:cOPEN_WINDOW
% Found x15 as proof of cOPEN_WINDOW
% Found x11:cOPEN_WINDOW
% Found x11 as proof of cOPEN_WINDOW
% Found x7:cOPEN_WINDOW
% Found x7 as proof of cOPEN_WINDOW
% Found x9:cOPEN_WINDOW
% Found x9 as proof of cOPEN_WINDOW
% Found x13:cOPEN_WINDOW
% Found x13 as proof of cOPEN_WINDOW
% Found x1100:=(x110 x1):False
% Found (x110 x1) as proof of False
% Found ((x11 x70) x1) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x1)) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x1)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->False)
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x1100:=(x110 x3):False
% Found (x110 x3) as proof of False
% Found ((x11 x70) x3) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x3)) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x3)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->False)
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x1100:=(x110 x5):False
% Found (x110 x5) as proof of False
% Found ((x11 x70) x5) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x5)) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x5)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->False)
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x3:cOPEN_WINDOW
% Found x3 as proof of cOPEN_WINDOW
% Found x11:cOPEN_WINDOW
% Found x11 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x1100:=(x110 x7):False
% Found (x110 x7) as proof of False
% Found ((x11 x60) x7) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x60) x7)) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x60) x7)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->False)
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x1100:=(x110 x9):False
% Found (x110 x9) as proof of False
% Found ((x11 x60) x9) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x60) x9)) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x60) x9)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->False)
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x5:cOPEN_WINDOW
% Found x5 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x7:cOPEN_WINDOW
% Found x7 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x9:cOPEN_WINDOW
% Found x9 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x1100:=(x110 x1):False
% Found (x110 x1) as proof of False
% Found ((x11 x70) x1) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x1)) as proof of False
% Found (fun (x10:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x1)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->False)
% Found (fun (x10:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x1)) as proof of (((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->False))
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x1100:=(x110 x3):False
% Found (x110 x3) as proof of False
% Found ((x11 x70) x3) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x3)) as proof of False
% Found (fun (x10:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x3)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->False)
% Found (fun (x10:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x3)) as proof of (((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->False))
% Found x3:cOPEN_WINDOW
% Found x3 as proof of cOPEN_WINDOW
% Found x3:cOPEN_WINDOW
% Found x3 as proof of cOPEN_WINDOW
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x3:cOPEN_WINDOW
% Found x3 as proof of cOPEN_WINDOW
% Found x1100:=(x110 x5):False
% Found (x110 x5) as proof of False
% Found ((x11 x70) x5) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x5)) as proof of False
% Found (fun (x10:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x5)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->False)
% Found (fun (x10:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x5)) as proof of (((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->False))
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x11:cOPEN_WINDOW
% Found x11 as proof of cOPEN_WINDOW
% Found x11:cOPEN_WINDOW
% Found x11 as proof of cOPEN_WINDOW
% Found x11:cOPEN_WINDOW
% Found x11 as proof of cOPEN_WINDOW
% Found x5:cOPEN_WINDOW
% Found x5 as proof of cOPEN_WINDOW
% Found x5:cOPEN_WINDOW
% Found x5 as proof of cOPEN_WINDOW
% Found x5:cOPEN_WINDOW
% Found x5 as proof of cOPEN_WINDOW
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x1100:=(x110 x7):False
% Found (x110 x7) as proof of False
% Found ((x11 x60) x7) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x60) x7)) as proof of False
% Found (fun (x10:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x60) x7)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->False)
% Found (fun (x10:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x60) x7)) as proof of (((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->False))
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x1100:=(x110 x9):False
% Found (x110 x9) as proof of False
% Found ((x11 x60) x9) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x60) x9)) as proof of False
% Found (fun (x10:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x60) x9)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->False)
% Found (fun (x10:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x60) x9)) as proof of (((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->False))
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x7:cOPEN_WINDOW
% Found x7 as proof of cOPEN_WINDOW
% Found x7:cOPEN_WINDOW
% Found x7 as proof of cOPEN_WINDOW
% Found x7:cOPEN_WINDOW
% Found x7 as proof of cOPEN_WINDOW
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x9:cOPEN_WINDOW
% Found x9 as proof of cOPEN_WINDOW
% Found x9:cOPEN_WINDOW
% Found x9 as proof of cOPEN_WINDOW
% Found x100:=(x10 x60):(cOPEN_WINDOW->False)
% Found (x10 x60) as proof of (not cOPEN_WINDOW)
% Found (fun (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)) as proof of (not cOPEN_WINDOW)
% Found (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->(not cOPEN_WINDOW))
% Found (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)) as proof of (((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->(not cOPEN_WINDOW)))
% Found (and_rect40 (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60))) as proof of (not cOPEN_WINDOW)
% Found ((and_rect4 (not cOPEN_WINDOW)) (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60))) as proof of (not cOPEN_WINDOW)
% Found (((fun (P:Type) (x9:(((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->P)))=> (((((and_rect ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False))) P) x9) x7)) (not cOPEN_WINDOW)) (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60))) as proof of (not cOPEN_WINDOW)
% Found (((fun (P:Type) (x9:(((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->P)))=> (((((and_rect ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False))) P) x9) x7)) (not cOPEN_WINDOW)) (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60))) as proof of (not cOPEN_WINDOW)
% Found x9:cOPEN_WINDOW
% Found x9 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x11:cOPEN_WINDOW
% Found x11 as proof of cOPEN_WINDOW
% Found x3:cOPEN_WINDOW
% Found x3 as proof of cOPEN_WINDOW
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x3:cOPEN_WINDOW
% Found x3 as proof of cOPEN_WINDOW
% Found x3:cOPEN_WINDOW
% Found x3 as proof of cOPEN_WINDOW
% Found x11:cOPEN_WINDOW
% Found x11 as proof of cOPEN_WINDOW
% Found x11:cOPEN_WINDOW
% Found x11 as proof of cOPEN_WINDOW
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x5:cOPEN_WINDOW
% Found x5 as proof of cOPEN_WINDOW
% Found x5:cOPEN_WINDOW
% Found x5 as proof of cOPEN_WINDOW
% Found x5:cOPEN_WINDOW
% Found x5 as proof of cOPEN_WINDOW
% Found x1:cOPEN_WINDOW
% Found x1 as proof of cOPEN_WINDOW
% Found x12:cOPEN_DOOR
% Found x12 as proof of cOPEN_DOOR
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x100:=(x10 x60):(cOPEN_WINDOW->False)
% Found (x10 x60) as proof of (not cOPEN_WINDOW)
% Found (fun (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)) as proof of (not cOPEN_WINDOW)
% Found (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->(not cOPEN_WINDOW))
% Found (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)) as proof of (((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->(not cOPEN_WINDOW)))
% Found (and_rect40 (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60))) as proof of (not cOPEN_WINDOW)
% Found ((and_rect4 (not cOPEN_WINDOW)) (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60))) as proof of (not cOPEN_WINDOW)
% Found (((fun (P:Type) (x9:(((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->P)))=> (((((and_rect ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False))) P) x9) x7)) (not cOPEN_WINDOW)) (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60))) as proof of (not cOPEN_WINDOW)
% Found (fun (x8:(((and ((and (cGUSTY->False)) cFIRE)) (cOPEN_DOOR->False))->(not cRHEUMATIC)))=> (((fun (P:Type) (x9:(((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->P)))=> (((((and_rect ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False))) P) x9) x7)) (not cOPEN_WINDOW)) (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)))) as proof of (not cOPEN_WINDOW)
% Found (fun (x8:(((and ((and (cGUSTY->False)) cFIRE)) (cOPEN_DOOR->False))->(not cRHEUMATIC)))=> (((fun (P:Type) (x9:(((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->P)))=> (((((and_rect ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False))) P) x9) x7)) (not cOPEN_WINDOW)) (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)))) as proof of ((((and ((and (cGUSTY->False)) cFIRE)) (cOPEN_DOOR->False))->(not cRHEUMATIC))->(not cOPEN_WINDOW))
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x7:cOPEN_WINDOW
% Found x7 as proof of cOPEN_WINDOW
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x100:(cOPEN_WINDOW->False)
% Found (fun (x12:(cOPEN_DOOR->(cHEADACHE->False)))=> x100) as proof of (not cOPEN_WINDOW)
% Found (fun (x12:(cOPEN_DOOR->(cHEADACHE->False)))=> x100) as proof of ((cOPEN_DOOR->(cHEADACHE->False))->(not cOPEN_WINDOW))
% Found x7:cOPEN_WINDOW
% Found x7 as proof of cOPEN_WINDOW
% Found x7:cOPEN_WINDOW
% Found x7 as proof of cOPEN_WINDOW
% Found x20:cRHEUMATIC
% Found x20 as proof of cRHEUMATIC
% Found x9:cOPEN_WINDOW
% Found x9 as proof of cOPEN_WINDOW
% Found x9:cOPEN_WINDOW
% Found x9 as proof of cOPEN_WINDOW
% Found x9:cOPEN_WINDOW
% Found x9 as proof of cOPEN_WINDOW
% Found x30:cRHEUMATIC
% Found x30 as proof of cRHEUMATIC
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x100:=(x10 x60):(cOPEN_WINDOW->False)
% Found (x10 x60) as proof of (not cOPEN_WINDOW)
% Found (fun (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)) as proof of (not cOPEN_WINDOW)
% Found (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->(not cOPEN_WINDOW))
% Found (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)) as proof of (((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->(not cOPEN_WINDOW)))
% Found (and_rect40 (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60))) as proof of (not cOPEN_WINDOW)
% Found ((and_rect4 (not cOPEN_WINDOW)) (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60))) as proof of (not cOPEN_WINDOW)
% Found (((fun (P:Type) (x9:(((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->P)))=> (((((and_rect ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False))) P) x9) x7)) (not cOPEN_WINDOW)) (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60))) as proof of (not cOPEN_WINDOW)
% Found (fun (x8:(((and ((and (cGUSTY->False)) cFIRE)) (cOPEN_DOOR->False))->(not cRHEUMATIC)))=> (((fun (P:Type) (x9:(((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->P)))=> (((((and_rect ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False))) P) x9) x7)) (not cOPEN_WINDOW)) (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)))) as proof of (not cOPEN_WINDOW)
% Found (fun (x7:((and ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False)))) (x8:(((and ((and (cGUSTY->False)) cFIRE)) (cOPEN_DOOR->False))->(not cRHEUMATIC)))=> (((fun (P:Type) (x9:(((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->P)))=> (((((and_rect ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False))) P) x9) x7)) (not cOPEN_WINDOW)) (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)))) as proof of ((((and ((and (cGUSTY->False)) cFIRE)) (cOPEN_DOOR->False))->(not cRHEUMATIC))->(not cOPEN_WINDOW))
% Found (fun (x7:((and ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False)))) (x8:(((and ((and (cGUSTY->False)) cFIRE)) (cOPEN_DOOR->False))->(not cRHEUMATIC)))=> (((fun (P:Type) (x9:(((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->P)))=> (((((and_rect ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False))) P) x9) x7)) (not cOPEN_WINDOW)) (fun (x9:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x10:(cFOGGY->(cOPEN_WINDOW->False)))=> (x10 x60)))) as proof of (((and ((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (cFOGGY->(cOPEN_WINDOW->False)))->((((and ((and (cGUSTY->False)) cFIRE)) (cOPEN_DOOR->False))->(not cRHEUMATIC))->(not cOPEN_WINDOW)))
% Found x0:cEAST
% Found x0 as proof of cEAST
% Found x1100:=(x110 x1):False
% Found (x110 x1) as proof of False
% Found ((x11 x70) x1) as proof of False
% Found (fun (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x1)) as proof of False
% Found (fun (x10:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x1)) as proof of ((cFOGGY->(cOPEN_WINDOW->False))->False)
% Found (fun (x10:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))) (x11:(cFOGGY->(cOPEN_WINDOW->False)))=> ((x11 x70) x1)) as proof of (((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHEUMATIC)->cFIRE))) (((and cEAST) cGUSTY)->cSMOKES))) (cOPEN_DOOR->(cHEADACHE->False)))->((cFOGGY->(cOPEN_WINDOW->False))->False))
% Found (and_rect40 (fun (x10:((and ((and ((and ((and ((and (cEAST->cSUNSHINE)) (((and cCOLD) cFOGGY)->cFLUTE))) (((and cFIRE) cSMOKE)->cOPEN_DOOR))) (((and cCOLD) cRHE
% EOF
%------------------------------------------------------------------------------