Bob is green. Bob is not red. Charlie is green. Charlie is not quiet. Dave is not big. Dave is red. Erin is big. All rough things are big. If something is rough then it is big. If Charlie is nice and Charlie is quiet then Charlie is not red. If something is blue and nice then it is not quiet. Big, green things are not quiet. If something is big and not rough then it is not red.
Bob is green.
("Bob" "is" "green" "+")
Bob is not red.
("Bob" "is" "red" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Dave is not big.
("Dave" "is" "big" "-")
Dave is red.
("Dave" "is" "red" "+")
Erin is big.
("Erin" "is" "big" "+")
All rough things are big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something is rough then it is big.
((("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If Charlie is nice and Charlie is quiet then Charlie is not red.
((("Charlie" "is" "nice" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "red" "-"))
If something is blue and nice then it is not quiet.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "-"))
Big, green things are not quiet.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "-"))
If something is big and not rough then it is not red.
((("something" "is" "big" "+") ("something" "is" "rough" "~")) -> ("something" "is" "red" "-"))
Bob is green.
True
1
proof
[(triple1)]
("Bob" "is" "green" "+")
triple1
Dave is not red.
False
1
inv-proof
[(triple6)]
("Dave" "is" "red" "-")
triple6
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is green.[(triple1)] Bob is not red.[(triple2)] Charlie is green.[(triple3)] Charlie is not quiet.[(triple4)] Dave is not big.[(triple5)] Dave is red.[(triple6)] Erin is big.[(triple7)]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is not red.
("Bob" "is" "red" "-")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple4
Dave is not big.
("Dave" "is" "big" "-")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7