Anne is red. Bob is cold. Bob is red. Bob is not young. Charlie is red. Charlie is young. Harry is not young. Kind people are not cold. All green people are young.
Anne is red.
("Anne" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not young.
("Bob" "is" "young" "-")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Harry is not young.
("Harry" "is" "young" "-")
Kind people are not cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "-"))
All green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Anne is red.
True
1
proof
[(triple1)]
("Anne" "is" "red" "+")
triple1
Bob is young.
False
1
inv-proof
[(triple4)]
("Bob" "is" "young" "+")
triple4
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "young" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Anne is red.[(triple1)] Bob is cold.[(triple2)] Bob is not young.[(triple4)] Bob is red.[(triple3)] Charlie is red.[(triple5)] Charlie is young.[(triple6)] Harry is not young.[(triple7)]
Anne is red.
("Anne" "is" "red" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is not young.
("Bob" "is" "young" "-")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Harry is not young.
("Harry" "is" "young" "-")
triple7