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