The bear is red. If the bear is green then the bear is rough. All cold people are not rough. If the bear is green and the bear is round then the bear is red. If the bear is rough and the bear is round then the bear is cold. If the bear is rough then the bear is cold. If someone is rough and cold then they are red. If someone is red then they are round. If someone is rough then they are round.
The bear is red.
("bear" "is" "red" "+")
If the bear is green then the bear is rough.
((("bear" "is" "green" "+")) -> ("bear" "is" "rough" "+"))
All cold people are not rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "-"))
If the bear is green and the bear is round then the bear is red.
((("bear" "is" "green" "+") ("bear" "is" "round" "+")) -> ("bear" "is" "red" "+"))
If the bear is rough and the bear is round then the bear is cold.
((("bear" "is" "rough" "+") ("bear" "is" "round" "+")) -> ("bear" "is" "cold" "+"))
If the bear is rough then the bear is cold.
((("bear" "is" "rough" "+")) -> ("bear" "is" "cold" "+"))
If someone is rough and cold then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
The bear is red.
True
1
proof
[(triple1)]
("bear" "is" "red" "+")
triple1
The bear is not red.
False
1
inv-proof
[(triple1)]
("bear" "is" "red" "-")
triple1
The bear is not rough.
Unknown
inv-rconc
[@1: The bear is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "rough" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear is red.[(triple1)] @1: The bear is round.[(((triple1) -> rule7))]
The bear is red.
("bear" "is" "red" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
((triple1) -> (rule7 % int1))
The bear is round.
("bear" "is" "round" "+")
int1