Anne is not kind. Bob is red. Dave is red. Harry is not cold. All young, cold people are not kind. Young people are kind. If someone is red and not smart then they are not young.
Anne is not kind.
("Anne" "is" "kind" "-")
Bob is red.
("Bob" "is" "red" "+")
Dave is red.
("Dave" "is" "red" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
All young, cold people are not kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "-"))
Young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and not smart then they are not young.
((("someone" "is" "red" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "young" "-"))
Bob is red.
True
1
proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Dave is not red.
False
1
inv-proof
[(triple3)]
("Dave" "is" "red" "-")
triple3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Anne is not kind.[(triple1)] Bob is red.[(triple2)] Dave is red.[(triple3)] Harry is not cold.[(triple4)]
Anne is not kind.
("Anne" "is" "kind" "-")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Harry is not cold.
("Harry" "is" "cold" "-")
triple4