Bob is nice. Charlie is nice. Dave is green. Fiona is red. If someone is smart then they are nice. If someone is smart and green then they are red.
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If someone is smart then they are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If someone is smart and green then they are red.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
Dave is green.
True
1
proof
[(triple3)]
("Dave" "is" "green" "+")
triple3
Fiona is not red.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "red" "-")
triple4
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "red" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Bob is nice.[(triple1)] Charlie is nice.[(triple2)] Dave is green.[(triple3)] Fiona is red.[(triple4)]
Bob is nice.
("Bob" "is" "nice" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple4