The bear is rough. Cold things are green. If something is cold and rough then it is green. If something is blue and not red then it is green. If the bear is blue then the bear is not green. All blue things are not cold. Rough things are blue.
The bear is rough.
("bear" "is" "rough" "+")
Cold things are green.
((("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
If something is cold and rough then it is green.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
If something is blue and not red then it is green.
((("something" "is" "blue" "+") ("something" "is" "red" "~")) -> ("something" "is" "green" "+"))
If the bear is blue then the bear is not green.
((("bear" "is" "blue" "+")) -> ("bear" "is" "green" "-"))
All blue things are not cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "-"))
Rough things are blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
The bear is rough.
True
1
proof
[(triple1)]
("bear" "is" "rough" "+")
triple1
The bear is not rough.
False
1
inv-proof
[(triple1)]
("bear" "is" "rough" "-")
triple1
The bear is blue.
True
2
proof
[(((triple1) -> rule6))]
("bear" "is" "blue" "+")
((triple1) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not blue.
False
2
inv-proof
[(((triple1) -> rule6))]
("bear" "is" "blue" "-")
((triple1) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not green.
True
3
proof
[(((((triple1) -> rule6)) -> rule4))]
("bear" "is" "green" "-")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
The bear is not green.
("bear" "is" "green" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is green.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule4))]
("bear" "is" "green" "+")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
The bear is not green.
("bear" "is" "green" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "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 chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bear is rough.[(triple1)] @1: The bear is blue.[(((triple1) -> rule6))] @2: The bear is not cold.[(((((triple1) -> rule6)) -> rule5))] The bear is not green.[(((((triple1) -> rule6)) -> rule4))]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
((triple1) -> (rule6 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is not cold.
("bear" "is" "cold" "-")
((((triple1) -> (rule6 % int2))) -> (rule5 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is not green.
("bear" "is" "green" "-")
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
The bear is not green.
("bear" "is" "green" "-")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2