Bob is blue. Bob is red. Bob is young. If someone is furry and blue then they are red. All green, blue people are young. Red, green people are furry. Young, green people are red. If someone is white and cold then they are red. Furry, green people are young.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
If someone is furry and blue then they are red.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
All green, blue people are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Red, green people are furry.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Young, green people are red.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is white and cold then they are red.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
Furry, green people are young.
((("someone" "is" "furry" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Bob is not young.
False
1
inv-proof
[(triple3)]
("Bob" "is" "young" "-")
triple3
Bob is not furry.
Unknown
inv-rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "furry" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is blue.[(triple1)] Bob is red.[(triple2)] Bob is young.[(triple3)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3