The bear is round. All cold things are not nice. If something is nice and not round then it is blue. All round things are blue. If something is cold and nice then it is blue. Blue things are cold. If something is nice and not blue then it is not red. If something is round then it is not red. Nice things are red.
The bear is round.
("bear" "is" "round" "+")
All cold things are not nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "-"))
If something is nice and not round then it is blue.
((("something" "is" "nice" "+") ("something" "is" "round" "~")) -> ("something" "is" "blue" "+"))
All round things are blue.
((("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
If something is cold and nice then it is blue.
((("something" "is" "cold" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
Blue things are cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If something is nice and not blue then it is not red.
((("something" "is" "nice" "+") ("something" "is" "blue" "~")) -> ("something" "is" "red" "-"))
If something is round then it is not red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "-"))
Nice things are red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
The bear is round.
True
1
proof
[(triple1)]
("bear" "is" "round" "+")
triple1
The bear is not round.
False
1
inv-proof
[(triple1)]
("bear" "is" "round" "-")
triple1
The bear is blue.
True
2
proof
[(((triple1) -> rule3))]
("bear" "is" "blue" "+")
((triple1) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is red.
False
2
inv-proof
[(((triple1) -> rule7))]
("bear" "is" "red" "+")
((triple1) -> (rule7 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is cold.
True
3
proof
[(((((triple1) -> rule3)) -> rule5))]
("bear" "is" "cold" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is not cold.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule5))]
("bear" "is" "cold" "-")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is not nice.
True
4
proof
[(((((((triple1) -> rule3)) -> rule5)) -> rule1))]
("bear" "is" "nice" "-")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is nice.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule5)) -> rule1))]
("bear" "is" "nice" "+")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "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 round.[(triple1)] @1: The bear is blue.[(((triple1) -> rule3))] The bear is not red.[(((triple1) -> rule7))] @2: The bear is cold.[(((((triple1) -> rule3)) -> rule5))] @3: The bear is not nice.[(((((((triple1) -> rule3)) -> rule5)) -> rule1))]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
((triple1) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not red.
("bear" "is" "red" "-")
((triple1) -> (rule7 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is cold.
("bear" "is" "cold" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is not nice.
("bear" "is" "nice" "-")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3