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