Bob is green. Green, white things are quiet. If Bob is green then Bob is blue. If something is kind then it is nice. All white, kind things are young. All quiet things are nice. All nice, green things are white. Quiet things are green. If Bob is nice and Bob is white then Bob is quiet.
Bob is green.
("Bob" "is" "green" "+")
Green, white things are quiet.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
If Bob is green then Bob is blue.
((("Bob" "is" "green" "+")) -> ("Bob" "is" "blue" "+"))
If something is kind then it is nice.
((("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
All white, kind things are young.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
All quiet things are nice.
((("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
All nice, green things are white.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
Quiet things are green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If Bob is nice and Bob is white then Bob is quiet.
((("Bob" "is" "nice" "+") ("Bob" "is" "white" "+")) -> ("Bob" "is" "quiet" "+"))
Bob is green.
True
1
proof
[(triple1)]
("Bob" "is" "green" "+")
triple1
Bob is not green.
False
1
inv-proof
[(triple1)]
("Bob" "is" "green" "-")
triple1
Bob is blue.
True
2
proof
[(((triple1) -> rule2))]
("Bob" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple1) -> rule2))]
("Bob" "is" "blue" "-")
((triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not nice.
Unknown
inv-rconc
[@4: Bob is nice.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule6 <- rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is white.
Unknown
rconc
[@3: Bob is white.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule1 <- FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is green.[(triple1)] @1: Bob is blue.[(((triple1) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
((triple1) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1