Bob is big. Bob is green. Bob is smart. Dave is big. Dave is cold. Dave is nice. Dave is white. All white things are green. Smart things are green. If something is white and blue then it is nice.
Bob is big.
("Bob" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is white.
("Dave" "is" "white" "+")
All white things are green.
((("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
Smart things are green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
If something is white and blue then it is nice.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
Dave is cold.
True
1
proof
[(triple5)]
("Dave" "is" "cold" "+")
triple5
Dave is not nice.
False
1
inv-proof
[(triple6)]
("Dave" "is" "nice" "-")
triple6
Dave is green.
True
2
proof
[(((triple7) -> rule1))]
("Dave" "is" "green" "+")
((triple7) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
2
inv-proof
[(((triple7) -> rule1))]
("Dave" "is" "green" "-")
((triple7) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
@0: Bob is big.[(triple1)] Bob is green.[(triple2 OR ((triple3) -> rule2))] Bob is smart.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5)] Dave is nice.[(triple6)] Dave is white.[(triple7)] @1: Dave is green.[(((triple7) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple3) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is white.
("Dave" "is" "white" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
((triple7) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1