The bear is cold. If something is cold and kind then it is green. If something is kind then it is cold. Green things are red. If something is cold then it is kind. Green things are round. If something is red then it is cold.
The bear is cold.
("bear" "is" "cold" "+")
If something is cold and kind then it is green.
((("something" "is" "cold" "+") ("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
If something is kind then it is cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Green things are red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If something is cold then it is kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
Green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If something is red then it is cold.
((("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
The bear is cold.
True
1
proof
[(triple1)]
("bear" "is" "cold" "+")
triple1
The bear is not cold.
False
1
inv-proof
[(triple1)]
("bear" "is" "cold" "-")
triple1
The bear is kind.
True
2
proof
[(((triple1) -> rule4))]
("bear" "is" "kind" "+")
((triple1) -> (rule4 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is not kind.
False
2
inv-proof
[(((triple1) -> rule4))]
("bear" "is" "kind" "-")
((triple1) -> (rule4 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is green.
True
4
proof
[(((triple1 ((triple1) -> rule4)) -> rule1))]
("bear" "is" "green" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is not green.
False
4
inv-proof
[(((triple1 ((triple1) -> rule4)) -> rule1))]
("bear" "is" "green" "-")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is round.
True
5
proof
[(((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule5))]
("bear" "is" "round" "+")
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is not red.
False
5
inv-proof
[(((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule3))]
("bear" "is" "red" "-")
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear is cold.[(triple1)] @1: The bear is kind.[(((triple1) -> rule4))] @2: The bear is green.[(((triple1 ((triple1) -> rule4)) -> rule1))] @3: The bear is red.[(((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule3))] The bear is round.[(((((triple1 ((triple1) -> rule4)) -> rule1)) -> rule5))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
((triple1) -> (rule4 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((triple1 ((triple1) -> (rule4 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
int2
The bear is red.
("bear" "is" "red" "+")
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3
The bear is round.
("bear" "is" "round" "+")
((((triple1 ((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is kind.
("bear" "is" "kind" "+")
int3