Bob is quiet. Dave is red. Gary is round. Quiet things are red. If something is round and not red then it is not green.
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Quiet things are red.
((("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
If something is round and not red then it is not green.
((("something" "is" "round" "+") ("something" "is" "red" "~")) -> ("something" "is" "green" "-"))
Dave is red.
True
1
proof
[(triple2)]
("Dave" "is" "red" "+")
triple2
Gary is not round.
False
1
inv-proof
[(triple3)]
("Gary" "is" "round" "-")
triple3
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
@0: Bob is quiet.[(triple1)] Dave is red.[(triple2)] Gary is round.[(triple3)] @1: Bob is red.[(((triple1) -> rule1))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Gary is round.
("Gary" "is" "round" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
((triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1