The squirrel is cold. If the squirrel is blue and the squirrel is cold then the squirrel is green. All green, young people are not cold. If the squirrel is cold and the squirrel is green then the squirrel is not young. Cold people are blue. Cold, blue people are green. If the squirrel is young then the squirrel is not cold. If the squirrel is green and the squirrel is not young then the squirrel is not nice. If someone is blue and not green then they are nice.
The squirrel is cold.
("squirrel" "is" "cold" "+")
If the squirrel is blue and the squirrel is cold then the squirrel is green.
((("squirrel" "is" "blue" "+") ("squirrel" "is" "cold" "+")) -> ("squirrel" "is" "green" "+"))
All green, young people are not cold.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "-"))
If the squirrel is cold and the squirrel is green then the squirrel is not young.
((("squirrel" "is" "cold" "+") ("squirrel" "is" "green" "+")) -> ("squirrel" "is" "young" "-"))
Cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
Cold, blue people are green.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If the squirrel is young then the squirrel is not cold.
((("squirrel" "is" "young" "+")) -> ("squirrel" "is" "cold" "-"))
If the squirrel is green and the squirrel is not young then the squirrel is not nice.
((("squirrel" "is" "green" "+") ("squirrel" "is" "young" "~")) -> ("squirrel" "is" "nice" "-"))
If someone is blue and not green then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "nice" "+"))
The squirrel is cold.
True
1
proof
[(triple1)]
("squirrel" "is" "cold" "+")
triple1
The squirrel is not cold.
False
1
inv-proof
[(triple1)]
("squirrel" "is" "cold" "-")
triple1
The squirrel is blue.
True
2
proof
[(((triple1) -> rule4))]
("squirrel" "is" "blue" "+")
((triple1) -> (rule4 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not blue.
False
2
inv-proof
[(((triple1) -> rule4))]
("squirrel" "is" "blue" "-")
((triple1) -> (rule4 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is green.
True
4
proof
[(((triple1 ((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule4) triple1) -> rule1))]
("squirrel" "is" "green" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple1) -> (rule4 % int2)) triple1) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is not green.
False
4
inv-proof
[(((triple1 ((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule4) triple1) -> rule1))]
("squirrel" "is" "green" "-")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple1) -> (rule4 % int2)) triple1) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is not young.
True
6
proof
[(((triple1 ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3) OR ((triple1 ((((triple1) -> rule4) triple1) -> rule1)) -> rule3))]
("squirrel" "is" "young" "-")
((triple1 ((triple1 ((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((triple1 ((((triple1) -> (rule4 % int3)) triple1) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel is young.
False
6
inv-proof
[(((triple1 ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3) OR ((triple1 ((((triple1) -> rule4) triple1) -> rule1)) -> rule3))]
("squirrel" "is" "young" "+")
((triple1 ((triple1 ((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((triple1 ((((triple1) -> (rule4 % int3)) triple1) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel does not chase the squirrel.
Unknown
inv-random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel eats the squirrel.
Unknown
random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "+")
@0: The squirrel is cold.[(triple1)] @1: The squirrel is blue.[(((triple1) -> rule4))] @2: The squirrel is green.[(((triple1 ((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule4) triple1) -> rule1))] @3: The squirrel is not young.[(((triple1 ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3) OR ((triple1 ((((triple1) -> rule4) triple1) -> rule1)) -> rule3))] @4: The squirrel is not nice.[(((((triple1 ((triple1) -> rule4)) -> rule5) ((triple1 ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3)) -> rule7) OR ((((triple1 ((triple1) -> rule4)) -> rule5) ((triple1 ((((triple1) -> rule4) triple1) -> rule1)) -> rule3)) -> rule7) OR ((((((triple1) -> rule4) triple1) -> rule1) ((triple1 ((triple1 ((triple1) -> rule4)) -> rule5)) -> rule3)) -> rule7) OR ((((((triple1) -> rule4) triple1) -> rule1) ((triple1 ((((triple1) -> rule4) triple1) -> rule1)) -> rule3)) -> rule7))]
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple1) -> (rule4 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
((((triple1) -> (rule4 % int2)) triple1) -> (rule1 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2
The squirrel is not young.
("squirrel" "is" "young" "-")
((triple1 ((triple1 ((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
((triple1 ((((triple1) -> (rule4 % int3)) triple1) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is not young.
("squirrel" "is" "young" "-")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is blue.
("squirrel" "is" "blue" "+")
int3
The squirrel is not nice.
("squirrel" "is" "nice" "-")
((((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3)) ((triple1 ((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel is not nice.
("squirrel" "is" "nice" "-")
int1
The squirrel is not young.
("squirrel" "is" "young" "-")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is blue.
("squirrel" "is" "blue" "+")
int4
((((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3)) ((triple1 ((((triple1) -> (rule4 % int4)) triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel is not nice.
("squirrel" "is" "nice" "-")
int1
The squirrel is not young.
("squirrel" "is" "young" "-")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is blue.
("squirrel" "is" "blue" "+")
int4
((((((triple1) -> (rule4 % int4)) triple1) -> (rule1 % int3)) ((triple1 ((triple1 ((triple1) -> (rule4 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel is not nice.
("squirrel" "is" "nice" "-")
int1
The squirrel is not young.
("squirrel" "is" "young" "-")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is blue.
("squirrel" "is" "blue" "+")
int4
((((((triple1) -> (rule4 % int4)) triple1) -> (rule1 % int3)) ((triple1 ((((triple1) -> (rule4 % int4)) triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The squirrel is not nice.
("squirrel" "is" "nice" "-")
int1
The squirrel is not young.
("squirrel" "is" "young" "-")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The squirrel is blue.
("squirrel" "is" "blue" "+")
int4