Bob is green. Bob is not kind. Bob is nice. Bob is white. Charlie is big. Charlie is furry. Charlie is nice. Dave is big. Dave is not blue. Dave is green. Dave is nice. Erin is big. Erin is blue. Erin is green. Erin is not kind. Erin is white. Big things are green. If something is blue and furry then it is big.
Bob is green.
("Bob" "is" "green" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is white.
("Bob" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is not blue.
("Dave" "is" "blue" "-")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is white.
("Erin" "is" "white" "+")
Big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If something is blue and furry then it is big.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Charlie is nice.
True
1
proof
[(triple7)]
("Charlie" "is" "nice" "+")
triple7
Dave is not big.
False
1
inv-proof
[(triple8)]
("Dave" "is" "big" "-")
triple8
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Charlie is white.
Unknown
random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "+")
@0: Bob is green.[(triple1)] Bob is nice.[(triple3)] Bob is not kind.[(triple2)] Bob is white.[(triple4)] Charlie is big.[(triple5)] Charlie is furry.[(triple6)] Charlie is nice.[(triple7)] Dave is big.[(triple8)] Dave is green.[(triple10 OR ((triple8) -> rule1))] Dave is nice.[(triple11)] Dave is not blue.[(triple9)] Erin is big.[(triple12)] Erin is blue.[(triple13)] Erin is green.[(triple14 OR ((triple12) -> rule1))] Erin is not kind.[(triple15)] Erin is white.[(triple16)] @1: Charlie is green.[(((triple5) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is not kind.
("Bob" "is" "kind" "-")
triple2
Bob is white.
("Bob" "is" "white" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple10
((triple8) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple11
Dave is not blue.
("Dave" "is" "blue" "-")
triple9
Erin is big.
("Erin" "is" "big" "+")
triple12
Erin is blue.
("Erin" "is" "blue" "+")
triple13
Erin is green.
("Erin" "is" "green" "+")
triple14
((triple12) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not kind.
("Erin" "is" "kind" "-")
triple15
Erin is white.
("Erin" "is" "white" "+")
triple16
Charlie is green.
("Charlie" "is" "green" "+")
((triple5) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1