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