Dave is red. Gary is red. If someone is round and not kind then they are rough. If someone is blue and kind then they are round.
Dave is red.
("Dave" "is" "red" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is round and not kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "rough" "+"))
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Gary is red.
True
1
proof
[(triple2)]
("Gary" "is" "red" "+")
triple2
Dave is not red.
False
1
inv-proof
[(triple1)]
("Dave" "is" "red" "-")
triple1
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Dave is red.[(triple1)] Gary is red.[(triple2)]
Dave is red.
("Dave" "is" "red" "+")
triple1
Gary is red.
("Gary" "is" "red" "+")
triple2