The bear is round. Round things are nice. If something is rough then it is not round. If the bear is nice then the bear is blue.
The bear is round.
("bear" "is" "round" "+")
Round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something is rough then it is not round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "-"))
If the bear is nice then the bear is blue.
((("bear" "is" "nice" "+")) -> ("bear" "is" "blue" "+"))
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 nice.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is not nice.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "nice" "-")
((triple1) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is blue.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("bear" "is" "blue" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear is not blue.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("bear" "is" "blue" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
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 visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear is round.[(triple1)] @1: The bear is nice.[(((triple1) -> rule1))] @2: The bear is blue.[(((((triple1) -> rule1)) -> rule3))]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
((triple1) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2