The bear is blue. If the bear is blue then the bear is rough. All blue, green people are round. If someone is rough then they are green.
The bear is blue.
("bear" "is" "blue" "+")
If the bear is blue then the bear is rough.
((("bear" "is" "blue" "+")) -> ("bear" "is" "rough" "+"))
All blue, green people are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
The bear is blue.
True
1
proof
[(triple1)]
("bear" "is" "blue" "+")
triple1
The bear is not blue.
False
1
inv-proof
[(triple1)]
("bear" "is" "blue" "-")
triple1
The bear is rough.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "rough" "-")
((triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is green.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("bear" "is" "green" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is not green.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("bear" "is" "green" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is round.
True
5
proof
[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule2))]
("bear" "is" "round" "+")
((triple1 ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3
The bear is not round.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule2))]
("bear" "is" "round" "-")
((triple1 ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
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 likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
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 blue.[(triple1)] @1: The bear is rough.[(((triple1) -> rule1))] @2: The bear is green.[(((((triple1) -> rule1)) -> rule3))] @3: The bear is round.[(((triple1 ((((triple1) -> rule1)) -> rule3)) -> rule2))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is round.
("bear" "is" "round" "+")
((triple1 ((((triple1) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is rough.
("bear" "is" "rough" "+")
int3