The bear is round. If the bear is cold then the bear is rough. If the bear is green and the bear is rough then the bear is nice. All round things are green. If something is green then it is rough. If something is round and nice then it is green. If the bear is round and the bear is cold then the bear is rough. If something is nice then it is green. If the bear is cold then the bear is green.
The bear is round.
("bear" "is" "round" "+")
If the bear is cold then the bear is rough.
((("bear" "is" "cold" "+")) -> ("bear" "is" "rough" "+"))
If the bear is green and the bear is rough then the bear is nice.
((("bear" "is" "green" "+") ("bear" "is" "rough" "+")) -> ("bear" "is" "nice" "+"))
All round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something is green then it is rough.
((("something" "is" "green" "+")) -> ("something" "is" "rough" "+"))
If something is round and nice then it is green.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If the bear is round and the bear is cold then the bear is rough.
((("bear" "is" "round" "+") ("bear" "is" "cold" "+")) -> ("bear" "is" "rough" "+"))
If something is nice then it is green.
((("something" "is" "nice" "+")) -> ("something" "is" "green" "+"))
If the bear is cold then the bear is green.
((("bear" "is" "cold" "+")) -> ("bear" "is" "green" "+"))
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 green.
True
2
proof
[(((triple1) -> rule3))]
("bear" "is" "green" "+")
((triple1) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
2
inv-proof
[(((triple1) -> rule3))]
("bear" "is" "green" "-")
((triple1) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is rough.
True
3
proof
[(((((triple1) -> rule3)) -> rule4))]
("bear" "is" "rough" "+")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is not rough.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule4))]
("bear" "is" "rough" "-")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "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 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 is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
@0: The bear is round.[(triple1)] @1: The bear is green.[(((triple1) -> rule3))] @2: The bear is rough.[(((((triple1) -> rule3)) -> rule4))] @3: The bear is nice.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule4)) -> rule2))]
The bear is round.
("bear" "is" "round" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
((triple1) -> (rule3 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
((((triple1) -> (rule3 % int3)) ((((triple1) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear is green.
("bear" "is" "green" "+")
int3