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