The bear is young. All cold, red things are blue. All nice things are young. If something is blue and cold then it is red. If something is cold and blue then it is nice. If something is young and cold then it is nice. If something is blue then it is nice.
The bear is young.
("bear" "is" "young" "+")
All cold, red things are blue.
((("something" "is" "cold" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
All nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is blue and cold then it is red.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is cold and blue then it is nice.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If something is young and cold then it is nice.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
If something is blue then it is nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
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 blue.
Unknown
inv-rconc
[@1: The bear is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "blue" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear is young.[(triple1)]
The bear is young.
("bear" "is" "young" "+")
triple1