Bob is red. Gary is quiet. Harry is quiet. All smart, green people are red. If someone is green and not round then they are not quiet.
Bob is red.
("Bob" "is" "red" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All smart, green people are red.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green and not round then they are not quiet.
((("someone" "is" "green" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "quiet" "-"))
Harry is quiet.
True
1
proof
[(triple3)]
("Harry" "is" "quiet" "+")
triple3
Bob is not red.
False
1
inv-proof
[(triple1)]
("Bob" "is" "red" "-")
triple1
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is red.[(triple1)] Gary is quiet.[(triple2)] Harry is quiet.[(triple3)]
Bob is red.
("Bob" "is" "red" "+")
triple1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple2
Harry is quiet.
("Harry" "is" "quiet" "+")
triple3