Anne is green. Bob is young. Charlie is blue. Harry is blue. If Harry is green then Harry is round. If something is cold then it is round. All cold, blue things are young.
Anne is green.
("Anne" "is" "green" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If Harry is green then Harry is round.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "round" "+"))
If something is cold then it is round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
All cold, blue things are young.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
Charlie is blue.
True
1
proof
[(triple3)]
("Charlie" "is" "blue" "+")
triple3
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "young" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Anne is green.[(triple1)] Bob is young.[(triple2)] Charlie is blue.[(triple3)] Harry is blue.[(triple4)]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4