Bob is kind. Charlie is green. Charlie is young. Erin is blue. Erin is green. Erin is smart. Harry is quiet. All smart, white things are quiet.
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
All smart, white things are quiet.
((("something" "is" "smart" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
Harry is quiet.
True
1
proof
[(triple7)]
("Harry" "is" "quiet" "+")
triple7
Harry is not quiet.
False
1
inv-proof
[(triple7)]
("Harry" "is" "quiet" "-")
triple7
Bob is not quiet.
Unknown
inv-rconc
[@1: Bob is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is kind.[(triple1)] Charlie is green.[(triple2)] Charlie is young.[(triple3)] Erin is blue.[(triple4)] Erin is green.[(triple5)] Erin is smart.[(triple6)] Harry is quiet.[(triple7)]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
triple4
Erin is green.
("Erin" "is" "green" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7