The bear is young. If the bear is red then the bear is young. All young, red people are round. All red, cold people are not young.
The bear is young.
("bear" "is" "young" "+")
If the bear is red then the bear is young.
((("bear" "is" "red" "+")) -> ("bear" "is" "young" "+"))
All young, red people are round.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
All red, cold people are not young.
((("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "-"))
The bear is young.
True
1
proof
[(triple1)]
("bear" "is" "young" "+")
triple1
The bear is not young.
False
1
inv-proof
[(triple1)]
("bear" "is" "young" "-")
triple1
The bear is not round.
Unknown
inv-rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "round" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear is young.[(triple1)]
The bear is young.
("bear" "is" "young" "+")
triple1