The bear is green. If the bear is green then the bear is young. If the bear is young then the bear is kind.
The bear is green.
("bear" "is" "green" "+")
If the bear is green then the bear is young.
((("bear" "is" "green" "+")) -> ("bear" "is" "young" "+"))
If the bear is young then the bear is kind.
((("bear" "is" "young" "+")) -> ("bear" "is" "kind" "+"))
The bear is green.
True
1
proof
[(triple1)]
("bear" "is" "green" "+")
triple1
The bear is not green.
False
1
inv-proof
[(triple1)]
("bear" "is" "green" "-")
triple1
The bear is young.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "young" "+")
((triple1) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is not young.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "young" "-")
((triple1) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is kind.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("bear" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is not kind.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule2))]
("bear" "is" "kind" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "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 green.[(triple1)] @1: The bear is young.[(((triple1) -> rule1))] @2: The bear is kind.[(((((triple1) -> rule1)) -> rule2))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
((triple1) -> (rule1 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2