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