Bob is blue. Bob is red. Bob is smart. Bob is white. Charlie is blue. Charlie is kind. Charlie is smart. Fiona is kind. Fiona is not rough. Fiona is white. If something is smart and red then it is white.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is white.
("Fiona" "is" "white" "+")
If something is smart and red then it is white.
((("something" "is" "smart" "+") ("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Bob is not smart.
False
1
inv-proof
[(triple3)]
("Bob" "is" "smart" "-")
triple3
Charlie is not white.
Unknown
inv-rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "white" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Bob is blue.[(triple1)] Bob is red.[(triple2)] Bob is smart.[(triple3)] Bob is white.[(triple4 OR ((triple3 triple2) -> rule1))] Charlie is blue.[(triple5)] Charlie is kind.[(triple6)] Charlie is smart.[(triple7)] Fiona is kind.[(triple8)] Fiona is not rough.[(triple9)] Fiona is white.[(triple10)]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
((triple3 triple2) -> (rule1 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is smart.
("Charlie" "is" "smart" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10